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

---

• [Frama-c-discuss] Frama-C compilation: questions on APRON, test error and missing plugin?, David MENTRE
• No subject,
  • <Possible follow-ups>
  • No subject,
• [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
  • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, Claude Marché
    • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, Virgile Prevosto
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, Claude Marché
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
      • [Frama-c-discuss] Best approach when specifying regular C functions from stdlib?, David MENTRE
• [Frama-c-discuss] Issue with non terminating function, David MENTRE
  • [Frama-c-discuss] Issue with non terminating function, Guillaume Melquiond
    • [Frama-c-discuss] Issue with non terminating function, David MENTRE
      • [Frama-c-discuss] Issue with non terminating function, Pascal Cuoq
• [Frama-c-discuss] [Jessie] Issue with behavior in contracts, David MENTRE
  • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, David MENTRE
    • [Frama-c-discuss] RE : [Jessie] Issue with behavior in contracts, PREVOSTO Virgile
    • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, Claude Marché
      • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, Nickolay V. Shmyrev
  • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, Claude Marché
    • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, David MENTRE
      • [Frama-c-discuss] [Jessie] Issue with behavior in contracts, David MENTRE
• [Frama-c-discuss] [Jessie] Issue with offset in static strings, David MENTRE
• [Frama-c-discuss] extracting information from jessie-gui, Christoph Weber
• [Frama-c-discuss] Issue with modulo over unsigned int, David MENTRE
• [Frama-c-discuss] an example involving floats, David DELMAS
  • [Frama-c-discuss] an example involving floats, Claude Marché
• [Frama-c-discuss] Jessie regions, Christoph Weber
  • [Frama-c-discuss] Jessie regions, CUOQ Pascal
    • [Frama-c-discuss] Jessie regions, Christoph Weber
• [Frama-c-discuss] Saving state of gWhy and reloading it later?, David MENTRE
• [Frama-c-discuss] Frama-c fails to open a C file, Jonathan-Christofer Demay
  • [Frama-c-discuss] Frama-c fails to open a C file, Pascal Cuoq
  • [Frama-c-discuss] Frama-c fails to open a C file, Jonathan-Christofer Demay
• [Frama-c-discuss] Verifying recursive functions, Hollas Boris (CR/AEY1)
  • [Frama-c-discuss] Verifying recursive functions, Jens Gerlach
    • [Frama-c-discuss] Verifying recursive functions, Claude Marché
  • [Frama-c-discuss] Verifying recursive functions, Claude Marché
  • <Possible follow-ups>
  • [Frama-c-discuss] Verifying recursive functions, Hollas Boris (CR/AEY1)
    • [Frama-c-discuss] Verifying recursive functions, Pascal Cuoq
      • [Frama-c-discuss] Verifying recursive functions, Claude Marché
      • [Frama-c-discuss] Verifying recursive functions, Hollas Boris (CR/AEY1)
      • [Frama-c-discuss] Verifying recursive functions, CUOQ Pascal
      • [Frama-c-discuss] Verifying recursive functions, Claude Marché
      • [Frama-c-discuss] Verifying recursive functions, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] Getting a node from its id for a particular pdg, Jonathan-Christofer Demay
  • [Frama-c-discuss] Getting a node from its id for a particular pdg, Anne Pacalet
    • [Frama-c-discuss] Getting a node from its id for a particular pdg, Julien SIGNOLES
    • [Frama-c-discuss] Getting a node from its id for a particular pdg, Jonathan-Christofer Demay
      • [Frama-c-discuss] Getting a node from its id for a particular pdg, Anne Pacalet
      • [Frama-c-discuss] Getting a node from its id for a particular pdg, Anne Pacalet
      • [Frama-c-discuss] Getting a node from its id for a particular pdg, Jonathan-Christofer Demay
      • [Frama-c-discuss] Getting a node from its id for a particular pdg, Pascal Cuoq
      • [Frama-c-discuss] Getting a node from its id for a particular pdg, Pascal Cuoq
  • [Frama-c-discuss] Getting a node from its id for a particular pdg, CUOQ Pascal
    • [Frama-c-discuss] Getting a node from its id for a particular pdg, Anne.Pacalet at sophia.inria.fr
• [Frama-c-discuss] Dead code that shouldn't be, Jonathan-Christofer Demay
  • [Frama-c-discuss] Dead code that shouldn't be, Pascal Cuoq
• [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, David MENTRE
  • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, Virgile Prevosto
    • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, David MENTRE
      • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, David MENTRE
      • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, Virgile Prevosto
      • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, David MENTRE
      • [Frama-c-discuss] Unability to verify an arithmetic assertion disapears in a reduced but similar test case, Virgile Prevosto
• [Frama-c-discuss] Semantics of Jessie icons?, David MENTRE
  • [Frama-c-discuss] Semantics of Jessie icons?, David MENTRE
    • [Frama-c-discuss] Semantics of Jessie icons?, David MENTRE
      • [Frama-c-discuss] Semantics of Jessie icons?, Claude Marché
• [Frama-c-discuss] How to prove "offset_min(char_xP_stdin_8_alloc_table, stdin) <= 0"?, David MENTRE
• [Frama-c-discuss] Global initialization of variables not taken into account?, David MENTRE
• [Frama-c-discuss] Issue to prove a precondition for user call, David MENTRE
  • [Frama-c-discuss] Issue to prove a precondition for user call, David MENTRE
• [Frama-c-discuss] Jessie subprocess failed, Hollas Boris (CR/AEY1)
  • [Frama-c-discuss] Jessie subprocess failed, Jens Gerlach
    • [Frama-c-discuss] Jessie subprocess failed, Hollas Boris (CR/AEY1)
  • [Frama-c-discuss] Jessie subprocess failed, Virgile Prevosto
    • [Frama-c-discuss] Jessie subprocess failed, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] [Jessie] Problem with simple search programm, Hollas Boris (CR/AEY1)
  • [Frama-c-discuss] [Jessie] Problem with simple search programm, David MENTRE
    • [Frama-c-discuss] [Jessie] Problem with simple search programm, Claude Marché
    • [Frama-c-discuss] [Jessie] Problem with simple search programm, Hollas Boris (CR/AEY1)
    • [Frama-c-discuss] [Jessie] Problem with simple search programm, Pariente Dillon
      • [Frama-c-discuss] [Jessie] Problem with simple search programm, Hollas Boris (CR/AEY1)
      • [Frama-c-discuss] [Jessie] Problem with simple search programm, David MENTRE
• [Frama-c-discuss] Setup of a Frama-C wiki?, David MENTRE
  • [Frama-c-discuss] Setup of a Frama-C wiki?, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] Issue to express assigns on arrays, David MENTRE
• [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, PAREAUD, Thomas
  • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, Claude Marché
    • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, PAREAUD, Thomas
      • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, Claude Marché
      • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, PAREAUD, Thomas
      • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparison example, David MENTRE
      • [Frama-c-discuss] Named behavior, proof obligations and ACSL annotations: the string comparisonexample, PAREAUD, Thomas
• [Frama-c-discuss] A toy electronic voting software checked with Frama-C, David MENTRE
• [Frama-c-discuss] HELP FRAMA-C, Bárbara Vieira
• [Frama-c-discuss] Frama-C/Jessie: memory set problem, Dillon Pariente
  • [Frama-c-discuss] Frama-C/Jessie: memory set problem, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] Unable to prove assigns clause for array, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] Installation problem, Rovedy Aparecida Busquim e Silva
  • [Frama-c-discuss] Installation problem, Hollas Boris (CR/AEY1)
• [Frama-c-discuss] Frama-C: #define not taken into account into annotations, Pariente Dillon
  • [Frama-c-discuss] Frama-C: #define not taken into account into annotations, Anne Pacalet
  • [Frama-c-discuss] Frama-C: #define not taken into account into annotations, David DELMAS
    • [Frama-c-discuss] Frama-C: #define not taken into account intoannotations, Pariente Dillon

---

Mail converted by MHonArc