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

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



The new release 2.34 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 Neon of Frama-C, and the recently released version 0.83
of Why3. 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.

Apart from synchronization with Frama-C Neon and Why3 0.83, this release
provides a few bug fixes and improvements:
* [Jessie] Fixed some issues with labels (partly contributed by Mikhail
Mandrykin)
* [Jessie/Why3] Fixed various issues with Why3 output (contributed by
Mikhail Mandrykin)
* [Krakatoa] Fixed a bug in the order of logic definitions
* benefit from all Why3 recent improvements, including:
 . regarding efficiency, both in term of execution time and memory
comsumption.
 . support for more provers and more recent versions of provers


- Claude