--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New release Why 2.29



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                    |