--- layout: fc_discuss_archives title: Message 74 from Frama-C-discuss on September 2009 ---
? ???, 25/09/2009 ? 18:40 +0200, Pascal Cuoq ?????: > > > > 2) Works with Berillium, despite of recent command line behaviour > > break. > > Hmm, sorry about that. As you may know, Beryllium is the release to > end all releases (plug-ins can now be released independently from the > core, and for instance Jessie will be from now on) so we wanted to > structure things a bit before committing to an interface. Sorry, I didn't mean something bad, I really appreciate your hard work. > I listed frama-c-eclipse in the wiki: > http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start#faq_tips_and_tricks > > I didn't make it too specific so that it wouldn't become obsolete too > soon. Still, if you disagree with anything I said, feel free to change it or > remove it (it is a wiki). Thanks a lot!