Commit 4e4f7272 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update changes.

parent c3fd2d7b
* marks an incompatible change
* [why3replayer] renamed option -obsolete-only to --obsolete-only,
-smoke-detector to --smoke-detector, -force to --force
* [library] fixed inconsistency in libraries map.MapPermut and
array.ArrayPermut; names, definitions, and meaning of symbols
"permut..." have been modified
o new version of prover: Coq 8.4pl3
o new version of prover: Gappa 1.1.0
* Coq 8.3 is no longer supported
* [why3replayer] renamed option -obsolete-only to --obsolete-only,
-smoke-detector to --smoke-detector, -force to --force
o [fix] remove inconsistency in libraries map.MapPermut and
array.ArrayPermut
* [library] names, definitions, and meaning of symbols "permut..." have
been modified
version 0.82, December 12, 2013
===============================
......@@ -22,7 +26,7 @@ version 0.82, December 12, 2013
o new version of prover: Alt-Ergo 0.95.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: Gappa 1.0.0
o new version of prover: SPASS 3.8ds
o new version of prover: veriT (201310)
o API: more examples of use in examples/use_api/
......
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