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 2008

• Main index
• Thread index for November 2008

---

• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Axiomatic Definitions
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Axiomatic Definitions
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Axiomatic Definitions
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] ACSL-Documentation
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] ACSL-Documentation
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Memory Problems with Lithium
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] ACSL-Documentation
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Sorry for the multiple posts
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Axiomatic Definitions
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] #pragma preprocessing command
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] YASE, back to the roots
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE, back to the roots
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] provers freeze
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] YASE, back to the roots
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] axiomatic permut test
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] axiomatic permut redefined
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] axiomatic permut redefined
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Fwd: Re: [Frama-c-discuss] Slicing: how to get rid of unused typedefs and other globals]
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] recursive programming vs. declarative programming
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Composition of COMPLEX Contracts
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] ACSL-Documentation
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Composition of COMPLEX Contracts
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] recursive programming vs. declarative programming
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Composition of COMPLEX Contracts
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] release-date Patch
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] recursive programming vs. declarativeprogramming
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Composition of COMPLEX Contracts
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] recursive programming vs. declarativeprogramming
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Jessie patch available soon
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Re: [Why-discuss] New Frama-C release
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] RE: [Why-discuss] New Frama-C release
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Value analysis plug-in algorithms
  • From: jsdslml at gmail.com (jsd slml)
• [Frama-c-discuss] Value analysis plug-in algorithms
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] RE: [Why-discuss] New Frama-C release
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Jessie-patch release ???
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Impact analysis: option/pragma and sub-code
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] Impact analysis: option/pragma and sub-code
  • From: julien.signoles at cea.fr (Julien SIGNOLES)
• [Frama-c-discuss] type invariants
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• RE : [Frama-c-discuss] type invariants
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] type invariants
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Cast support with Jessie in Lithium
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] Probably a solution for the Jessie Bug
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] type invariants
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] lower_bound
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Re: Slicing: how to get rid of unused typedefs and other globals
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Jessie-Tutorial
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Jessie-Tutorial
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Cast support with Jessie in Lithium
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Cast support with Jessie in Lithium
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] Frama-C labels/States
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Frama-C labels/States
  • From: barbaraisabelvieira at gmail.com (Bárbara Vieira)
• [Frama-c-discuss] Frama-C labels/States
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] definition of \base_addr
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] definition of \base_addr
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] axiomatic recursive definition
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] axiomatic recursive definition
  • From: Claude.Marche at inria.fr (Claude Marché)

---

Mail converted by MHonArc