A new release of Why3, version 0.88.3, is available from the Web page
http://why3.lri.fr/
Changes between 0.88.2 and 0.88.3 are as follows:
(":x:" marks a potential source of incompatibility)
Provers
* support for Alt-Ergo 2.0.0 (released Nov 14, 2017)
* support for Coq 8.7.1 (released Dec 16, 2017)
* support for Z3 4.6.0 (released Dec 18, 2017)
Standard library
* fixed soundness of theory `int.Exponentiation` when multiplication
is not commutative :x:
Miscellaneous
* fixed support for `--enable_relocation=yes` (issue #50)
* fixed support for Windows (issue #70)
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
