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 October 2017

• Main index
• Thread index for October 2017

---

• [Frama-c-discuss] Open postdoc position: "Specification and Verification of Quantum Programming Languages" at CEA and Uni. Paris Sud, France
  • From: valentin.perrelle at cea.fr (Valentin PERRELLE)
• [Frama-c-discuss] JFLA 2018 : second appel à communications
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
• [Frama-c-discuss] JFLA 2018 : dernier appel à communications et extension de deadline
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
• [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] ACSL by Example (version 15.1.2 for Frama-C 15, Phosphorus)
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Define a Logic function returning an array
  • From: wuwenhao at udel.edu (Wenhao Wu)
• [Frama-c-discuss] Define a Logic function returning an array
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Express the cardinality of a set ?
  • From: ziqing at udel.edu (Ziqing Luo)
• [Frama-c-discuss] Define a Logic function returning an array
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] WP drivers and Why3
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] WP drivers and Why3
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Does WP support declare ghost variables of logic types ?
  • From: ziqing at udel.edu (Ziqing Luo)
• [Frama-c-discuss] Does WP support declare ghost variables of logic types ?
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Frama-C 16 (Sulfur) - beta
  • From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Maroneze)
• [no subject]
  • From: Unknown

---

Mail converted by MHonArc