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

[Frama-c-discuss] Release Beryllium 20090901



Dear Frama-C users,

The Frama-C team is proud to unleash the final Beryllium Frama-C release.

You can download it at http://frama-c.cea.fr/download.html
There is 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.txt

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

Cheers,
-- 
Benjamin Monate for the Frama-C team.