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
- Subject: [Frama-c-discuss] Introductory slides on Frama-C
- From: d.mentre at fr.merce.mee.com (David MENTRE)
- Date: Wed, 04 Sep 2013 17:37:03 +0200
- In-reply-to: <522752C7.603@cea.fr>
- References: <5225E3BB.8010903@fr.merce.mee.com> <52274A67.6040405@cea.fr> <52274D36.7080000@fr.merce.mee.com> <522752C7.603@cea.fr>
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
- Follow-Ups:
- [Frama-c-discuss] Introductory slides on Frama-C
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Introductory slides on Frama-C
- References:
- [Frama-c-discuss] Introductory slides on Frama-C
- From: d.mentre at fr.merce.mee.com (David MENTRE)
- [Frama-c-discuss] Introductory slides on Frama-C
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Introductory slides on Frama-C
- From: d.mentre at fr.merce.mee.com (David MENTRE)
- [Frama-c-discuss] Introductory slides on Frama-C
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Introductory slides on Frama-C
- Prev by Date: [Frama-c-discuss] Introductory slides on Frama-C
- Next by Date: [Frama-c-discuss] Introductory slides on Frama-C
- Previous by thread: [Frama-c-discuss] Introductory slides on Frama-C
- Next by thread: [Frama-c-discuss] Introductory slides on Frama-C
- Index(es):