--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New release Beryllium-20090902



Dear Frama-C users,

The Frama-C team is proud to announce the second version of the Frama-C 
Beryllium release, namely Beryllium-20090902. That is mainly a bug-fix 
release.

You can download it at http://frama-c.cea.fr/download.html.
There are a source tar-ball and a Windows 32 bits binary auto-installer.
The list of major changes is available at
http://frama-c.cea.fr/Changelog.html.

Jessie is not part anymore of the Frama-C distribution: it is now 
released within Why. A new version of why including the Frama-C plug-in 
Jessie should be released very soon. Whenever Why+Jessie is released, 
bundles containing Frama-C+Jessie will be available from the download 
page of the Frama-C website.

Enjoy this release and do not hesitate to report any issue and/or
success with this version through the usual channels.

Best regards,
for the Frama-C team,
Julien Signoles