A new release of Why3, version 0.84, is available from the Web page
http://why3.lri.fr.
This is mainly a bug-fix release, in particular to fix two soundness
bugs, as detailed in the changes below
- Claude, for the Why3 team
langage
* fix a soundness bug in the detection of aliases when
Fixed. Thanks for reporting the mistake.
- Claude
On 09/17/2014 01:21 PM, Jean-Jacques Levy wrote:
Claude,
it looks that the web page refers to the .84 release !!!
-JJ-
Le 17 sept. 2014 à 11:22, Claude Marché claude.mar...@inria.fr a écrit :
A new release of Why3, version