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

[Frama-c-discuss] A bundle Frama-C-Beryllium-20090902 + Why-2.21 is available



Dear Frama-C users,

We have put online a source bundle containing both 
Frama-C-Beryllium-20090902 and Why-2.21 which contains the Frama-C 
plug-in Jessie.

You can download it at http://frama-c.cea.fr/download.html. For now, 
there is no pre-compiled binary available for this bundle.

Do not hesitate to report any issue and/or success with this bundle 
through the usual channels.

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