---
layout: fc_discuss_archives
title: Old Frama-C mailing list archives for August 2013
---
Old Frama-C mailing list archives 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