D45 Prover Enhancement: Revision history

19 March 2012

• curprev 08:0608:06, 19 March 2012‎ imported>Leuschel‎ 12,898 bytes +1,450‎ →‎Choices / Decisions
• curprev 08:0208:02, 19 March 2012‎ imported>Leuschel‎ 11,448 bytes −1‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:0108:01, 19 March 2012‎ imported>Leuschel‎ 11,449 bytes +1,215‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 07:5907:59, 19 March 2012‎ imported>Leuschel‎ 10,234 bytes +187‎ →‎Available Documentation
• curprev 07:5607:56, 19 March 2012‎ imported>Leuschel‎ 10,047 bytes +755‎ →‎Incorporating SAT Solvers via Kodkod

29 February 2012

• curprev 14:2314:23, 29 February 2012‎ imported>Daniel‎ 9,292 bytes +56‎ →‎Motivations

15 February 2012

• curprev 17:4817:48, 15 February 2012‎ imported>Leuschel‎ 9,236 bytes −12‎ →‎Available Documentation
• curprev 17:4717:47, 15 February 2012‎ imported>Leuschel‎ 9,248 bytes +169‎ →‎Available Documentation

14 February 2012

• curprev 10:3710:37, 14 February 2012‎ imported>Leuschel‎ 9,079 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,123 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,167 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,211 bytes +126‎ →‎Overview
• curprev 08:4408:44, 14 February 2012‎ imported>Leuschel‎ 9,085 bytes +829‎ →‎ProB Disprover
• curprev 08:4008:40, 14 February 2012‎ imported>Leuschel‎ 8,256 bytes +1,617‎ →‎ProB Disprover
• curprev 08:2408:24, 14 February 2012‎ imported>Leuschel‎ 6,639 bytes +40‎ →‎Available Documentation
• curprev 08:2308:23, 14 February 2012‎ imported>Leuschel‎ 6,599 bytes +727‎ →‎ProB Disprover

10 February 2012

• curprev 15:1315:13, 10 February 2012‎ imported>Leuschel‎ 5,872 bytes +242‎ →‎ProB Disprover

28 November 2011

• curprev 09:1909:19, 28 November 2011‎ imported>Tommy‎ m 5,630 bytes −588‎ →‎SMT Solver Integration
• curprev 09:1809:18, 28 November 2011‎ imported>Tommy‎ m 6,218 bytes +583‎ →‎SMT Solver Integration
• curprev 09:1709:17, 28 November 2011‎ imported>Tommy‎ m 5,635 bytes +950‎ No edit summary

24 November 2011

• curprev 14:5614:56, 24 November 2011‎ imported>Nicolas‎ m 4,685 bytes −3‎ →‎Advanced Preferences for Auto-tactics
• curprev 14:5514:55, 24 November 2011‎ imported>Nicolas‎ 4,688 bytes +89‎ →‎Advanced Preferences for Auto-tactics
• curprev 14:3814:38, 24 November 2011‎ imported>Nicolas‎ 4,599 bytes +488‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:5110:51, 24 November 2011‎ imported>Nicolas‎ 4,111 bytes +191‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:3910:39, 24 November 2011‎ imported>Nicolas‎ 3,920 bytes −39‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:3610:36, 24 November 2011‎ imported>Nicolas‎ 3,959 bytes −44‎ →‎Advanced Preferences for Auto-tactics

23 November 2011

• curprev 17:4417:44, 23 November 2011‎ imported>Tommy‎ m 4,003 bytes +46‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:4217:42, 23 November 2011‎ imported>Tommy‎ m 3,957 bytes +467‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3517:35, 23 November 2011‎ imported>Tommy‎ m 3,490 bytes +33‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3417:34, 23 November 2011‎ imported>Tommy‎ m 3,457 bytes +426‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3017:30, 23 November 2011‎ imported>Tommy‎ m 3,031 bytes −193‎ →‎Overview
• curprev 17:2517:25, 23 November 2011‎ imported>Tommy‎ m 3,224 bytes −93‎ →‎New rewriting and inference rules
• curprev 17:2317:23, 23 November 2011‎ imported>Tommy‎ m 3,317 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,300 bytes 0‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,300 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,283 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2117:21, 23 November 2011‎ imported>Tommy‎ m 3,266 bytes +39‎ →‎Overview
• curprev 17:2117:21, 23 November 2011‎ imported>Tommy‎ m 3,227 bytes +84‎ →‎Overview
• curprev 15:4015:40, 23 November 2011‎ imported>Pascal‎ m 3,143 bytes −2‎ →‎Typos
• curprev 14:2914:29, 23 November 2011‎ imported>Tommy‎ m 3,145 bytes +4‎ →‎New rewriting and inference rules
• curprev 14:1814:18, 23 November 2011‎ imported>Tommy‎ m 3,141 bytes −4‎ →‎New rewriting and inference rules

18 November 2011

• curprev 18:1318:13, 18 November 2011‎ imported>Tommy‎ m 3,145 bytes +87‎ →‎New rewriting and inference rules
• curprev 18:1018:10, 18 November 2011‎ imported>Tommy‎ m 3,058 bytes +197‎ →‎New rewriting and inference rules
• curprev 18:0718:07, 18 November 2011‎ imported>Tommy‎ m 2,861 bytes +19‎ →‎New rewriting and inference rules
• curprev 18:0618:06, 18 November 2011‎ imported>Tommy‎ m 2,842 bytes −1‎ →‎New rewriting and inference rules
• curprev 18:0618:06, 18 November 2011‎ imported>Tommy‎ m 2,843 bytes +367‎ →‎New rewriting and inference rules
• curprev 17:4017:40, 18 November 2011‎ imported>Tommy‎ m 2,476 bytes +575‎ →‎Overview
• curprev 17:2517:25, 18 November 2011‎ imported>Tommy‎ m 1,901 bytes −208‎ →‎Overview
• curprev 17:2217:22, 18 November 2011‎ imported>Tommy‎ m 2,109 bytes +127‎ No edit summary

7 November 2011

• curprev 13:1413:14, 7 November 2011‎ imported>Tommy‎ m 1,982 bytes +1,982‎ New page: = Overview = Concerning Rodin's General Platform Maintenance the following contributions have been made: * {{TODO}} An overview of the contribution about the new rewriting and inference ru...