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

[Frama-c-discuss] Patch for Frama-C-Beryllium-20090601-beta1



Hello,

A patch for Frama-C-Beryllium-20090601-beta1 is available on the 
Frama-C wiki, fixing 2 compilation issues:
http://bts.frama-c.com/dokuwiki/lib/exe/fetch.php?media=wiki:frama-c-beryllium-20090601-beta1.patch

In particular, it should fix the Jens Gerlach'issue reported here: 
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-June/001289.html

See here for details: 
http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#known_issues

Regards,
Julien Signoles
-- 
Researcher-engineer
CEA LIST, Software Reliability Lab
91191 Gif-Sur-Yvette Cedex
tel:(+33)1.69.08.71.83  fax:(+33)1.69.08.83.95  Julien.Signoles at cea.fr