Home My Page Projects Why3
Summary Activity Tracker Lists SCM Files

Project Filelist for Why3

File Release Notes and Changelog

Release Name: 0.87.3

Change Log
Version 0.87.3, January 12, 2017
================================

bug fixes
  o fixed OCaml extraction with respect to ghost parameters
  o assorted bug fixes

Provers
  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 Nov 8, 2016)