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.

Old Frama-C mailing list archives for November 2017

• Main index
• Thread index for November 2017

---

• [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
• [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Fwd: [gdr.gpl ] Introductory School on Coq, January 22 -- January 26 2017, Sophia Antipolis, France
  • From: hxdg21 at gmail.com (Aaron R)
• [Frama-c-discuss] Backward Conditioning?
  • From: jnavarrette at gradcenter.cuny.edu (Jordi Adan Navarrette)
• [Frama-c-discuss] Backward Conditioning?
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Does WP support declare ghost variables of logic types ?
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] looking for deductive verification success stories
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] Frama-C and OCaml 4.06.0
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Job opening at SAP, Mougins, France
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] frama-c undefined behaviour during preprocessing
  • From: rooney at asis.io (Rooney)
• [Frama-c-discuss] frama-c undefined behaviour during preprocessing
  • From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Maroneze)
• [Frama-c-discuss] Release of Alt-Ergo 2.0.0
  • From: iguer.auto at gmail.com (Mohamed Iguernlala)
• [Frama-c-discuss] JFLA 2018 : 1er appel à participation
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
• [Frama-c-discuss] Frama-C 16 Sulfur has been released!
  • From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Maroneze)
• [Frama-c-discuss] RESSI'18 : appel à soumission
  • From: Julien.Signoles at cea.fr (Julien Signoles)

---

Mail converted by MHonArc