Commit 679b1ae7 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Update changes.

parent 2dc98d35
......@@ -5,15 +5,16 @@ Version 0.87.3, January ??, 2017
=================================
bug fixes
o
o fixed OCaml extraction with respect to ghost parameters
o assorted bug fixes
Provers
o support for Alt-Ergo 1.30 (released ??, 2016)
o support for Coq 8.6 (released ?, 2016)
o support for Gappa 1.3 (released ?, 2016)
o support for Alt-Ergo 1.30 (released Nov 21, 2016)
o support for Coq 8.6 (released Dec 8, 2016)
o support for Gappa 1.3 (released Jul 20, 2016)
* discarded support for Isabelle 2015
o support for Isabelle 2016-1 (released Dec 2016)
o support for Z3 4.5.0 (released ? 2016)
o support for Z3 4.5.0 (released Nov 8, 2016)
Version 0.87.2, September 1, 2016
......
......@@ -184,7 +184,7 @@ driver = "drivers/eprover.drv"
[ATP gappa]
name = "Gappa"
exec = "gappa"
exec = "gappa-1.3.1"
exec = "gappa-1.3.2"
exec = "gappa-1.3.0"
exec = "gappa-1.2.0"
exec = "gappa-1.1.1"
......
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