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