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 2010

• Main index
• Thread index for March 2010

---

• [Frama-c-discuss] Modélisation et vérification d'algorithmes en Coq
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Modélisation et vérification d'algorithmes en Coq
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] [Off-topic] Classification/taxonomy of formal methods?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] [Off-topic] Classification/taxonomy of formal methods?
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] [Off-topic] Classification/taxonomy of formal methods?
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] [Off-topic] Classification/taxonomy of formal methods?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] question about slicer
  • From: dak at adelard.com (Damien Karkinsky)
• [Frama-c-discuss] question about slicer
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] question about slicer
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] question about slicer
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] question about slicer
  • From: dak at adelard.com (Damien Karkinsky)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Jessie failure: "Unexpected internal region in logic"
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] question about slicer
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: david.delmas at airbus.com (David Delmas)
• [Frama-c-discuss] Call for Papers: International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010)
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Newbie question on frama-c
  • From: Luong.Nguyen-Duy at Sun.COM (Luong Nguyen-Duy)
• [Frama-c-discuss] Newbie question on frama-c
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] frama-c.com
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: aintest3 at gmail.com (aintest3f aintest3l)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] configure: gui: no (see warning about /usr/local/lib/ocaml/lablgtk2/lablgtksourceview.cma, /usr/local/lib/ocaml/lablgtksourceview/lablgtksourceview.cma)
  • From: aintest3 at gmail.com (aintest3f aintest3l)

---

Mail converted by MHonArc