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 2017

• Main index
• Thread index for April 2017

---

• [Frama-c-discuss] Value analysis loss of precision with bitwise XOR
  • From: sergio.feo at gmail.com (Sergio Feo)
• [Frama-c-discuss] Value analysis: resulting intervals after loop
  • From: sergio.feo at gmail.com (Sergio Feo)
• [Frama-c-discuss] Value analysis: resulting intervals after loop
  • From: matthieu.lemerre at cea.fr (Matthieu Lemerre)
• [Frama-c-discuss] Value analysis loss of precision with bitwise XOR
  • From: matthieu.lemerre at cea.fr (Matthieu Lemerre)
• [Frama-c-discuss] frama-c version about frama-clang
  • From: wlxie2000 at 163.com (谢文龙)
• [Frama-c-discuss] Value analysis loss of precision with bitwise XOR
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] New Frama-Clang version
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic
  • From: efremov at ispras.ru (Denis Efremov)
• [Frama-c-discuss] Frama-C & SPARK Day: Formal Analysis and Proof for Programs in C and Ada, 30 May 2017 - Call for participation
  • From: nikolay.kosmatov at cea.fr (Nikolai Kosmatov)
• [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic (Denis Efremov)
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
• [Frama-c-discuss] VSTTE 2017 - Second Call for Papers
  • From: andrei.paskevich at lri.fr (Andrei Paskevich)
• [Frama-c-discuss] Frama-C 15 Phosphorus beta1
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] VSTTE 2017 - Deadline Extension
  • From: andrei.paskevich at lri.fr (Andrei Paskevich)

---

Mail converted by MHonArc