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 May 2009
- [Frama-c-discuss] jessie plugin
- From: nshmyrev at yandex.ru (Nickolay V. Shmyrev)
- [Frama-c-discuss] Generation of invariants
- From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
- [Frama-c-discuss] Dead code that shouldn't be
- From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
- [Frama-c-discuss] A few accessors...
- From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
- [Frama-c-discuss] Generation of invariants
- From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- [Frama-c-discuss] A few accessors...
- From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- [Frama-c-discuss] jessie plug-in
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] jessie plug-in
- From: benjamin.monate at cea.fr (Benjamin Monate)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 4
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 4
- From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 4
- From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 4
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] Generation of invariants
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 6
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] frama-c-discuss guidelines
- From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- [Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 6
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] A variation domain failed to be computed
- From: jcdemay at rennes.supelec.fr (Jonathan-Christofer Demay)
- [Frama-c-discuss] A variation domain failed to be computed
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] A variation domain failed to be computed
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] Logical annotations
- From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
- [Frama-c-discuss] Logical annotations
- From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
- [Frama-c-discuss] Logical annotations
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] Logical annotations
- From: Thomas.PAREAUD at astrium.eads.net (PAREAUD, Thomas)
- [Frama-c-discuss] Jessie plug-in
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] Jessie plug-in
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] A few (newbye) questions...
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Loop invariants
- From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
- [Frama-c-discuss] Loop invariants
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] Loop invariants
- From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
- [Frama-c-discuss] Jessie plug-in
- From: Emilie.Timbou at continental-corporation.com (Emilie.Timbou at continental-corporation.com)
- [Frama-c-discuss] Jessie plug-in
- From: nicolas.stouls at insa-lyon.fr (Nicolas Stouls)
- [Frama-c-discuss] usage of why-dp
- From: stephane.duprat at atosorigin.com (Stéphane DUPRAT)
- [Frama-c-discuss] usage of why-dp
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] usage of why-dp
- From: stephane.duprat at atosorigin.com (Stéphane DUPRAT)
- [Frama-c-discuss] usage of why-dp
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] A few (newbye) questions...
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] String results in logical specifications
- From: amdunn at gmail.com (Alan Dunn)
- [Frama-c-discuss] usage of why-dp
- From: stephane.duprat at atosorigin.com (Stéphane DUPRAT)
- [Frama-c-discuss] A few (newbye) questions...
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Supported features, Global invariants, and POs
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Supported features, Global invariants, and POs
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] Jessie-Plugin inconsistence between batch- and GUI-mode
- From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
- [Frama-c-discuss] Jessie-Plugin inconsistence between batch- and GUI-mode
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] Jessie-Plugin inconsistence between batch- andGUI-mode
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] Jessie-Plugin inconsistence between batch-and GUI-mode
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] Jessie-Plugin inconsistence between batch-andGUI-mode
- From: kerstin.hartig at first.fraunhofer.de (Kerstin Hartig)
- [Frama-c-discuss] postcondition of sqr function
- From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
- [Frama-c-discuss] postcondition of sqr function
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] Assigns clause on multidimensional arrays, assertion before return vs ensure clause
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Assigns clause on multidimensional arrays, assertion before return vs ensure clause
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] Assigns clause on multidimensional arrays, assertion before return vs ensure clause
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Assigns clause on multidimensional arrays, assertion before return vs ensure clause
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Loop invariants with imbricated loops.
- From: eric.jenn at fr.thalesgroup.com (JENN Eric)
- [Frama-c-discuss] Loop invariants with imbricated loops.
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] String results in logical specifications
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Loop invariants with imbricated loops.
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: Benjamin.MONATE at cea.fr (MONATE Benjamin 205998)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] do we need another mailing list?
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] do we need another mailing list?
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] do we need another mailing list?
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] String results in logical specifications
- From: amdunn at gmail.com (Alan Dunn)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] RE : Loop invariants with imbricated loops.
- From: dragan.stosic at gmail.com (Dragan)
- [Frama-c-discuss] Jessie and CHAR_MIN
- From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
- [Frama-c-discuss] Jessie and CHAR_MIN
- From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
- [Frama-c-discuss] A tentative FAQ...
- From: ejenn at free.fr (ejenn)
- [Frama-c-discuss] Jessie and CHAR_MIN
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] String results in logical specifications
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Jessie and CHAR_MIN
- From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
- [Frama-c-discuss] Jessie and CHAR_MIN
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] A tentative FAQ...
- From: virgile.prevosto at cea.fr (Virgile Prevosto)
- [Frama-c-discuss] Memory model
- From: F.S.P.Dupressoir at open.ac.uk (F.S.P.Dupressoir)
- [Frama-c-discuss] Memory model
- From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
- [Frama-c-discuss] Memory model
- From: f.s.p.dupressoir at open.ac.uk (Francois Dupressoir)
- [Frama-c-discuss] Memory model
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] Memory model
- From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
Mail converted by MHonArc