Commit 68e894e5 authored by MARCHE Claude's avatar MARCHE Claude

support for CVC4 1.3

parent 236d3d36
......@@ -16,7 +16,7 @@ version 0.82, December 9, 2013
o new prover: Yices2 (2.0.4)
o new prover: Isabelle (2013-2, contribution by Stefan Berghofer)
o new version of prover: Alt-Ergo 0.95.2
o new version of prover: CVC4 1.1 & 1.2
o new version of prover: CVC4 1.1 & 1.2 & 1.3
o new version of prover: Coq 8.4pl2
o new version of prover: gappa 1.0.0
o new version of prover: SPASS 3.8ds
......
......@@ -172,7 +172,7 @@ Scheduled for 9 december 2013
* new versions of provers:
** Alt-Ergo 0.95.2
** CVC4 1.1 & 1.2
** CVC4 1.1 & 1.2 & 1.3
** Coq 8.4pl2
** gappa 1.0.0
** SPASS 3.8ds
......
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -91,11 +91,13 @@ exec = "cvc4"
exec = "cvc4-1.0"
exec = "cvc4-1.1"
exec = "cvc4-1.2"
exec = "cvc4-1.3"
version_switch = "--version"
version_regexp = "This is CVC4 version \\([^ \n\r]+\\)"
version_ok = "1.0"
version_ok = "1.1"
version_ok = "1.2"
version_ok = "1.3"
driver = "drivers/cvc4.drv"
command = "%l/why3-cpulimit %t %m -s %e --lang=smt2 %f"
......
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