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 2014

• Main index
• Thread index for February 2014

---

• [Frama-c-discuss] WP question
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] WP question
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Checking for side-effects
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Checking for side-effects
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Checking for side-effects
  • From: dcok at grammatech.com (David Cok)
• [Frama-c-discuss] Checking for side-effects
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Checking for side-effects
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Checking for side-effects
  • From: dcok at grammatech.com (David Cok)
• [Frama-c-discuss] Checking for side-effects
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] WP: Pointer issue?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] State-based contracts in ACSL?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] State-based contracts in ACSL?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] OCaml 2014 - Call for Presentations
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] WP: Pointer issue?
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] WP: Pointer issue?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] WP: Pointer issue?
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] WP: Predicate not taking constraints from requires?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] WP: requires doubt
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] WP: Predicate not taking constraints from requires?
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] WP: requires doubt
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] WP: requires doubt
  • From: francois.bobot at cea.fr (François Bobot)
• [Frama-c-discuss] How to re-run command-line analyses?
  • From: kahl at cas.mcmaster.ca (Wolfram Kahl)
• [Frama-c-discuss] verification of enum safety
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] State-based contracts in ACSL?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] How to re-run command-line analyses?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] State-based contracts in ACSL?
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] verification of enum safety
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] CFP: VSTTE 2014
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
• [Frama-c-discuss] State-based contracts in ACSL?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] inductive annotations on list structure
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: mohamed.iguernelala at ocamlpro.com (Mohamed Iguernelala)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: mohamed.iguernelala at ocamlpro.com (Mohamed Iguernelala)
• [Frama-c-discuss] multiple behaviors in statement contracts
  • From: jobredeaux at gatech.edu (Jobredeaux, Romain J)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: moy at adacore.com (Yannick Moy)
• [Frama-c-discuss] multiple behaviors in statement contracts
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] Frama-c: WP issues with Alt-Ergo (but works with Z3)
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] [frama-c-discuss] Is it possible to run jessie without gui?
  • From: maria.christofis at gmail.com (Maria Christofi)
• [Frama-c-discuss] requires fail in WP plugin?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] multiple behaviors in statement contracts
  • From: jobredeaux at gatech.edu (Jobredeaux, Romain J)
• [Frama-c-discuss] multiple behaviors in statement contracts
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Casting puzzle - unproved?
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] ocaml cannot allocate memory
  • From: dganesan at fc-md.umd.edu (Dharmalingam Ganesan)
• [Frama-c-discuss] How to annotate list structure in ACSL
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] Uncaught exception: Invalid_argument("equal: abstract value")
  • From: Xingyu.Zhao.1 at city.ac.uk (Zhao, Xingyu)
• [Frama-c-discuss] Uncaught exception: Invalid_argument("equal: abstract value")
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Uncaught exception: Invalid_argument("equal: abstract value")
  • From: Xingyu.Zhao.1 at city.ac.uk (Zhao, Xingyu)

---

Mail converted by MHonArc