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 March 2015

• Main index
• Thread index for March 2015

---

• [Frama-c-discuss] Verification of linked list
  • From: wenrui at seas.upenn.edu (Wenrui Meng)
• [Frama-c-discuss] Verification of linked list
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Verification of linked list
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Verification of linked list
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Verification of linked list
  • From: wenrui at seas.upenn.edu (Wenrui Meng)
• [Frama-c-discuss] Frama-c-discuss Digest, Vol 82, Issue 1
  • From: nicolas.marti.japon at gmail.com (Nicolas Marti)
• [Frama-c-discuss] Verification of linked list
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] fact proof
  • From: fritjof at alokat.org (Fritjof Bornebusch)
• [Frama-c-discuss] WP and type casting
  • From: fniksic at mpi-sws.org (Filip Niksic)
• [Frama-c-discuss] WP and type casting
  • From: cristiano.sousa126 at gmail.com (Cristiano Sousa)
• [Frama-c-discuss] WP and type casting
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] fact proof
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] Sodium release
  • From: francois.bobot at cea.fr (François Bobot)
• [Frama-c-discuss] Standard C library specifications in the wild
  • From: androlivem at gmail.com (Andre Oliveira)
• [Frama-c-discuss] Astraver Toolset 1.0
  • From: khoroshilov at ispras.ru (Alexey Khoroshilov)
• [Frama-c-discuss] "ACSL by Example" for Sodium
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Standard C library specifications in the wild
  • From: dcok at grammatech.com (David R. Cok)
• [Frama-c-discuss] Standard C library specifications in the wild
  • From: cristiano.sousa126 at gmail.com (Cristiano Sousa)
• [Frama-c-discuss] F-IDE 2015: Call for papers (FM2015 Workshop)
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] New release Jessie/Why 2.35
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Microsoft Z3 MIT licensed now
  • From: gmaxwell at gmail.com (Gregory Maxwell)
• [Frama-c-discuss] Microsoft Z3 MIT licensed now
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] existential variables in ACSL spec in Frama-C/WP Sodium
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] existential variables in ACSL spec in Frama-C/WP Sodium
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] recursive function int overflow
  • From: fritjof at alokat.org (Fritjof Bornebusch)
• [Frama-c-discuss] recursive function int overflow
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] inline expansion of inline function
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] inline expansion of inline function
  • From: benjamin.monate at trust-in-soft.com (Benjamin Monate)
• [Frama-c-discuss] inline expansion of inline function
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] recursive function int overflow
  • From: fritjof at alokat.org (Fritjof Bornebusch)
• [Frama-c-discuss] inline expansion of inline function
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] existential variables in ACSL spec in Frama-C/WP Sodium
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)

---

Mail converted by MHonArc