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] A tentative FAQ...

Le lun. 25 mai 2009 00:04:23 CEST,
ejenn <ejenn at> a ?crit :

> I have tried to create a first set of (FA)Q for my personal usage from 
> the current content of the Frama-C discussion mailing list. Basically, 

Many thanks for this effort. Having all these questions in a single
document is very valuable.

> In any case, should you find it useful, feel free to use it / put it in 
> a more appropriate location...
> (IMHO, an appropriate location could be some kind of Wiki where it could 
> be freely updated.)

I'd say that the frama-c wiki, despite requiring a subscription
through the bts, would be a good place to put this material. 

Best regards,
E tutto per oggi, a la prossima volta.