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 March 2012

• Main index
• Thread index for March 2012

---

• [Frama-c-discuss] Using a identifier in an "assumes" clause
  • From: belasri89 at gmail.com (mohamed belasri)
• [Frama-c-discuss] Using a identifier in an "assumes" clause
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Substitution in Cil_types.predicate
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] CFP: BOOGIE 2012 - 2nd International Workshop on Intermediate Verification Languages (co-located with CAV)
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
• [Frama-c-discuss] Substitution in Cil_types.predicate
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Substitution in Cil_types.predicate
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Substitution in Cil_types.predicate
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Inserting global annotation into the AST
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Does it contain errors in file fcntl.h?
  • From: njucslzh0714 at gmail.com (Henry)
• [Frama-c-discuss] Does it contain errors in file fcntl.h?
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] How to prevent Frama-C to expand an array?
  • From: njucslzh0714 at gmail.com (Henry)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Modifying the AST to insert statements / declarations
  • From: Pierre.Karpman at rennes.supelec.fr (Pierre Karpman)
• [Frama-c-discuss] proving a contract
  • From: mag at magwas.rulez.org (Magosányi Árpád)
• [Frama-c-discuss] proving a contract
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] proving a contract
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] proving a contract
  • From: mag at magwas.rulez.org (Magosányi Árpád)
• [Frama-c-discuss] Inserting global annotation into the AST
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] proving a contract
  • From: dmentre at linux-france.org (David MENTRE)

---

Mail converted by MHonArc