Commit b56e22bd authored by Andrei Paskevich's avatar Andrei Paskevich

update share/provers-detection-data.conf.in

parent 62fee8ce
......@@ -2,7 +2,7 @@
name = "Alt-Ergo"
exec = "alt-ergo"
version_switch = "-version"
version_regexp = "[^0-9]*\\([0-9.]\+\\)"
version_regexp = "\\([0-9.]+\\)"
version_ok = "0.93.1"
version_ok = "0.93"
version_bad = "0.92.3"
......@@ -46,7 +46,11 @@ name = "Yices"
exec = "yices"
version_switch = "--version"
version_regexp = "[Yices ]*\\([^ \n]+\\)"
version_ok = "1.0.29"
version_ok = "1.0.28"
version_ok = "1.0.27"
version_ok = "1.0.26"
version_ok = "1.0.25"
version_old = "1.0.17"
version_old = "1.0.24"
command = "@LOCALBIN@why3-cpulimit %t %m -s %e"
......@@ -166,6 +170,8 @@ name = "Coq"
exec = "coqc"
version_switch = "-v"
version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)"
version_ok = "8.3pl2"
version_ok = "8.3pl1"
version_ok = "8.3"
version_ok = "8.2pl2"
version_ok = "8.2pl1"
......
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