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 August 2013

• Main index
• Thread index for August 2013

---

• [Frama-c-discuss] WP (v <= INT32_MIN) causing Inconsistent assumptions
  • From: barries at slaysys.com (Barrie Slaymaker)
• [Frama-c-discuss] WP (v == INT32_MIN) causing "Have: 0 < 0."?
  • From: barries at slaysys.com (Barrie Slaymaker)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: Pierre-Loic.Garoche at onera.fr (Pierre-Loïc Garoche)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 63, Issue 2
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: Pierre-Loic.Garoche at onera.fr (Pierre-Loïc Garoche)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 63, Issue 2
  • From: Pierre-Loic.Garoche at onera.fr (Pierre-Loïc Garoche)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: Pierre-Loic.Garoche at onera.fr (Pierre-Loïc Garoche)
• [Frama-c-discuss] ACSL, globals and ghosts
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Runtime problem on ARM
  • From: loganjerry at gmail.com (Jerry James)
• [Frama-c-discuss] Runtime problem on ARM
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Runtime problem on ARM
  • From: loganjerry at gmail.com (Jerry James)
• [Frama-c-discuss] Runtime problem on ARM
  • From: loganjerry at gmail.com (Jerry James)
• [Frama-c-discuss] Value Analysis
  • From: lucboluc at gmail.com (Lucas Barbosa)
• [Frama-c-discuss] frama-C Fluorine + jessie
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] Value Analysis
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Fluorine
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Fluorine
  • From: guillaume.melquiond at inria.fr (Guillaume Melquiond)
• [Frama-c-discuss] frama-C Fluorine + jessie
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] installing Fluorine
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] frama-C Fluorine + jessie
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] frama-C Fluorine + jessie
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] installing Fluorine
  • From: bagnara at cs.unipr.it (Roberto Bagnara)
• [Frama-c-discuss] frama-C Fluorine + jessie
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] installing Fluorine
  • From: francois.bobot at cea.fr (François Bobot)
• [Frama-c-discuss] installing Fluorine
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Fluorine
  • From: bagnara at cs.unipr.it (Roberto Bagnara)
• [Frama-c-discuss] [Jessie] loop invariant
  • From: rovedy at ig.com.br (Rovedy Aparecida Busquim e Silva)
• [Frama-c-discuss] [Jessie] loop invariant
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] [Jessie] loop invariant
  • From: rovedy at ig.com.br (Rovedy Aparecida Busquim e Silva)
• [Frama-c-discuss] plugin incompatible with Fluorine
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] installing Fluorine
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] Rép: Re: installing Fluorine
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] Rép: Re: installing Fluorine
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Fluorine
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] [Jessie] loop invariant
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] installing Fluorine
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installing Frama-C on OS X
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] Use frama-c with Jessie to analyze multiple files
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] Use frama-c with Jessie to analyze multiple files
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Use frama-c with Jessie to analyze multiple files
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] RE : plugin incompatible with Fluorine
  • From: julien.signoles at cea.fr (SIGNOLES Julien)
• [Frama-c-discuss] installing Fluorine
  • From: francois.bobot at cea.fr (François Bobot)
• [Frama-c-discuss] RE : plugin incompatible with Fluorine
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] RE : RE : plugin incompatible with Fluorine
  • From: julien.signoles at cea.fr (SIGNOLES Julien)
• [Frama-c-discuss] RE : RE : plugin incompatible with Fluorine
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] Use frama-c with Jessie to analyze multiple files
  • From: richard.bonichon at gmail.com (Richard Bonichon)
• [Frama-c-discuss] Use frama-c with Jessie to analyze multiple files
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] RE : RE : RE : plugin incompatible with Fluorine
  • From: julien.signoles at cea.fr (SIGNOLES Julien)
• [Frama-c-discuss] missing gui when installing with macports and opam
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] missing gui when installing with macports and opam
  • From: ismael.vb at gmail.com (Ismael Vilas Boas)
• [Frama-c-discuss] missing gui when installing with macports and opam
  • From: agoodloe at gmail.com (Alwyn Goodloe)
• [Frama-c-discuss] installing Frama-C on OS X
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] RE : RE : RE : plugin incompatible with Fluorine
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] installing Frama-C on OS X
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] Could I determine whether a function is unsupported-function (such as: scanf, fscanf, sprintf, snprintf) by using the API?
  • From: abiao.yang at gmail.com (Yibiao Yang)
• [Frama-c-discuss] installation on Ubuntu
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installation on Ubuntu
  • From: cs.yang.yibiao at gmail.com (Yibiao Yang)
• [Frama-c-discuss] installation on Ubuntu
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] installing Frama-C on OS X
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] installation on Ubuntu
  • From: richard.bonichon at gmail.com (Richard Bonichon)
• [Frama-c-discuss] installation on Ubuntu
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] installation on Ubuntu
  • From: anne.pacalet at free.fr (Anne Pacalet)
• [Frama-c-discuss] installation on Ubuntu
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] installation on Ubuntu
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Could I determine whether a function is unsupported-function (such as: scanf, fscanf, sprintf, snprintf) by using the API?
  • From: abiao.yang at gmail.com (David)
• [Frama-c-discuss] Proving a simple property on bitshift with WP
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Proving a simple property on bitshift with WP
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Any frama-c APIs for the metrics plugin ?
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] Any frama-c APIs for the metrics plugin ?
  • From: richard.bonichon at gmail.com (Richard Bonichon)
• [Frama-c-discuss] Proving a simple property on bitshift with WP
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Proving a simple property on bitshift with WP
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Proving a simple property on bitshift with WP
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Any frama-c APIs for the metrics plugin ?
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] wp vs. jessie?
  • From: siegel at udel.edu (Stephen Siegel)
• [Frama-c-discuss] wp vs. jessie?
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] wp vs. jessie?
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] installation on Ubuntu
  • From: jorge.adriano at gmail.com (Jorge Adriano Branco Aires)

---

Mail converted by MHonArc