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

• Main index
• Thread index for December 2013

---

• [Frama-c-discuss] Is there any plan for the new release of frama-c?
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] Is there any plan for the new release of frama-c?
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] issues with the ACSL Post label
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] problem with \strlen and \offset constructs
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] Call for papers: F-IDE workshop at ETAPS
  • From: Claude.Marche at inria.fr (Claude Marché)
• [Frama-c-discuss] frama-c-manual-Lithium-en.pdf Wanted!!
  • From: alfchen at umich.edu (Qi Alfred Chen)
• [Frama-c-discuss] frama-c-manual-Lithium-en.pdf Wanted!!
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] frama-c-manual-Lithium-en.pdf Wanted!!
  • From: alfchen at umich.edu (Qi Alfred Chen)
• [Frama-c-discuss] Cannot load plugin into Frama-c-Lithium
  • From: alfchen at umich.edu (Qi Alfred Chen)
• [Frama-c-discuss] Cannot load plugin into Frama-c-Lithium
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] How to write assign for void* type argument of a function
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] How to write assign for void* type argument of a function
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] How to write assign for void* type argument of a function
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] difference between specifying side effects for value analysis in two different ways
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] difference between specifying side effects for value analysis in two different ways
  • From: kahl at cas.mcmaster.ca (Wolfram Kahl)
• [Frama-c-discuss] difference between specifying side effects for value analysis in two different ways
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] [wp] invoke provers from command line
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] [wp] type conversion check is less strict than Jessie?
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] [wp] invoke provers from command line
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] JFLA14 - Dernier appel à participation
  • From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)
• [Frama-c-discuss] RE : [wp] type conversion check is less strict than Jessie?
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: Guillaume.PETIOT at cea.fr (PETIOT Guillaume)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] RE : [wp] type conversion check is less strict than Jessie?
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] RE : RE : [wp] type conversion check is less strict than Jessie?
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] how to modify stmt in AST by using a visitor
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Call for Papers: CSTVA'14 6th International workshop on Constraints in Software Testing, Verification and Analysis
  • From: nicky.williams at cea.fr (Nicky Williams)
• [Frama-c-discuss] RE : ACSL annotation for making function calls
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: x_cui at hotmail.com (Xiao-lei Cui)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] ACSL annotation for making function calls
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Behaviour allowing to prove 1==2
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] New Version of "ACSL by Example" for Frama-C Fluorine
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] New Version of "ACSL by Example" for Frama-C Fluorine
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Is there any difference between "assigns \result \from \nothing" and "assigns \nothing"
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] Is there any difference between "assigns \result \from \nothing" and "assigns \nothing"
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Is there any difference between "assigns \result \from \nothing" and "assigns \nothing"
  • From: abiao.yang at gmail.com (David Yang)
• [Frama-c-discuss] RE : New Version of "ACSL by Example" for Frama-C Fluorine
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] RE : Behaviour allowing to prove 1==2
  • From: loic.correnson at cea.fr (CORRENSON Loic 218851)
• [Frama-c-discuss] RE : Behaviour allowing to prove 1==2
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] New Version of "ACSL by Example" for Frama-C Fluorine
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] New Version of "ACSL by Example" for Frama-C Fluorine
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)

---

Mail converted by MHonArc