[Why3-club] New release Why 2.29

Claude Marche Claude.Marche at inria.fr
Wed Mar 2 14:32:54 CET 2011


A new release of Why, version 2.29, is available in the web site 
http://why.lri.fr/

This is mainly a release for compatibility of the Jessie plugin with 
Frama-C Carbon stable, and it is not compatible with earlier versions.

Here is the detailed list of changes

   o [Krakatoa] Documentation: many errors fixed
   o [Jessie] plugin synchronized with Frama-C Carbon stable
   o [Why] fixed typing for division in programs
   o [Why] accepts "lemma" has keyword in input. outputs them accordingly
     for provers
   o [Why] Why3 output: avoids Why3 keywords
   o [Why] improved Gappa output


- Claude

-- 
Claude Marché                          | tel: +33 1 72 92 59 69
INRIA Saclay - Île-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Université                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |




More information about the Why3-club mailing list