SMT 1.4 Performance Results: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

11 September 2017

7 September 2017

  • curprev 17:2617:26, 7 September 2017‎ imported>Nicolas‎ 723 bytes +101‎ No edit summary
  • curprev 09:4809:48, 7 September 2017‎ imported>Nicolas‎ 622 bytes +165‎ add images
  • curprev 09:3809:38, 7 September 2017‎ imported>Nicolas‎ 457 bytes +457‎ Created page with "In SMT plug-in 1.4.0, the following bundled provers have been upgraded: * veriT (v2016) * CVC4 (v1.4) * Z3 (v4.5) This has led to globally improve the rate of automatically d..."
Retrieved from ‘https://wiki.event-b.org/index.php/SMT_1.4_Performance_Results’