Membership in Goal: Revision history

5 June 2014

• curprev 13:4713:47, 5 June 2014‎ imported>Nicolas‎ m 19,326 bytes −1‎ →‎Find a path

22 November 2013

• curprev 12:4512:45, 22 November 2013‎ imported>Josselin‎ 19,327 bytes +5,305‎ add inference rules

21 November 2013

• curprev 17:0717:07, 21 November 2013‎ imported>Josselin‎ 14,022 bytes +6‎ No edit summary
• curprev 11:3011:30, 21 November 2013‎ imported>Laurent‎ m 14,016 bytes −9‎ →‎Find a path
• curprev 11:2711:27, 21 November 2013‎ imported>Laurent‎ m 14,025 bytes +3‎ →‎Find a path
• curprev 11:2511:25, 21 November 2013‎ imported>Laurent‎ m 14,022 bytes +23‎ →‎Hypotheses
• curprev 11:2311:23, 21 November 2013‎ imported>Laurent‎ m 13,999 bytes −5‎ →‎Goal
• curprev 11:2111:21, 21 November 2013‎ imported>Laurent‎ m 14,004 bytes +13‎ No edit summary
• curprev 10:0010:00, 21 November 2013‎ imported>Josselin‎ 13,991 bytes +486‎ More details given in find path section

20 November 2013

• curprev 17:1317:13, 20 November 2013‎ imported>Josselin‎ 13,505 bytes −5,455‎ Update implementation part (SAT solver)

30 August 2013

• curprev 17:2617:26, 30 August 2013‎ imported>Laurent‎ 18,960 bytes +13‎ →‎Untreated cases
• curprev 17:2517:25, 30 August 2013‎ imported>Laurent‎ m 18,947 bytes 0‎ →‎Find a path
• curprev 17:2317:23, 30 August 2013‎ imported>Laurent‎ 18,947 bytes −1‎ →‎Find a path
• curprev 17:2217:22, 30 August 2013‎ imported>Laurent‎ 18,948 bytes +1‎ →‎Hypotheses
• curprev 17:2217:22, 30 August 2013‎ imported>Laurent‎ m 18,947 bytes +8‎ →‎Implementation
• curprev 17:2017:20, 30 August 2013‎ imported>Laurent‎ m 18,939 bytes +1‎ →‎Implementation
• curprev 17:1917:19, 30 August 2013‎ imported>Laurent‎ 18,938 bytes +1‎ →‎Trusted Base
• curprev 17:1817:18, 30 August 2013‎ imported>Laurent‎ m 18,937 bytes +86‎ →‎Trusted Base
• curprev 17:1517:15, 30 August 2013‎ imported>Laurent‎ m 18,851 bytes +36‎ →‎Input
• curprev 17:1317:13, 30 August 2013‎ imported>Laurent‎ 18,815 bytes +415‎ →‎Find a path
• curprev 16:5616:56, 30 August 2013‎ imported>Laurent‎ 18,400 bytes +88‎ →‎Goal
• curprev 16:5416:54, 30 August 2013‎ imported>Laurent‎ m 18,312 bytes 0‎ →‎Goal
• curprev 16:5316:53, 30 August 2013‎ imported>Laurent‎ m 18,312 bytes +105‎ →‎Analysis
• curprev 16:4416:44, 30 August 2013‎ imported>Laurent‎ m 18,207 bytes −23‎ →‎Objective

19 August 2011

• curprev 15:1815:18, 19 August 2011‎ imported>Billaude‎ 18,230 bytes 0‎ →‎Untreated cases
• curprev 15:1815:18, 19 August 2011‎ imported>Billaude‎ 18,230 bytes +662‎ →‎Untreated cases
• curprev 09:2909:29, 19 August 2011‎ imported>Billaude‎ 17,568 bytes +844‎ →‎Untreated cases
• curprev 09:1209:12, 19 August 2011‎ imported>Billaude‎ 16,724 bytes +884‎ →‎Find a path
• curprev 08:2208:22, 19 August 2011‎ imported>Billaude‎ 15,840 bytes −3‎ →‎Goal
• curprev 08:1708:17, 19 August 2011‎ imported>Billaude‎ 15,843 bytes −509‎ →‎Goal
• curprev 08:0208:02, 19 August 2011‎ imported>Billaude‎ 16,352 bytes +268‎ →‎Find a path
• curprev 06:4806:48, 19 August 2011‎ imported>Billaude‎ 16,084 bytes +5‎ →‎Trusted Base

12 August 2011

• curprev 15:5915:59, 12 August 2011‎ imported>Billaude‎ 16,079 bytes +9‎ →‎Hypotheses
• curprev 14:4614:46, 12 August 2011‎ imported>Billaude‎ 16,070 bytes +4,497‎ →‎Find a path

10 August 2011

• curprev 12:1012:10, 10 August 2011‎ imported>Billaude‎ m 11,573 bytes +1,884‎ →‎Reasoner
• curprev 10:0310:03, 10 August 2011‎ imported>Billaude‎ 9,689 bytes +4‎ →‎Objective
• curprev 10:0210:02, 10 August 2011‎ imported>Billaude‎ 9,685 bytes +110‎ →‎Objective
• curprev 07:4607:46, 10 August 2011‎ imported>Billaude‎ 9,575 bytes +115‎ →‎Hypotheses

9 August 2011

• curprev 14:4714:47, 9 August 2011‎ imported>Billaude‎ 9,460 bytes −84‎ →‎Goal
• curprev 14:4614:46, 9 August 2011‎ imported>Billaude‎ 9,544 bytes −1,202‎ →‎Positions
• curprev 14:0014:00, 9 August 2011‎ imported>Billaude‎ 10,746 bytes −31‎ →‎Untreated cases
• curprev 13:2813:28, 9 August 2011‎ imported>Billaude‎ 10,777 bytes −522‎ →‎Find a path

13 July 2011

• curprev 16:2316:23, 13 July 2011‎ imported>Billaude‎ 11,299 bytes +2,705‎ Not finished

30 June 2011

• curprev 14:5614:56, 30 June 2011‎ imported>Billaude‎ 8,594 bytes +97‎ →‎Find a path
• curprev 13:3913:39, 30 June 2011‎ imported>Billaude‎ 8,497 bytes +1‎ →‎Find a path
• curprev 13:3413:34, 30 June 2011‎ imported>Billaude‎ 8,496 bytes +154‎ →‎Find a path
• curprev 12:0112:01, 30 June 2011‎ imported>Billaude‎ 8,342 bytes +102‎ →‎Find a path
• curprev 07:5707:57, 30 June 2011‎ imported>Billaude‎ 8,240 bytes −102‎ →‎Find a path

29 June 2011

• curprev 14:4114:41, 29 June 2011‎ imported>Billaude‎ 8,342 bytes −77‎ No edit summary
• curprev 14:1614:16, 29 June 2011‎ imported>Billaude‎ 8,419 bytes +8,419‎ New page: = Objective = This page describes the design of the reasoner MembershipGoal and its associated tactic MembershipGoalTac.<br> This reasoner discharges sequent whose goal denotes a membersh...