Commit 7129b259 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Merge branch 'bugfix/v0.87'

parents 9c4fec84 a2ff2a19
* marks an incompatible change * marks an incompatible change
Tools Tools
o why3 config now generates default proof strategies using the o why3 config now generates default proof strategies using the
installed provers. These are available under name "Auto level 1" installed provers. These are available under name "Auto level 1"
and "Auto level 2" in why3 ide. and "Auto level 2" in why3 ide.
Version 0.87.3, January ??, 2017 Version 0.87.3, January 12, 2017
================================= ================================
bug fixes bug fixes
o o fixed OCaml extraction with respect to ghost parameters
o assorted bug fixes
Provers provers
o support for Alt-Ergo 1.30 (released ??, 2016) o support for Alt-Ergo 1.30 (released Nov 21, 2016)
o support for Coq 8.6 (released ?, 2016) o support for Coq 8.6 (released Dec 8, 2016)
o support for Gappa 1.3 (released ?, 2016) o support for Gappa 1.3 (released Jul 20, 2016)
* discarded support for Isabelle 2015 * discarded support for Isabelle 2015
o support for Isabelle 2016-1 (released Dec 2016) 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 Version 0.87.2, September 1, 2016
================================= =================================
......
...@@ -2036,7 +2036,6 @@ MORE_DIST = configure install-sh doc/manual.pdf ...@@ -2036,7 +2036,6 @@ MORE_DIST = configure install-sh doc/manual.pdf
dist: $(MORE_DIST) dist: $(MORE_DIST)
rm -rf distrib/$(NAME)/ distrib/$(NAME).tar.gz rm -rf distrib/$(NAME)/ distrib/$(NAME).tar.gz
rm -rf distrib/$(EXTRANAME)/ distrib/$(EXTRANAME).tar.gz
mkdir -p distrib/ mkdir -p distrib/
git archive --format tar --prefix $(NAME)/ HEAD | tar x -C distrib/ git archive --format tar --prefix $(NAME)/ HEAD | tar x -C distrib/
for f in $(MORE_DIST); do cp $$f distrib/$(NAME)/$$f; done for f in $(MORE_DIST); do cp $$f distrib/$(NAME)/$$f; done
......
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, September 2016 Version \whyversion{}, January 2017
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %END LATEX
......
archive: "https://gforge.inria.fr/frs/download.php/file/36133/why3-0.87.2.tar.gz" archive: "https://gforge.inria.fr/frs/download.php/file/36398/why3-0.87.3.tar.gz"
checksum: "9849179d6f02587a8fa3d1b6afa13479" checksum: "ea24a4877ca09e2ec4fff19d5f4d35c6"
...@@ -21,7 +21,7 @@ tags: [ ...@@ -21,7 +21,7 @@ tags: [
] ]
available: [ ocaml-version >= "4.01.0" ] available: [ ocaml-version >= "4.01.0" ]
depends: [ depends: [
"why3-base" { = "0.87.2" } "why3-base" { = "0.87.3" }
"lablgtk" "lablgtk"
"conf-gtksourceview" "conf-gtksourceview"
"zarith" "zarith"
......
...@@ -193,7 +193,7 @@ use_at_auto_level = 2 ...@@ -193,7 +193,7 @@ use_at_auto_level = 2
[ATP gappa] [ATP gappa]
name = "Gappa" name = "Gappa"
exec = "gappa" exec = "gappa"
exec = "gappa-1.3.1" exec = "gappa-1.3.2"
exec = "gappa-1.3.0" exec = "gappa-1.3.0"
exec = "gappa-1.2.2" exec = "gappa-1.2.2"
exec = "gappa-1.2.0" exec = "gappa-1.2.0"
......
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