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

• Main index
• Thread index for April 2009

---

• [Frama-c-discuss] Assigns broken for arrays?
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Assigns broken for arrays?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Assigns broken for arrays?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Assigns broken for arrays?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Installation problem
  • From: rovedy at ig.com.br (Rovedy Aparecida Busquim e Silva)
• [Frama-c-discuss] Assigns broken for arrays?
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Assigns broken for arrays?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Assigns broken for arrays?
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: julien.signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: julien.signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] "\at(var, Pre)" before a loop
  • From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
• [Frama-c-discuss] "\at(var, Pre)" before a loop
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] \base_addr and Jessie
  • From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
• [Frama-c-discuss] "\at(var, Pre)" before a loop
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] "\at(var, Pre)" before a loop
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] "\at(var, Pre)" before a loop
  • From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
• [Frama-c-discuss] Solution to yesterday's quizz
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] operator %
  • From: omar.chebaro at cea.fr (Omar Chebaro)
• [Frama-c-discuss] operator %
  • From: benjamin.monate at cea.fr (Benjamin Monate)
• [Frama-c-discuss] operator %
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] operator %
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] operator %
  • From: omar.chebaro at cea.fr (Omar Chebaro)
• [Frama-c-discuss] operator %
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] operator %
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Jessie and cross compiler
  • From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
• [Frama-c-discuss] Verification of axiomatization
  • From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
• [Frama-c-discuss] Verification of axiomatization
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Verification of axiomatization
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Verification of axiomatization
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Verification of axiomatization
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Verification of axiomatization
  • From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
• [Frama-c-discuss] Verification of axiomatization
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] Verification of axiomatization
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Sum and Assert Failure in jessie
  • From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
• [Frama-c-discuss] RE : Frama-C : Value Analysis : SWITCH vs IF
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] RE : Sum and Assert Failure in jessie
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] New Bug Tracking System
  • From: julien.signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] New Bug Tracking System
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] New Bug Tracking System
  • From: julien.signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] New Bug Tracking System
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] The Capabilities of Frama-C
  • From: vadim.tsesko at gmail.com (Vadim TSES'KO)
• [Frama-c-discuss] RE : The Capabilities of Frama-C
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] RE : The Capabilities of Frama-C
  • From: vadim.tsesko at gmail.com (Vadim TSES'KO)
• [Frama-c-discuss] RE : RE : The Capabilities of Frama-C
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] RE : RE : The Capabilities of Frama-C
  • From: vadim.tsesko at gmail.com (Vadim TSES'KO)
• [Frama-c-discuss] The Capabilities of Frama-C
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Frama-C : Value Analysis : SWITCH vs IF
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] RE : Frama-C : Value Analysis : SWITCH vs IF
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Frama-C Eclipse Plugin
  • From: nshmyrev at yandex.ru (Nickolay V. Shmyrev)
• [Frama-c-discuss] Predicate call not listed in jessie gui
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Predicate call not listed in jessie gui
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Predicate call not listed in jessie gui
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Problem with Why and Pointers
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] one initialisation of loop invariant is not listed in jessie GUI, this time I am sure
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Problem with Why and Pointers
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] one initialisation of loop invariant is not listed in jessie GUI, this time I am sure
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Native dynamic plugin
  • From: david.ribeirocampelo at atosorigin.com (David RIBEIRO CAMPELO)
• [Frama-c-discuss] Native dynamic plugin
  • From: julien.signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Value analysis emits warning for for-loop
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Value analysis emits warning for for-loop
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Value analysis emits warning for for-loop
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Value analysis: treating locations at absolute addresses as volatile?
  • From: Pascal.CUOQ at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Frama-C: GUI's response time
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] defining Labels with ACSL
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Problem to Prove bubblesort
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
• [Frama-c-discuss] Enum in cil
  • From: david.ribeirocampelo at atosorigin.com (David RIBEIRO CAMPELO)
• [Frama-c-discuss] Enum in cil
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] Enum in cil
  • From: david.ribeirocampelo at atosorigin.com (David RIBEIRO CAMPELO)
• [Frama-c-discuss] plugin jessie
  • From: fateh_hettak at yahoo.fr (fateh hettak)
• [Frama-c-discuss] jessie plugin
  • From: fateh_hettak at yahoo.fr (fateh hettak)
• [Frama-c-discuss] gcc+cpp+Frama-C et les const
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)

---

Mail converted by MHonArc