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 (by thread)

• Main index
• Date index for October 2017

---

• [Frama-c-discuss] Open postdoc position: "Specification and Verification of Quantum Programming Languages" at CEA and Uni. Paris Sud, France, Valentin PERRELLE
• [Frama-c-discuss] JFLA 2018 : second appel à communications, Sylvie Boldo
• [Frama-c-discuss] JFLA 2018 : dernier appel à communications et extension de deadline, Sylvie Boldo
• [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5, Claude Marché
  • <Possible follow-ups>
  • [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5, Gerlach, Jens
    • [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5, Claude Marché
  • [Frama-c-discuss] [Why3-club] why3-0.88.0 and CVC4 1.4/1.5, Gerlach, Jens
• [Frama-c-discuss] ACSL by Example (version 15.1.2 for Frama-C 15, Phosphorus), Gerlach, Jens
• [Frama-c-discuss] Define a Logic function returning an array, Wenhao Wu
  • [Frama-c-discuss] Define a Logic function returning an array, Loïc Correnson
    • [Frama-c-discuss] WP drivers and Why3, Stephen Siegel
      • [Frama-c-discuss] WP drivers and Why3, Loïc Correnson
  • <Possible follow-ups>
  • [Frama-c-discuss] Define a Logic function returning an array, Gerlach, Jens
• [Frama-c-discuss] Express the cardinality of a set ?, Ziqing Luo
• [Frama-c-discuss] Does WP support declare ghost variables of logic types ?, Ziqing Luo
  • [Frama-c-discuss] Does WP support declare ghost variables of logic types ?, Virgile Prevosto
• [Frama-c-discuss] Frama-C 16 (Sulfur) - beta, Andre Maroneze
• [no subject], Unknown

---

Mail converted by MHonArc