--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on March 2015 ---
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 |