Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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!