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

> 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.

I listed frama-c-eclipse in the wiki:

I didn't make it too specific so that it wouldn't become obsolete too  
Still, if you disagree with anything I said, feel free to change it or  
remove it
(it is a wiki).

Thanks for the very good work.


PS: and of course, it is illusory to believe that Beryllium will save us
from having to break interfaces again, but things should at least cool
down now.