Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] New release Jessie/Why 2.35
  • From: Claude.Marche at inria.fr (Claude Marche)
  • Date: Thu, 26 Mar 2015 13:33:35 +0100
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                    |