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

• Main index
• Thread index for February 2010

---

• Sans objet
  • From: bogus@does.not.exist.com ()
• [Frama-c-discuss] Arithmetics in finite fields
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Arithmetics in finite fields
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Arithmetics in finite fields
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Question regarding frama-c/jessie
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Verifications of calls to unannotated functions
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] context sensitive points-to analysis
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] context sensitive points-to analysis
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 21, Issue 3
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 21, Issue 3
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 21, Issue 3
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Understanding slicing results
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Understanding slicing results
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] on context sensitive points-to analysis
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 21, Issue 6
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] [Frama-c-discus] on context sensitive points-to analysis
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] on context sensitive points-to analysis
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] on context sensitive points-to analysis
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] possible bug in bitwise operators and jessie
  • From: dak at adelard.com (Damien Karkinsky)
• [Frama-c-discuss] possible bug in bitwise operators and jessie
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] possible bug in bitwise operators and jessie
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] possible bug in bitwise operators and jessie
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] BMBF & ANR Sponsored: Industrial Survey for Critical Embedded Software
  • From: juan.soto at first.fraunhofer.de (Juan Soto)
• [Frama-c-discuss] Installation in Mac OS X Snow Leopard
  • From: jroberto1980 at gmail.com (João Roberto)
• [Frama-c-discuss] Installation in Mac OS X Snow Leopard
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Installation in Mac OS X Snow Leopard
  • From: dak at adelard.com (Damien Karkinsky)
• [Frama-c-discuss] Generate Coq file using Frama-c / Why
  • From: barbaraisabelvieira at gmail.com (Barbara Vieira)
• [Frama-c-discuss] [Why-discuss] Generate Coq file using Frama-c / Why
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] [Why-discuss] Generate Coq file using Frama-c / Why
  • From: barbaraisabelvieira at gmail.com (Barbara Vieira)
• [Frama-c-discuss] [Why-discuss] Generate Coq file using Frama-c / Why
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Acsl implicit cast Enumeration - integer
  • From: victoria.moyalamiel at atosorigin.com (Victoria MOYA LAMIEL)
• [Frama-c-discuss] [Why-discuss] Generate Coq file using Frama-c / Why
  • From: barbaraisabelvieira at gmail.com (Barbara Vieira)
• [Frama-c-discuss] Problem in download
  • From: andrebritopassos at gmail.com (Andre Passos)
• [Frama-c-discuss] Problem in download
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Problem in download
  • From: andrebritopassos at gmail.com (Andre Passos)
• [Frama-c-discuss] Acsl implicit cast Enumeration - integer
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: apiccianoit at yahoo.it (Antonio Picciano)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: apiccianoit at yahoo.it (Antonio Picciano)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: apiccianoit at yahoo.it (Antonio Picciano)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Problems in downloading Windows binary installer of Frama-c
  • From: apiccianoit at yahoo.it (Antonio Picciano)
• [Frama-c-discuss] FreeBSD build failure
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 2/4] test == is a GNU extension, use =
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 3/4] Remove leftover == usage
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 4/4] Remove uses of == in share/configure.ac
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: richard.bonichon at gmail.com (Richard Bonichon)
• [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] bsd/gmake in Jessie (was: Check for gmake)
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] bsd/gmake in Jessie (was: Check for gmake)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] bsd/gmake in Jessie (was: Check for gmake)
  • From: fr.inria.gforge.lists at coreland.ath.cx (fr.inria.gforge.lists at coreland.ath.cx)
• [Frama-c-discuss] bsd/gmake in Jessie (was: Check for gmake)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)

---

Mail converted by MHonArc