A new release of Why3, version 1.2.1, is available from the Web page http://why3.lri.fr/
Changes between 1.2.0 and 1.2.1 are as follows: Bug fixes * fixed compilation with OCaml 4.09 * fixed compilation with Lablgtk3 Provers * support for Z3 4.8.6 (released Sep 20, 2019) * support for Z3 4.8.5 (released Jun 3, 2019) * support for CVC4 1.7 (released Apr 9, 2019) * support for Alt-Ergo 2.3.0 (released Feb 11, 2019) * support for Coq 8.9.1 (released May 20, 2019) _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club