Release of Why3 1.1.0
-
decide in GT whether this version is 1.00.1 or 1.01.0 or 1.1.0 : it is 1.1.0 -
decide in GT whether we drop compatibility with Alt-Ergo < 2.0.0, because they are unsound on examples/tests-provers/div -
support of Alt-Ergo 2.1.0 and 2.2.0 -
support of Isabelle 2018 (discards Isabelle 2016 support, but keep Isabelle2017) -
[POSTPONED] support Vampire (SMT-LIB2 input) -
fix or discard handcrafted messages (see issues #150 (closed) and #172 (closed)) -
[POSTPONED] fix issue with ghost refinement (see issues #42 (closed) and #168 (closed)) -
check issue #166 (closed) -
fix issue #159 (closed) -
fix issue #188 (closed) -
fix issue #157 (closed) -
fix broken examples of gallery : fix stdlib/array -
fix issue #149 (closed) -
fix issue #147 (closed) -
fix issue #134 (closed) -
fix issue #190 (closed) -
[POSTPONED] fix issue #133 (closed) -
fix issue #127 (closed) -
fix issue #181 (closed) -
fix issue #182 (closed) -
some fixes of the installation and so that frama-c wp could use why3 api for next version. !21 (merged) -
fill the changelog -
fix issue #186 (closed) -
fix issue #189 (closed) -
fix issue #195 (closed) -
discuss !22 (closed)