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

• Main index
• Thread index for May 2014

---

• [Frama-c-discuss] why does value analysis determine this to be invalid?
  • From: MarkoSchuetz at web.de (Marko Schütz Schmuck)
• [Frama-c-discuss] why does value analysis determine this to be invalid?
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Frama-C Release Neon-20140301
  • From: pmundkur.fm at gmail.com (Prashanth Mundkur)
• [Frama-c-discuss] Error on using pp-annot
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Frama-C Release Neon-20140301
  • From: francois.bobot at cea.fr (François Bobot)
• [Frama-c-discuss] Frama-C Release Neon-20140301
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Questions on wp about _Bool, inductive predicates and Coq
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Questions on wp about _Bool, inductive predicates and Coq
  • From: Guillaume.Davy at onera.fr (Guillaume Davy)
• [Frama-c-discuss] Questions on wp about _Bool, inductive predicates and Coq
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Questions on wp about _Bool, inductive predicates and Coq
  • From: Guillaume.Davy at onera.fr (Guillaume Davy)
• [Frama-c-discuss] How to transform a statement with case label by using the visitor?
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] How to transform a statement with case label by using the visitor?
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] Puzzled about apparent proof of false contract
  • From: bagnara at cs.unipr.it (Roberto Bagnara)
• [Frama-c-discuss] Puzzled about apparent proof of false contract
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] Puzzled about apparent proof of false contract
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Puzzled about apparent proof of false contract
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] Frama-c and SystemC
  • From: Xingyu.Zhao.1 at city.ac.uk (Zhao, Xingyu)
• [Frama-c-discuss] extended_Euclide
  • From: maxim.gaina at studenti.unipr.it (MAXIM GAINA)
• [Frama-c-discuss] Frama-c and SystemC
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] extended_Euclide
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] rte: valid
  • From: alessio.bortolotti at studenti.unipr.it (ALESSIO BORTOLOTTI)
• [Frama-c-discuss] rte: valid
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] WP RTE mem_access condition is Unknown
  • From: mansourmoufid at gmail.com (Mansour Moufid)
• [Frama-c-discuss] WP RTE mem_access condition is Unknown
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] WP RTE mem_access condition is Unknown
  • From: mansourmoufid at gmail.com (Mansour Moufid)
• [Frama-c-discuss] VSComp 2014 CfP
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
• [Frama-c-discuss] SystemC and time-reliated infromal requirements.
  • From: Xingyu.Zhao.1 at city.ac.uk (Zhao, Xingyu)
• [Frama-c-discuss] ACSL grammar missing a rule for predicate?
  • From: cok at frontiernet.net (cok at frontiernet.net)
• [Frama-c-discuss] WP RTE mem_access condition is Unknown
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Code proved with Fluorine is more proved with Neon
  • From: christophe.garion at isae.fr (Christophe Garion)
• [Frama-c-discuss] Using frama-c script to get proof obligations
  • From: 7jpinheiro at gmail.com (José Pinheiro)
• [Frama-c-discuss] Not proving when predicate
  • From: iblissard at grammatech.com (Ian Blissard)
• [Frama-c-discuss] Code proved with Fluorine is more proved with Neon
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Not proving when predicate
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Code proved with Fluorine is more proved with Neon
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Code proved with Fluorine is more proved with Neon
  • From: christophe.garion at isae.fr (Christophe Garion)
• [Frama-c-discuss] Code proved with Fluorine is more proved with Neon
  • From: christophe.garion at isae.fr (Christophe Garion)
• [Frama-c-discuss] Unable to ensure null
  • From: iblissard at grammatech.com (Ian Blissard)

---

Mail converted by MHonArc