Commit 7c50ae7b authored by MARCHE Claude's avatar MARCHE Claude

dropped support for Alt-Ergo < 2.0.0

parent 05144166
......@@ -7,6 +7,7 @@ Provers
* support for CVC4 1.6 (released Jun 25, 2018)
* support for Isabelle 2018 (released Aug 2018)
* dropped support for Isabelle 2016 (2017 still supported) :x:
* dropped support for Alt-Ergo versions < 2.0.0 :x:
Version 1.0.0, June 25, 2018
----------------------------
......
......@@ -4,51 +4,21 @@ exec = "alt-ergo"
exec = "alt-ergo-2.2.0"
exec = "alt-ergo-2.1.0"
exec = "alt-ergo-2.0.0"
exec = "alt-ergo-1.30"
exec = "alt-ergo-1.01"
version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.2.0"
version_ok = "2.1.0"
version_ok = "2.0.0"
version_old = "1.30"
version_old = "1.01"
version_bad = "1.30"
version_bad = "1.01"
version_bad = "0.99.1"
version_bad = "0.95.2"
command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f"
driver = "alt_ergo"
editor = "altgr-ergo"
use_at_auto_level = 1
[ATP alt-ergo]
name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.99.1"
exec = "alt-ergo-0.95.2"
version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$"
version_old = "0.99.1"
version_old = "0.95.2"
command = "%e -no-rm-eq-existential -timelimit %t %f"
command_steps = "%e -no-rm-eq-existential -steps-bound %S %f"
driver = "alt_ergo"
editor = "altgr-ergo"
[ATP alt-ergo-prv]
name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-1.20.prv"
exec = "alt-ergo-1.10.prv"
exec = "alt-ergo-1.00.prv"
version_switch = "-version"
version_regexp = "^\\([0-9.]+\\(-dev\\|prv\\)?\\)$"
version_old = "1.20.prv"
version_old = "1.10.prv"
version_old = "1.00.prv"
command = "%e -timelimit %t %f"
command_steps = "%e -steps-bound %S %f"
driver = "alt_ergo"
editor = "altgr-ergo"
# CVC4 version >= 1.6, with counterexamples
[ATP cvc4-ce]
name = "CVC4"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment