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 July 2010

• Main index
• Thread index for July 2010

---

• [Frama-c-discuss] newbie Jessie config question
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] newbie Jessie config question
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] questions after attempting to use jessie on a matrix library
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] questions after attempting to use jessie on a matrix library
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] questions after attempting to use jessie on a matrix library
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] *p and p[0]
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] *p and p[0]
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] *p and p[0]
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] *p and p[0]
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] *p and p[0]
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Type invariants
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Problem with loop invariant
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] questions after attempting to use jessie on a matrix library
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] *p and p[0]
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] *p and p[0]
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Difference between default and user-defined behavior
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] gWhy: Live update and Cache
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Problem with loop invariant
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] *p and p[0]
  • From: tzuhsiang.chien at gmail.com (Logan Chien)
• [Frama-c-discuss] [Fwd: FM 2011: 17th International Symposium on Formal Methods]
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Distiction between int a[] and int *a
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] Pointer problem with nested objects
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] *p and p[0]
  • From: tzuhsiang.chien at gmail.com (Logan Chien)
• [Frama-c-discuss] Frama-C can't detect "Undefined side-effects in expressions"
  • From: eric.liu at uniquesoft.com (Eric Liu)
• [Frama-c-discuss] Frama-C can't detect "Undefined side-effects in expressions"
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Fwd: TR: Pointer problem with nested objects
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] frama-c with cygwin
  • From: simonfuller9 at gmail.com (Simon Fuller)
• [Frama-c-discuss] Floating-point NaN Detection
  • From: eric.liu at uniquesoft.com (Eric Liu)
• [Frama-c-discuss] Floating-point NaN Detection
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] frama-c with cygwin
  • From: ricardoalmeida1985 at gmail.com (Ricardo Almeida)
• [Frama-c-discuss] frama-c with cygwin
  • From: simonfuller9 at gmail.com (Simon Fuller)
• [Frama-c-discuss] frama-c with cygwin
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] frama-c with cygwin
  • From: simonfuller9 at gmail.com (Simon Fuller)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 26, Issue 11
  • From: armand.puccetti at cea.fr (PUCCETTI Armand)
• [Frama-c-discuss] JFLA 2011 : 1er appel aux communications
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] small function yields 7K proof obligations??
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] small function yields 7K proof obligations??
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] three newbie questions
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] three newbie questions
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] three newbie questions
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] AUTO: R Metta is out of the office (returning 01-08-2010)
  • From: r.metta at tcs.com (R Metta)
• [Frama-c-discuss] three newbie questions
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
• [Frama-c-discuss] three newbie questions
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] ubuntu build issue
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] frama-c install help
  • From: coq504 at 126.com (coq504)
• [Frama-c-discuss] frama-c install help
  • From: richard.bonichon at gmail.com (Richard Bonichon)
• [Frama-c-discuss] ubuntu build issue
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] how to install frama-c properly（1）
  • From: coq504 at 126.com (coq504)
• [Frama-c-discuss] how to install frama-c properly（1）
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] valid range of arrays within structures
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] Reduce number of Postconditions with assert
  • From: michaelschausten at googlemail.com (Michael Schausten)
• [Frama-c-discuss] Reduce number of Postconditions with assert
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] arrays in structures
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] how to deal with malloc in frama-c (boron)
  • From: magaud at unistra.fr (Nicolas Magaud)
• [Frama-c-discuss] how to deal with malloc in frama-c (boron)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] how to deal with malloc in frama-c (boron)
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] how to deal with malloc in frama-c (boron)
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)

---

Mail converted by MHonArc