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 October 2013

---

• [Frama-c-discuss] New version of Jessie, Claude Marché
  • [Frama-c-discuss] New version of Jessie, Rovedy Aparecida Busquim e Silva
• [Frama-c-discuss] Printing all global variables of a set of C files?, David MENTRE
• [Frama-c-discuss] [Jessie] Assert clause not proved, Rovedy Aparecida Busquim e Silva
  • [Frama-c-discuss] [Jessie] Assert clause not proved, Guillaume Melquiond
    • [Frama-c-discuss] [Jessie] Assert clause not proved, Claude Marché
      • Message not available
      • [Frama-c-discuss] [Jessie] Assert clause not proved, Nanci Naomi
      • [Frama-c-discuss] [Jessie] Assert clause not proved, Claude Marché
      • [Frama-c-discuss] [Jessie] Assert clause not proved, Nanci Naomi
  • [Frama-c-discuss] [Jessie] Assert clause not proved, Eugene Kornykhin
• [Frama-c-discuss] Argumentos do main VS Ferramentas Estaticas, Lucas Barbosa
  • [Frama-c-discuss] Argumentos do main VS Ferramentas Estaticas, Ismael Vilas Boas
    • [Frama-c-discuss] Argumentos do main VS Ferramentas Estaticas, Julien Signoles
• [Frama-c-discuss] z3 failure, Stephen Siegel
  • [Frama-c-discuss] z3 failure, Eugene Kornykhin
  • [Frama-c-discuss] z3 failure, Pascal Cuoq
    • [Frama-c-discuss] z3 failure, Claude Marché
      • [Frama-c-discuss] z3 failure, Pascal Cuoq
      • [Frama-c-discuss] z3 failure, Guillaume Melquiond
      • [Frama-c-discuss] z3 failure, Stephen Siegel
      • [Frama-c-discuss] z3 failure, Claude Marche
      • Message not available
      • [Frama-c-discuss] [Why3-club] z3 failure, Claude Marché
      • Message not available
      • [Frama-c-discuss] [Why3-club] z3 failure, Claude Marché
      • [Frama-c-discuss] full IEEE754 model in Jessie, Claude Marché
  • [Frama-c-discuss] z3 failure, Claude Marché
• [Frama-c-discuss] Mac install, Stephen Siegel
  • [Frama-c-discuss] Mac install, Nanci Naomi
    • [Frama-c-discuss] Mac install, Stephen Siegel
      • [Frama-c-discuss] Mac install, Claude Marché
      • [Frama-c-discuss] Mac install, Stephen Siegel
    • [Frama-c-discuss] Mac install, Mohamed Iguernelala
  • <Possible follow-ups>
  • [Frama-c-discuss] Mac install, Gerlach, Jens
    • [Frama-c-discuss] Mac install, Stephen Siegel
• [Frama-c-discuss] How to speed up computing Pdg for a specific kernel function ?, David Yang
  • [Frama-c-discuss] How to speed up computing Pdg for a specific kernel function ?, Boris Yakobowski
    • [Frama-c-discuss] How to speed up computing Pdg for a specific kernel function ?, David Yang
      • [Frama-c-discuss] How to speed up computing Pdg for a specific kernel function ?, Boris Yakobowski
      • [Frama-c-discuss] How to speed up computing Pdg for a specific kernel function ?, David Yang
• [Frama-c-discuss] examples, Stephen Siegel
  • [Frama-c-discuss] examples, Claude Marché
    • [Frama-c-discuss] examples, Claude Marché
    • [Frama-c-discuss] examples, Stephen Siegel
      • [Frama-c-discuss] examples, Claude Marche
• [Frama-c-discuss] new GWhy - statistics, Nanci Naomi
  • [Frama-c-discuss] new GWhy - statistics, Claude Marché
• [Frama-c-discuss] euklid.c, Stephen Siegel
  • [Frama-c-discuss] euklid.c, Claude Marché
    • [Frama-c-discuss] euklid.c, Stephen Siegel
      • [Frama-c-discuss] euklid.c, Nanci Naomi
      • [Frama-c-discuss] euklid.c, Stephen Siegel
      • [Frama-c-discuss] euklid.c, Stephen Siegel
• [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, David Yang
  • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, David MENTRE
    • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, David Yang
      • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, Boris Yakobowski
      • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, David Yang
      • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, Pascal Cuoq
      • [Frama-c-discuss] about volatile variable in value analysis plugin and "Volatile" plugin, David Yang
• [Frama-c-discuss] value analysis of function contain shift operations seems unable to stop, David Yang
  • [Frama-c-discuss] value analysis of function contain shift operations seems unable to stop, Boris Yakobowski
    • [Frama-c-discuss] value analysis of function contain shift operations seems unable to stop, David Yang
• [Frama-c-discuss] [FEATURE REQUEST] Context insensitive for Value analysis plugin, Yibiao Yang
  • [Frama-c-discuss] [FEATURE REQUEST] Context insensitive for Value analysis plugin, Yibiao Yang
• [Frama-c-discuss] Jessie plugin - more than 6,000 VCs generated, Nanci Naomi
  • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, David MENTRE
    • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Claude Marché
    • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Nanci Naomi
      • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, David MENTRE
      • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, François Bobot
      • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Yannick Moy
      • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Nanci Naomi
  • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Guillaume Melquiond
  • [Frama-c-discuss] Jessie plugin - more than 6, 000 VCs generated, Claude Marché
• [Frama-c-discuss] Problems with Nitrogen/Fluorine, Alessio Iotti
  • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Guillaume Melquiond
    • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Alessio Iotti
      • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Virgile Prevosto
      • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Alessio Iotti
      • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Virgile Prevosto
      • [Frama-c-discuss] Problems with Nitrogen/Fluorine, Alessio Iotti
• [Frama-c-discuss] [value analysis] calls the system library function abort or exit will result in NON TERMINATING FUNCTION. Why?, David Yang
  • [Frama-c-discuss] [value analysis] calls the system library function abort or exit will result in NON TERMINATING FUNCTION. Why?, David MENTRE
    • [Frama-c-discuss] [value analysis] calls the system library function abort or exit will result in NON TERMINATING FUNCTION. Why?, David Yang
  • <Possible follow-ups>
  • [Frama-c-discuss] [value analysis] calls the system library function abort or exit will result in NON TERMINATING FUNCTION. Why?, Boris Yakobowski
    • [Frama-c-discuss] [value analysis] calls the system library function abort or exit will result in NON TERMINATING FUNCTION. Why?, David Yang
• [Frama-c-discuss] Array problem - Jessie plugin, Luciana Burgareli
  • [Frama-c-discuss] Array problem - Jessie plugin, Eugene Kornykhin
    • [Frama-c-discuss] Array problem - Jessie plugin, Luciana Burgareli
  • [Frama-c-discuss] Array problem - Jessie plugin, Claude Marche
    • [Frama-c-discuss] Array problem - Jessie plugin, Luciana Burgareli
• [Frama-c-discuss] how does Frama-C infer missing invariants?, Stephen Siegel
  • [Frama-c-discuss] how does Frama-C infer missing invariants?, Yannick Moy
    • [Frama-c-discuss] how does Frama-C infer missing invariants?, Stephen Siegel
      • [Frama-c-discuss] How Jessie plug-in handles aliasing of pointers, Yannick Moy
• [Frama-c-discuss] Verification conditions left unproven by automatic prover, Xiao-lei Cui
  • [Frama-c-discuss] Verification conditions left unproven by automatic prover, Claude Marche
    • [Frama-c-discuss] Verification conditions left unproven by automatic prover, Xiao-lei Cui
• [Frama-c-discuss] Frama-c - wp on Windows/Cygwin, David Cok
• [Frama-c-discuss] Problems with ensures, Alessio Iotti
  • [Frama-c-discuss] Problems with ensures, Virgile Prevosto
• [Frama-c-discuss] sums of arrays, Stephen Siegel
• [Frama-c-discuss] label L required?, Stephen Siegel

---

Mail converted by MHonArc