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 April 2014

• Main index
• Thread index for April 2014

---

• [Frama-c-discuss] Error on using pp-annot
  • From: frank at strato.de (Frank Dordowsky)
• [Frama-c-discuss] two open positions in new Joint Laboratory to develop Why3 and SPARK technologies
  • From: moy at adacore.com (Yannick Moy)
• [Frama-c-discuss] Question about get varinfo from vid
  • From: alfchen at umich.edu (Qi Alfred Chen)
• [Frama-c-discuss] Error on using pp-annot
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Error on using pp-annot
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Two open R&D engineer position in ProofInUse lab, Paris
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Call for participation CSTVA'14 Constraints in Software Testing, Verification, and Analysis
  • From: nicky.williams at cea.fr (Nicky Williams)
• [Frama-c-discuss] Error on using pp-annot
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] add variable name for formal variables of a kernel function
  • From: cs.yang.yibiao at gmail.com (Yibiao Yang)
• [Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?
  • From: sstewartgallus00 at mylangara.bc.ca (Steven Stewart-Gallus)
• [Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?
  • From: sstewartgallus00 at mylangara.bc.ca (Steven Stewart-Gallus)
• [Frama-c-discuss] Is support for running frama-c in the place of a C compiler being considered?
  • From: benjamin.monate at trust-in-soft.com (Benjamin Monate)
• [Frama-c-discuss] Internal state represented by ghost variable not provable
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Internal state represented by ghost variable not provable
  • From: anne.pacalet at free.fr (Anne Pacalet)
• [Frama-c-discuss] Internal state represented by ghost variable not provable
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Internal state represented by ghost variable not provable
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Question about get varinfo from vid
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Error on using pp-annot
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] ignoring status of type invariant
  • From: MarkoSchuetz at web.de (Marko Schütz Schmuck)
• [Frama-c-discuss] ignoring status of type invariant
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] ignoring status of type invariant
  • From: MarkoSchuetz at web.de (Marko Schütz Schmuck)
• [Frama-c-discuss] void * and uintptr_t?
  • From: MarkoSchuetz at web.de (Marko Schütz Schmuck)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] void * and uintptr_t?
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] question about treatment of assigns clauses in WP (Neon)
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Opening GUI on a specific file and function?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Opening GUI on a specific file and function?
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Opening GUI on a specific file and function?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Internal state represented by ghost variable not provable
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Error on using pp-annot
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: anne.pacalet at free.fr (Anne Pacalet)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Behavior specification with ghost variables
  • From: frank at dordowsky.de (Frank Dordowsky)
• [Frama-c-discuss] alignment assumptions?
  • From: MarkoSchuetz at web.de (Marko Schütz Schmuck)

---

Mail converted by MHonArc