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 January 2020

• Main index
• Thread index for January 2020

---

• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: benjamin at nauck.se (Benjamin Nauck)
• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: benjamin.nauck at gmail.com (Benjamin Nauck)
• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] [frama-clang] Error compiling convert.ml on OSX10.14 with LLVM8.0.1/ocaml 4.06.0
  • From: jeremy.odonoghue at gmail.com (Jeremy O'Donoghue)
• [Frama-c-discuss] Come hang out on IRC! #frama-c @ freenode
  • From: tjoppen at acc.umu.se (Tomas Härdin)
• [Frama-c-discuss] Strange results when verifying bitshifts using frama-c v19.1 with z3
  • From: benjamin at nauck.se (Benjamin Nauck)
• [Frama-c-discuss] 'frama-c -wp-msg-key help'
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] 'frama-c -wp-msg-key help'
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Tutorial: Introduction to C program proof with Frama-C and its WP plugin
  • From: mail at allan-blanchard.fr (mail at allan-blanchard.fr)
• [Frama-c-discuss] Lemma Selection
  • From: abakst at galois.com (Alexander Bakst)
• [Frama-c-discuss] Lemma Selection
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Lemma Selection
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Lemma Selection
  • From: abakst at galois.com (Alexander Bakst)
• [Frama-c-discuss] Lemma Selection
  • From: loic.correnson at cea.fr (Loïc Correnson)
• [Frama-c-discuss] Lemma Selection
  • From: abakst at galois.com (Alexander Bakst)
• [Frama-c-discuss] Is it possible to use tsets returned by logic functions in assigns?
  • From: tjoppen at acc.umu.se (Tomas Härdin)
• [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
  • From: falibert at gmail.com (Francois Alibert)
• [Frama-c-discuss] Lemma instantiation
  • From: abakst at galois.com (Alexander Bakst)
• [Frama-c-discuss] How to install Frama-C 20.0 Calcium on Windows 7
  • From: Andre.MARONEZE at cea.fr (Andre Maroneze)
• [Frama-c-discuss] Lemma instantiation
  • From: abakst at galois.com (Alexander Bakst)
• [Frama-c-discuss] Is it possible to define polymorphic axioms? memcpy etc
  • From: tjoppen at acc.umu.se (Tomas Härdin)

---

Mail converted by MHonArc