--- share/provers-detection-data.conf.in.orig 2011-10-13 08:10:39.000000000 -0600 +++ share/provers-detection-data.conf.in 2012-04-16 21:20:39.459160751 -0600 @@ -3,6 +3,7 @@ exec = "alt-ergo" version_switch = "-version" version_regexp = "\\([0-9.]+\\)" +version_ok = "0.94" version_ok = "0.93.1" version_ok = "0.93" version_bad = "0.92.3" @@ -36,6 +37,7 @@ exec = "cvc3" version_switch = "-version" version_regexp = "This is CVC3 version \\([^ \n]+\\)" +version_ok = "2.4.1" version_ok = "2.2" version_old = "2.1" command = "@LOCALBIN@why3-cpulimit 0 %m -s %e -timeout %t %f" @@ -46,6 +48,11 @@ exec = "yices" version_switch = "--version" version_regexp = "[Yices ]*\\([^ \n]+\\)" +version_ok = "1.0.34" +version_ok = "1.0.33" +version_ok = "1.0.32" +version_ok = "1.0.31" +version_ok = "1.0.30" version_ok = "1.0.29" version_ok = "1.0.28" version_ok = "1.0.27" @@ -174,6 +181,7 @@ exec = "coqc" version_switch = "-v" version_regexp = "The Coq Proof Assistant, version \\([^ \n]+\\)" +version_ok = "8.3pl3" version_ok = "8.3pl2" version_ok = "8.3pl1" version_ok = "8.3"