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 April 2016

• Main index
• Thread index for April 2016

---

• [Frama-c-discuss] invitation to try an alpha release of an Eclipse GUI for Frama-C
  • From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
• [Frama-c-discuss] Single (Trivial?) Assertion Not Verified -- What's Wrong?
  • From: pmsf at lia.ufc.br (Pablo M. S. Farias)
• [Frama-c-discuss] Single (Trivial?) Assertion Not Verified -- What's Wrong?
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Single (Trivial?) Assertion Not Verified -- What's Wrong?
  • From: pmsf at lia.ufc.br (Pablo M. S. Farias)
• [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
  • From: christophe.garion at isae-supaero.fr (Christophe Garion)
• [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Frama-C Day 2016 | Save The Date
  • From: lea-zaynah.dargaye at cea.fr (Zaynah Dargaye)
• [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
  • From: christophe.garion at isae-supaero.fr (Christophe Garion)
• [Frama-c-discuss] VC not the same when verifying function in isolation or in complete compilation unit
  • From: iguer.pro at gmail.com (Mohamed Iguernlala)
• [Frama-c-discuss] Blog resurrection
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] EJCP 2016 - Appel à participation
  • From: Jean-Christophe.Filliatre at lri.fr (Jean-Christophe Filliatre)
• [Frama-c-discuss] FMICS-AVoCS 2016: 2nd call for papers (extended dealine: May 2, 2016)
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] hint assertions and understanding cooperation between wp and value plugin
  • From: Maurice.Bremond at inria.fr (Maurice Bremond)
• [Frama-c-discuss] hint assertions and understanding cooperation between wp and value plugin
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] hint assertions and understanding cooperation between wp and value plugin
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] hint assertions and understanding cooperation between wp and value plugin
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Contract status dependences
  • From: gpajela at GradCenter.cuny.edu (Gilbert Pajela)
• [Frama-c-discuss] hint assertions and understanding cooperation between wp and value plugin
  • From: Maurice.Bremond at inria.fr (Maurice Bremond)

---

Mail converted by MHonArc