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

[Frama-c-discuss] why eclipse plugin



? ???, 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!