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 (by thread)

• Main index
• Date index for April 2017

---

• [Frama-c-discuss] Value analysis loss of precision with bitwise XOR, Sergio Feo
  • [Frama-c-discuss] Value analysis loss of precision with bitwise XOR, Matthieu Lemerre
    • [Frama-c-discuss] Value analysis loss of precision with bitwise XOR, Boris Yakobowski
• [Frama-c-discuss] Value analysis: resulting intervals after loop, Sergio Feo
  • [Frama-c-discuss] Value analysis: resulting intervals after loop, Matthieu Lemerre
• [Frama-c-discuss] frama-c version about frama-clang, 谢文龙
• [Frama-c-discuss] New Frama-Clang version, Virgile Prevosto
• [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic, 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, Nikolai Kosmatov
• [Frama-c-discuss] ACSL by Example: contradiction in Count axiomatic (Denis Efremov), Gerlach, Jens
• [Frama-c-discuss] VSTTE 2017 - Second Call for Papers, Andrei Paskevich
• [Frama-c-discuss] Frama-C 15 Phosphorus beta1, Virgile Prevosto
• [Frama-c-discuss] VSTTE 2017 - Deadline Extension, Andrei Paskevich

---

Mail converted by MHonArc