[Why3-club] New release Why3 0.85

2014-09-17 Thread Claude Marché
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 ca

Re: [Why3-club] New release Why3 0.85

2014-09-17 Thread Jean-Jacques Levy
Claude, it looks that the web page refers to the .84 release !!! -JJ- Le 17 sept. 2014 à 11:22, Claude Marché a écrit : > > 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

Re: [Why3-club] New release Why3 0.85

2014-09-17 Thread Claude Marche
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é a écrit : > >> >> A new release of Why3, version 0.84, is avail