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] Introductory slides on Frama-C



Le 04/09/2013 17:33, Julien Signoles a ?crit :
> The wiki is not user-friendly, but there is an upload button: in edition
> mode, you have to click on the button "Add Images and other files" (near
> the smiley button ;-)).

I have indeed done that. But within the opening Media Manager window, I 
cannot find an upload button or zone.

>> http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:tutorial:merce_2013
>>
>
> I've uploaded your pdf there.

Thanks! Could you also upload the tarball of example C files?

Best regards,
david
-- 
David MENTR? - Research engineer, Ph.D.
   Formal Methods and tools
MITSUBISHI ELECTRIC R&D Centre Europe (MERCE)
Phone: +33 2 23 45 58 29 / Fax: +33 2 23 45 58 59
http://www.fr.mitsubishielectric-rce.eu