support for Alt-Ergo 0.93

parent ef8e1633
[ATP alt-ergo-trunk]
name = "Alt-Ergo trunk"
[ATP alt-ergo-old]
name = "Alt-Ergo (no arrays)"
exec = "ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.91"
version_switch = "-version"
version_regexp = ".*Ergo \\([^ \n]*\\)"
version_ok = "0.92.3"
version_old = "0.92.2"
version_old = "0.92.1"
version_old = "0.92"
......@@ -13,23 +12,23 @@ version_old = "0.91"
version_old = "0.9"
version_old = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo_trunk.drv"
driver = "drivers/alt_ergo.drv"
[ATP alt-ergo]
name = "Alt-Ergo"
exec = "ergo"
exec = "alt-ergo"
exec = "alt-ergo-0.91"
version_switch = "-version"
version_regexp = ".*Ergo \\([^ \n]*\\)"
version_ok = "0.92.2"
version_ok = "0.92.1"
version_ok = "0.92"
version_ok = "0.91"
version_ok = "0.93"
version_old = "0.92.3"
version_old = "0.92.2"
version_old = "0.92.1"
version_old = "0.92"
version_old = "0.91"
version_old = "0.9"
version_old = "0.8"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e %f"
driver = "drivers/alt_ergo.drv"
driver = "drivers/alt_ergo_trunk.drv"
[ATP cvc3]
name = "CVC3"
......
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