--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on July 2018 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New release Why 2.41



This is to announce a new release of the *Why* distribution, containing 
the Krakatoa tool for deductive verification of Java programs and the 
Jessie plug-in of Frama-C for deductive verification of C programs.

It is distributed as free software under the LGPL licence.

It is installable via compilation of the sources 
(http://krakatoa.lri.fr) or as an OPAM package 
(https://opam.ocaml.org/packages/why/why.2.41/).

This version is compatible with Frama-C Chlorine-20180501 and Why3 
versions 0.87.x and 0.88.x. Beware that it is *not* compatible with any 
other versions of Frama-C and not compatible with Why3 1.x