SMT Solvers Plug-in: Revision history

2 October 2017

• curprev 15:4115:41, 2 October 2017‎ imported>Nicolas‎ m 16,986 bytes +13‎ →‎Customizing the SMT-LIB translation settings
• curprev 15:4015:40, 2 October 2017‎ imported>Nicolas‎ m 16,973 bytes −13‎ →‎Customizing the SMT-LIB translation settings
• curprev 15:3515:35, 2 October 2017‎ imported>Nicolas‎ m 16,986 bytes −364‎ →‎Customizing the SMT-LIB translation settings
• curprev 15:3115:31, 2 October 2017‎ imported>Nicolas‎ m 17,350 bytes −2‎ →‎Setting the Translation Directory Path
• curprev 15:0215:02, 2 October 2017‎ imported>Nicolas‎ m 17,352 bytes +40‎ →‎Installing additional SMT solvers

29 September 2017

• curprev 08:4008:40, 29 September 2017‎ imported>Nicolas‎ 17,312 bytes +13‎ →‎Installing Z3

7 September 2017

• curprev 17:2817:28, 7 September 2017‎ imported>Nicolas‎ m 17,299 bytes +125‎ →‎Releases Notes: Add release notes for SMT 1.4

15 January 2016

• curprev 09:4209:42, 15 January 2016‎ imported>Nicolas‎ 17,174 bytes +148‎ →‎Releases Notes: Version 1.3

14 January 2016

• curprev 16:1316:13, 14 January 2016‎ imported>Nicolas‎ m 17,026 bytes 0‎ →‎Setting the veriT Path
• curprev 16:1316:13, 14 January 2016‎ imported>Nicolas‎ 17,026 bytes +101‎ →‎Setting the veriT Path
• curprev 15:2915:29, 14 January 2016‎ imported>Nicolas‎ 16,925 bytes +101‎ →‎Installing additional SMT solvers: Add CVC4

6 March 2014

• curprev 17:2617:26, 6 March 2014‎ imported>Laurent‎ 16,824 bytes +49‎ →‎Bugs and Features Request
• curprev 17:1817:18, 6 March 2014‎ imported>Nicolas‎ m 16,775 bytes +53‎ →‎Releases Notes
• curprev 17:1417:14, 6 March 2014‎ imported>Nicolas‎ m 16,722 bytes +219‎ →‎Discharging a Sequent: update pictures with dropdown
• curprev 10:4710:47, 6 March 2014‎ imported>Laurent‎ 16,503 bytes −49‎ →‎Installing Z3

1 March 2014

• curprev 18:0518:05, 1 March 2014‎ imported>Laurent‎ 16,552 bytes +41‎ →‎Releases Notes

20 December 2013

• curprev 11:1911:19, 20 December 2013‎ imported>Nicolas‎ 16,511 bytes −75‎ →‎SMT Auto-Tactic Profile

17 October 2013

• curprev 13:2413:24, 17 October 2013‎ imported>Nicolas‎ m 16,586 bytes +59‎ →‎Releases Notes
• curprev 09:1009:10, 17 October 2013‎ imported>Nicolas‎ m 16,527 bytes −1‎ →‎Customizing the SMT-LIB translation settings
• curprev 09:0209:02, 17 October 2013‎ imported>Nicolas‎ m 16,528 bytes +336‎ →‎Customizing the SMT-LIB translation settings
• curprev 08:4808:48, 17 October 2013‎ imported>Nicolas‎ m 16,192 bytes 0‎ →‎Customizing the SMT-LIB translation settings: Reorder according to preference order in the picture

30 May 2013

• curprev 15:2015:20, 30 May 2013‎ imported>Nicolas‎ m 16,192 bytes +37‎ →‎Introduction: Fixed internal link
• curprev 15:1715:17, 30 May 2013‎ imported>Nicolas‎ m 16,155 bytes −15‎ →‎Introduction: FIxed link tou sources
• curprev 08:4908:49, 30 May 2013‎ imported>Nicolas‎ m 16,170 bytes −221‎ removed panel about deactivated plug-in

29 May 2013

• curprev 16:5816:58, 29 May 2013‎ imported>Laurent‎ 16,391 bytes +78‎ →‎Releases Notes
• curprev 16:5616:56, 29 May 2013‎ imported>Laurent‎ m 16,313 bytes +31‎ →‎Customizing the SMT-LIB translation settings
• curprev 16:5416:54, 29 May 2013‎ imported>Laurent‎ m 16,282 bytes +121‎ →‎Customizing SMT Solvers Configurations
• curprev 16:4816:48, 29 May 2013‎ imported>Laurent‎ m 16,161 bytes −14‎ →‎Connect added solvers to the Rodin Platform
• curprev 16:4416:44, 29 May 2013‎ imported>Laurent‎ m 16,175 bytes +6‎ →‎Installing additional SMT solvers
• curprev 16:4416:44, 29 May 2013‎ imported>Laurent‎ m 16,169 bytes +12‎ →‎Installing additional SMT solvers
• curprev 16:4416:44, 29 May 2013‎ imported>Laurent‎ m 16,157 bytes +7‎ →‎Installing veriT
• curprev 16:4216:42, 29 May 2013‎ imported>Laurent‎ m 16,150 bytes −3‎ →‎Discharging a Sequent
• curprev 16:4016:40, 29 May 2013‎ imported>Laurent‎ m 16,153 bytes −12‎ Change feature name

16 May 2013

• curprev 12:5312:53, 16 May 2013‎ imported>Tommy‎ m 16,165 bytes +3‎ →‎Adding SMT Solvers to the Rodin Platform
• curprev 12:4912:49, 16 May 2013‎ imported>Tommy‎ m 16,162 bytes +5‎ →‎Customizing the SMT-LIB translation settings
• curprev 12:4712:47, 16 May 2013‎ imported>Tommy‎ m 16,157 bytes +91‎ →‎Setting the SMT-LIB translation
• curprev 12:3812:38, 16 May 2013‎ imported>Tommy‎ m 16,066 bytes −17‎ →‎Removing an SMT Solver information or configuration
• curprev 12:3712:37, 16 May 2013‎ imported>Tommy‎ m 16,083 bytes −13‎ →‎Enabling/Disabling a Solver Configuration
• curprev 12:3212:32, 16 May 2013‎ imported>Tommy‎ m 16,096 bytes 0‎ →‎Usage
• curprev 12:2912:29, 16 May 2013‎ imported>Tommy‎ m 16,096 bytes +45‎ →‎Adding a New Solver Configuration
• curprev 12:2812:28, 16 May 2013‎ imported>Tommy‎ m 16,051 bytes −17‎ →‎Customizing SMT Solvers Configurations
• curprev 12:2512:25, 16 May 2013‎ imported>Tommy‎ m 16,068 bytes −10‎ →‎Usage
• curprev 12:2412:24, 16 May 2013‎ imported>Tommy‎ 16,078 bytes 0‎ →‎Discharging a Sequent
• curprev 12:2312:23, 16 May 2013‎ imported>Tommy‎ m 16,078 bytes 0‎ →‎Discharging a Sequent
• curprev 12:2312:23, 16 May 2013‎ imported>Tommy‎ m 16,078 bytes 0‎ →‎Discharging a Sequent
• curprev 12:2312:23, 16 May 2013‎ imported>Tommy‎ m 16,078 bytes −6‎ →‎Discharging a Sequent
• curprev 11:3911:39, 16 May 2013‎ imported>Tommy‎ m 16,084 bytes −17‎ No edit summary
• curprev 11:3711:37, 16 May 2013‎ imported>Tommy‎ m 16,101 bytes −110‎ No edit summary
• curprev 11:1211:12, 16 May 2013‎ imported>Tommy‎ m 16,211 bytes +2‎ No edit summary
• curprev 11:1011:10, 16 May 2013‎ imported>Tommy‎ m 16,209 bytes +44‎ →‎Adding a New SMT Configuration