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] New plugin werror + list of external plugins in the wiki

Hi guys,

> The wiki is open to edition to users registered into the BTS, and you
> > are warmly welcome to edit it as you see fit. In any case, if you use
> > Frama-C, it is a good idea to register an account in the BTS, because
> > I bet you will stumble on matter to open entries in there. :-)
> I have an account, but I don't know how to create directories on the
> start page. Currently, all information is on one page. I suggest to
> split this into several pages, eg Installing, Jessie & wp, Value
> analysis, External plugins.

Allow me to interrupt there. There *are* several pages on the wiki already
(see the Works about Frama-C on the index page).
You might want to try something like

Richard Bonichon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>