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

  • Subject: [Frama-c-discuss] New plugin werror + list of external plugins in the wiki
  • From: sylvain.nahas at (sylvain nahas)
  • Date: Wed, 15 Feb 2012 17:06:31 +0100

Hallo Boris,

Am 15.02.2012 15:03 schrieb "Boris Hollas" <hollas at
> On Wed, 2012-02-15 at 14:27 +0100, sylvain nahas wrote:
> > 2. The wiki main page was also expended with a chapter "External
> > plugins" to references plugins not distributed with Frama-C.
> > See here:
> I suggest also to add a link on to the
> external plugins section of the wiki and to create a toplevel entry
> "External plugins" in the wiki so that there's an url for this section.

I didn't do that after considering it, because the plugins listed in
plugins.html are officially delivered and supported by the Frama-C
developers, and thus well advertised. "External plugin" is intended to list
projects maintained outside "mainstream" Frama-C.

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

Freundlischen Gr??e,

> Best regards,
> Boris
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at
 Am 15.02.2012 15:03 schrieb "Boris Hollas" <
hollas at>:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>