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 December 2011

• Main index
• Thread index for December 2011

---

• [Frama-c-discuss] using floating-point + in spec
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] linked lists?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Some question concerning code transformation using Cil and Frama_c_visitors.
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Some question concerning code transformation using Cil and Frama_c_visitors.
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] linked lists?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] using floating-point + in spec
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] using floating-point + in spec
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] using floating-point + in spec
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] using floating-point + in spec
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Displaying property status for rte annotations
  • From: arenis at informatik.uni-freiburg.de (Sergio Feo)
• [Frama-c-discuss] Displaying property status for rte annotations
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Displaying property status for rte annotations
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] ACSL Parsing
  • From: lindenmm at informatik.uni-freiburg.de (Markus Lindenmann)
• [Frama-c-discuss] ACSL Parsing
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] ACSL Parsing
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST)
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] ACSL Parsing
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] ACSL Parsing
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] ACSL Parsing
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] ACSL Parsing
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] ACSL Parsing
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] ACSL Parsing
  • From: lindenmm at informatik.uni-freiburg.de (Markus Lindenmann)
• [Frama-c-discuss] ACSL Parsing
  • From: lindenmm at informatik.uni-freiburg.de (Markus Lindenmann)
• [Frama-c-discuss] ACSL Parsing
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: moy at adacore.com (Yannick Moy)
• [Frama-c-discuss] How to get all arguments of a Call instr?
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] How to get all arguments of a Call instr?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• No subject
  • From: bogus@does.not.exist.com ()
• [Frama-c-discuss] Status of global invariant in Jessie, WP and Value Analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] How to get all arguments of a Call instr?
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] pointer/array issue
  • From: sylvain.nahas at googlemail.com (sylvain nahas)
• [Frama-c-discuss] How to make a deep copy?
  • From: njucslzh0714 at gmail.com (Henry)
• [Frama-c-discuss] ACSL by Example (for Nitrogen)
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] another question about ptest.byte
  • From: stephane.duprat at atos.net (DUPRAT Stephane)
• [Frama-c-discuss] another question about ptest.byte
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] RE : another question about ptest.byte
  • From: virgile.prevosto at cea.fr (PREVOSTO Virgile)
• [Frama-c-discuss] RE : another question about ptest.byte
  • From: stephane.duprat at atos.net (DUPRAT Stephane)
• [Frama-c-discuss] how to abstract the loop invariants of C implementation of AES
  • From: luoting8609 at 163.com (罗婷)
• [Frama-c-discuss] how to abstract the loop invariants of C implementation of AES
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] how to abstract the loop invariants of C
  • From: luoting8609 at 163.com (罗婷)
• [Frama-c-discuss] how to abstract the loop invariants of C
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] how to abstract the loop
  • From: luoting8609 at 163.com (罗婷)
• [Frama-c-discuss] how to abstract the loop
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] how to abstract the loop
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)

---

Mail converted by MHonArc