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

• Main index
• Thread index for November 2011

---

• [Frama-c-discuss] How to specify the options when calling wp_compute?
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] How to specify the options when calling wp_compute?
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] VSTTE 2012 Verification Competition: last call for participation
  • From: andrei at lri.fr (Andrei Paskevich)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] How to specify the options when calling wp_compute?
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] How to specify the options when calling wp_compute?
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Partial verification
  • From: Maria.Christofi at gemalto.com (Christofi Maria)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Partial verification
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Partial verification
  • From: Maria.Christofi at gemalto.com (Christofi Maria)
• [Frama-c-discuss] Partial verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Partial verification
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Partial verification
  • From: n.rousset at laposte.net (n.rousset at laposte.net)
• [Frama-c-discuss] Partial verification
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Partial verification
  • From: Maria.Christofi at gemalto.com (Christofi Maria)
• [Frama-c-discuss] Partial verification
  • From: n.rousset at laposte.net (n.rousset at laposte.net)
• [Frama-c-discuss] Partial verification
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] command 'why-dp' failed
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] SP calculus
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] command 'why-dp' failed
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] command 'why-dp' failed
  • From: njucslzh0714 at gmail.com (刘自恒)
• [Frama-c-discuss] SP calculus
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] workshop on theorem proving in certification
  • From: moy at adacore.com (Yannick Moy)
• [Frama-c-discuss] Why axiom int32_extensionality (new in Nitrogen release) causes prover slow-down
  • From: jochen.burghardt at first.fraunhofer.de (jochen)
• [Frama-c-discuss] Why axiom int32_extensionality (new in Nitrogen release) causes prover slow-down
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: ismael.vb at gmail.com (Ismael Vilas Boas)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: ismael.vb at gmail.com (Ismael Vilas Boas)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Nitrogen release on Mac
  • From: ismael.vb at gmail.com (Ismael Vilas Boas)
• [Frama-c-discuss] Mac OS X test binary release
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] adding a new prover
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] adding a new prover
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] adding a new prover
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] pointer/array issue
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] \Old struct value
  • From: arnaud.dieumegard at enseeiht.fr (Arnaud)
• [Frama-c-discuss] pointer/array issue
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Frama-C plug-in
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Some question concerning code transformation using Cil and Frama_c_visitors.
  • From: florent.garnier at gmail.com (florent garnier)
• [Frama-c-discuss] linked lists?
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] using floating-point + in spec
  • From: siegel at udel.edu (Stephen Siegel)

---

Mail converted by MHonArc