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

[Frama-c-discuss] New release Jessie/Why 2.35



The new release 2.35 of Why, that includes the Jessie plug-in of
Frama-C, is available from http://why.lri.fr.

As before, this release is mainly an update to support the recently
released version Sodium of Frama-C. It requires Why3 version at least
0.84. Details on compatibility between versions of Why, Frama-C and Why3
are given at http://krakatoa.lri.fr/, together with specific
documentation on the Krakatoa and Jessie front-ends of Why.

This version is also available in OPAM:

http://opam.ocaml.org/packages/why/why.2.35/

Here are the main changes:

  o Discarded support of why and gwhy. Why3 is not optional anymore.
  o Compilation with ocaml 4.02.1
  o [Jessie/Frama-C plugin] support for ACSL builtins \floor and \ceil
  o [Frama-C plugin] Compatible with release Sodium of Frama-C
  o [Jessie] Synchronized with Why3 >= 0.84


- Claude


-- 
Claude March?                          | tel: +33 1 69 15 66 08
INRIA Saclay - ?le-de-France           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |