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 October 2008

• Main index
• Thread index for October 2008

---

• [Frama-c-discuss] Extra features in ACSL in Frama-C versus Caduceus?
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Annotated strings
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] lightweight annotations for Jessie
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Frama-C user documentation?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Frama-C user documentation?
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• SV: [Frama-c-discuss] Frama-C user documentation?
  • From: bk at wprmedical.com (Birger Kollstrand)
• SV: [Frama-c-discuss] Frama-C user documentation?
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] frama-c -lib-entry not working anymore?
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] frama-c -lib-entry not working anymore?
  • From: david.delmas at airbus.com (David DELMAS)
• [Frama-c-discuss] frama-c -lib-entry not working anymore?
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] frama-c -lib-entry not working anymore?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0
  • From: amdunn at gmail.com (Alan Dunn)
• RE : [Frama-c-discuss] Compiling the gui with gtkSourceView 2.0
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• SV: SV: [Frama-c-discuss] Frama-C user documentation?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Any thought on C++ support also?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Binary packages for Linux?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Compile error
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Compile error
  • From: amdunn at gmail.com (Alan Dunn)
• [Frama-c-discuss] Plugin Development Guide
  • From: david.delmas at airbus.com (David DELMAS)
• [Frama-c-discuss] Binary packages for Linux?
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Handling of include paths in Frama-C?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Handling of include paths in Frama-C?
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Plugin Development Guide
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• SV: [Frama-c-discuss] Handling of include paths in Frama-C?
  • From: bk at wprmedical.com (Birger Kollstrand)
• [Frama-c-discuss] Re: lightweight annotations for Jessie
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Re: lightweight annotations for Jessie
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Re: [Why-discuss] Questions about Frama-C
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] [Fwd: [Why-discuss] Problem with program states in Frama-C]
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliâtre)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Re: [Why-discuss] Questions about Frama-C
  • From: yannick.moy at gmail.com (Yannick Moy)
• RE : [Frama-c-discuss] Re: [Why-discuss] Questions about Frama-C
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Frama-C sans GUI
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] New Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Re: New Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Specification Examples
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] New Specification Examples
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] New Specification Examples
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] New Specification Examples
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Specification Examples
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] complete behaviors
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• RE : [Frama-c-discuss] complete behaviors
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] complete behaviors
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Cast implicite dans la logique ?
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Jessie et alarme du plgin value
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• RE : [Frama-c-discuss] Jessie et alarme du plgin value
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• [Frama-c-discuss] Language
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Language
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] \strlen
  • From: cconway at cs.nyu.edu (Christopher L Conway)
• [Frama-c-discuss] \strlen
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE yet another specification example :)
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] YASE - behavior
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] YASE yet another specification example :)
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE - behavior
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE \lambda
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Strange behaviour of Yices
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] Strange behaviour of Yices
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] YASE \lambda
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Timed properties
  • From: nshmyrev at yandex.ru (Nickolay V. Shmyrev)
• [Frama-c-discuss] Timed properties
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Une nouvelle semaine avec nouveaux problèmes
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Timed properties
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Timed properties
  • From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
• [Frama-c-discuss] Timed properties
  • From: nshmyrev at yandex.ru (Nickolay V. Shmyrev)
• [Frama-c-discuss] Timed properties
  • From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
• [Frama-c-discuss] YASE \lambda
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] defining functions in FramaC
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• RE : [Frama-c-discuss] YASE \lambda
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• RE  : [Frama-c-discuss] YASE \lambda
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• RE : [Frama-c-discuss] YASE \lambda
  • From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
• Re: [Frama-c-discuss] Une nouvelle semaine avec nouveaux problèmes
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] YASE logic integer functions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Diffusion de Frama-C...
  • From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
• [Frama-c-discuss] Diffusion de Frama-C...
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] behavior, sub-behavior
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] behavior, sub-behavior
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] scaling value analysis
  • From: david.delmas at airbus.com (David DELMAS)
• [Frama-c-discuss] YASE referring to ARRAY in Pre & Post-state
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] scaling value analysis
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] YASE referring to ARRAY in Pre & Post-state
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] axioms and logic functions
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] YASE lexicogrphical_compare
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Partial correctness explained to children!
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] Partial correctness explained to children!
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Jessie: type invariant
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] Partial correctness explained to children!
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Partial correctness explained to children!
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] Partial correctness explained to children!
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE lexicogrphical_compare
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE lexicogrphical_compare
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] predicates and axioms
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] unbound identifier \result
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Collisions using //@ or /*@
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] questions about FRAMA-C
  • From: ioana-mihaela.geanta at atosorigin.com (IOANA MIHAELA GEANTA)
• [Frama-c-discuss] Memory locations
  • From: jean-baptiste.jeannin at hispano-suiza-sa.com (jean-baptiste.jeannin@hispano-suiza-sa.com)
• [Frama-c-discuss] questions about FRAMA-C
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Re: questions about FRAMA-C
  • From: ioana-mihaela.geanta at atosorigin.com (IOANA MIHAELA GEANTA)
• [Frama-c-discuss] Lithium beta 1 release
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Lithium beta 1 release under Mac OS X (first impression)
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Lithium beta 1 release under Mac OS X (first impression)
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] YASE, back to the roots
  • 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] YASE, back to the roots
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] YASE, back to the roots
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] logic function and predicates
  • From: stephane.duprat at atosorigin.com (Stéphane Duprat)
• [Frama-c-discuss] logic function and predicates
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Re: questions about FRAMA-C
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Memory locations
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] unbound identifier \result
  • From: yannick.moy at gmail.com (Yannick Moy)

---

Mail converted by MHonArc