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 2008

• Main index
• Thread index for December 2008

---

• [Frama-c-discuss] Dynamic Plugin
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Questions about the Lithium beta 1 release
  • From: david.delmas at airbus.com (David DELMAS)
• [Frama-c-discuss] Dynamic Plugin
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] Dynamic Plugin
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Dynamic Plugin
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] Pointer Aliasing
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] RE : [support-caveat] Questions about the Lithium beta 1 release
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] jessie questions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• No subject
  • From: bogus@does.not.exist.com ()
• [Frama-c-discuss] interfacing non-OCaml programs with Frama-C
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] further problem-reports
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] behaviors in ACSL
  • From: pascal.cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Safety Conditions in Frama-C
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] behaviors in ACSL
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Safety Conditions in Frama-C
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Safety Conditions in Frama-C
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Safety Conditions in Frama-C
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Dead code that shouldn't be
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] \result in assigns
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: andrebritopassos at gmail.com (André Passos)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Dead code that shouldn't be
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Dead code that shouldn't be
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: andrebritopassos at gmail.com (André Passos)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Unsigned in Jessie
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: andrebritopassos at gmail.com (André Passos)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Dead code that shouldn't be
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: andrebritopassos at gmail.com (André Passos)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] further problem-reports
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Dead code that shouldn't be
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Safety Conditions in Frama-C
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] ACSL-implication
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Problem with frama-c-gui
  • From: andrebritopassos at gmail.com (André Passos)
• [Frama-c-discuss] Adding some semantic meaning to a few (standard string) functions
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] ACSL-implication
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] \result in assigns
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] returns vs loop invariants
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] returns vs loop invariants
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Adding some semantic meaning to a few (standard string) functions
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] returns vs loop invariants
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Release of Frama-C Lithium
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] frama-c plugin howto: question from a beginner
  • From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
• [Frama-c-discuss] Release of Frama-C Lithium
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] frama-c plugin howto: question from a beginner
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] RE : frama-c plugin howto: question from a beginner
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] frama-c plugin howto: question from a beginner
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] assigns
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] assigns
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] green postcondition in spite of invalid loop invariant
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] FW: Windows Frama-C Release
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] proof of logic expression
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] prover timeout does not work(Jessie)
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] web page user feedback
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] prover timeout does not work(Jessie)
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] FW: Windows Frama-C Release
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] prover timeout does not work(Jessie)
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] prover timeout does not work(Jessie)
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] RE : web page user feedback
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] RE : prover timeout does not work(Jessie)
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] prover timeout does not work(Jessie)
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] FW: Windows Frama-C Release
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• No subject
  • From: bogus@does.not.exist.com ()
• [Frama-c-discuss] Installation Problem
  • From: juan.soto at first.fraunhofer.de (Juan Soto)
• [Frama-c-discuss] Installation Problem
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Installation Problem
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] Installation Problem
  • From: juan.soto at first.fraunhofer.de (Juan Soto)
• [Frama-c-discuss] Installation Problem
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Using an installed copy of Why?
  • From: amdunn at gmail.com (Alan Dunn)

---

Mail converted by MHonArc