Commit 42853370 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Version 0.88.1

parent 54c75717
/examples/in_progress/ export-ignore
/examples/hoare_logic/draft/ export-ignore
/tests/ export-ignore
/bench/encoding/ export-ignore
/misc/ export-ignore
/ROADMAP export-ignore
/DEVELOPER.readme export-ignore
/opam/ export-ignore
.gitignore export-ignore
.gitattributes export-ignore .gitattributes export-ignore
.gitignore export-ignore
.keepme export-ignore
/.gitlab-ci.yml export-ignore
/.mailmap export-ignore
/check.sh export-ignore /check.sh export-ignore
/DEVELOPER.readme export-ignore
/ROADMAP export-ignore
/TODO export-ignore /TODO export-ignore
/bench/encoding/ export-ignore
/examples/in_progress/ export-ignore
/misc/ export-ignore
/opam/ export-ignore
/tests/ export-ignore
:x: marks a potential source of incompatibility :x: marks a potential source of incompatibility
Version 0.88.1, ?, 2017 Version 0.88.1, November 6, 2017
----------------------- -----------------------
API API
* export function `Call_provers.get_new_results` * exported function `Call_provers.get_new_results`
Provers Provers
* improved support for Isabelle 2017 * improved support for Isabelle 2017
* fixed support for Coq 8.7
Miscellaneous
* fixed compilation for OCaml 4.06
* improved support for nullary `val` declarations with regions
Version 0.88.0, October 6, 2017 Version 0.88.0, October 6, 2017
------------------------------- -------------------------------
......
WHY 3 WHY3
===== ====
Why3 is a platform for deductive program verification. It provides Why3 is a platform for deductive program verification. It provides
a rich language for specification and programming, called WhyML, and a rich language for specification and programming, called WhyML, and
......
# Why version # Why version
VERSION=0.88.0 VERSION=0.88.1
...@@ -108,7 +108,7 @@ ...@@ -108,7 +108,7 @@
%BEGIN LATEX %BEGIN LATEX
\begin{LARGE} \begin{LARGE}
%END LATEX %END LATEX
Version \whyversion{}, October 2017 Version \whyversion{}, November 2017
%BEGIN LATEX %BEGIN LATEX
\end{LARGE} \end{LARGE}
%END LATEX %END LATEX
......
archive: "https://gforge.inria.fr/frs/download.php/file/37147/why3-0.88.0.tar.gz"
checksum: "1aef885ff8eee34107585e11db623a8d"
...@@ -23,7 +23,7 @@ tags: [ ...@@ -23,7 +23,7 @@ tags: [
] ]
available: [ ocaml-version >= "4.02.3" ] available: [ ocaml-version >= "4.02.3" ]
depends: [ depends: [
"why3-base" { = "0.88.0" } "why3-base" { = "0.88.1" }
"lablgtk" "lablgtk"
"conf-gtksourceview" "conf-gtksourceview"
"zarith" "zarith"
......
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