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 July 2009

• Main index
• Thread index for July 2009

---

• [Frama-c-discuss] Validating pointers
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Validating pointers
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Validating pointers
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] WG: binary_search example
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] WG: Label to refer to a state of the prior iteration
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] WG: binary_search example
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] WG: Label to refer to a state of the prior iteration
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] [from] patch to get the dependencies of any statement
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] [Values] patch to access the several states attached to a statement
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] How to run a plug-in many times
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] How to compil Frama-C with an existing Why installation
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] [Values] patch to access the several states attached to a statement
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] [Values] patch to access the several states attached to a statement
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] How to compil Frama-C with an existing Why installation
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Frama-C/Jessie: not_assigns and mutable parameter
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C/Jessie: not_assigns and mutable parameter
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] How to compil Frama-C with an existing Why installation
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] Problems with division in lemmas
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] Problems with division in lemmas
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Problem with array type in Frama-C
  • From: tienhm at gmail.com (Tien Hoang Minh)
• [Frama-c-discuss] Problem with array type in Frama-C
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Specifying function monotonicity in ACSL
  • From: lc at adelard.com (Lukasz Cyra)
• [Frama-c-discuss] Problem with array type in Frama-C
  • From: tienhm at gmail.com (Tien Hoang Minh)
• [Frama-c-discuss] (jessie) type casting and assertions
  • From: lc at adelard.com (Lukasz Cyra)
• [Frama-c-discuss] Integerdivision
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] Jessie - sufficiency of proofs
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] Jessie - sufficiency of proofs
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] How to run a plug-in many times
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Jessie - sufficiency of proofs
  • From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
• [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: khleif at informatik.uni-tuebingen.de (Munir Khleif)
• [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: khleif at informatik.uni-tuebingen.de (Munir Khleif)
• [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !
  • From: khleif at informatik.uni-tuebingen.de (Munir Khleif)
• [Frama-c-discuss] Problem with real division
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Problem with real division
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Problem with real division
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] question about hybrid logic functions
  • From: jsp at di.uminho.pt (Jorge Sousa Pinto)
• [Frama-c-discuss] Problem with real division
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Problem with real division
  • From: guillaume.melquiond at inria.fr (Guillaume Melquiond)
• [Frama-c-discuss] Oracles of Jessie tests in source distributions
  • From: wagnermar at uni-koblenz.de (Markus Wagner)
• [Frama-c-discuss] Oracles of Jessie tests in source distributions
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)

---

Mail converted by MHonArc