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

• Main index
• Thread index for November 2009

---

• [Frama-c-discuss] Why missing in Frama-C-Beryllium-20090902 Windows binary distribution
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Why missing in Frama-C-Beryllium-20090902 Windows binary distribution
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Why missing in Frama-C-Beryllium-20090902 Windows binary distribution
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Why missing in Frama-C-Beryllium-20090902 Windows binary distribution
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Feature or bug?
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Feature or bug?
  • From: guillaume.melquiond at inria.fr (Guillaume Melquiond)
• [Frama-c-discuss] ask for slicing spec
  • From: jshen.cn.sh at gmail.com (jun shen)
• [Frama-c-discuss] ask for slicing spec
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] ask for slicing spec
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] different range in the loop depending de type
  • From: stephane.duprat at atosorigin.com (Stéphane Duprat)
• [Frama-c-discuss] using errno
  • From: stephane.duprat at atosorigin.com (Stéphane Duprat)
• [Frama-c-discuss] ask for slicing spec
  • From: jshen.cn.sh at gmail.com (jun shen)
• [Frama-c-discuss] Res: Feature or bug?
  • From: joao_paulo_c at yahoo.com (João Paulo Carvalho)
• [Frama-c-discuss] different range in the loop depending de type
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] using errno
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] using errno
  • From: stephane.duprat at atosorigin.com (Stéphane Duprat)
• [Frama-c-discuss] Res: Feature or bug?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: hxdg21 at yahoo.com (Aaron Rocha)
• [Frama-c-discuss] Newbie question
  • From: hxdg21 at yahoo.com (Aaron Rocha)
• [Frama-c-discuss] Res: Feature or bug?
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Newbie question
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Newbie question
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Res: Feature or bug?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Newbie question
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] Newbie question
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Documentation of \valid
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Documentation of \valid
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Documentation of \valid
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Documentation of \valid
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Documentation of \valid
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] using library function in frama-C
  • From: doan.thanh.nam.1988 at gmail.com (nam nam)
• [Frama-c-discuss] RE : using library function in frama-C
  • From: virgile.prevosto at cea.fr (PREVOSTO Virgile)
• [Frama-c-discuss] using library function in frama-C
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Documentation of \valid
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Documentation of \valid
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] [Jessie Plugin] Can we trust prover CVC3 version 2.1 ?
  • From: Nicolas.Rousset at gemalto.com (Rousset Nicolas)
• [Frama-c-discuss] Documentation of \valid
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Documentation of \valid
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] goto generated by Frama-C and not supported by Jessie
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: yannick.moy at gmail.com (Yannick Moy)
• [Frama-c-discuss] on slicer outputs
  • From: myungjin at jung.tec.toyota.co.jp (jung, myung-jin)
• [Frama-c-discuss] Frama-C vs Ada/SPARK
  • From: hxdg21 at yahoo.com (Aaron Rocha)
• [Frama-c-discuss] on slicer outputs
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] [Jessie Plugin] Can we trust prover CVC3 version 2.1 ?
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Documentation of \valid
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
  • From: barbaraisabelvieira at gmail.com (Barbara Vieira)
• [Frama-c-discuss] C++?
  • From: rick.richardson at gmail.com (Rick R)
• [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] C++?
  • From: hxdg21 at yahoo.com (Aaron Rocha)
• [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] ugly output shape - gwhy and frama-c-gui
  • From: barbaraisabelvieira at gmail.com (Barbara Vieira)
• [Frama-c-discuss] Jessie: transpose_location_list => assert false
  • From: Dillon.Pariente at dassault-aviation.com (Pariente Dillon)
• [Frama-c-discuss] Jessie: transpose_location_list => assert false
  • From: Nicolas.Rousset at gemalto.com (Rousset Nicolas)
• [Frama-c-discuss] Jessie: transpose_location_list => assert false
  • From: johcrown at gmail.com (johcrown)
• [Frama-c-discuss] C++?
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Global kernel could not find entry point: main
  • From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
• [Frama-c-discuss] Windows binary version error: Global kernel could not find entry point: main
  • From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
• [Frama-c-discuss] Windows binary version error: Global kernel could not find entry point: main
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Global kernel could not find entry point: main
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Windows binary version error: Global kernel could not find entry point: main
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Jessie: transpose_location_list => assert false
  • From: dillon.pariente at dassault-aviation.fr (Dillon Pariente)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: diman.soap at gmail.com (Дмитрий Ручкин)
• [Frama-c-discuss] Windows binary version error: Global kernel
  • From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
• [Frama-c-discuss] Windows binary version error: Global kernel
  • From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
• [Frama-c-discuss] Windows binary version error: Global kernel
  • From: talmage.wesley at AJANTUNES.com (Talmage Wesley)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Windows binary version error: Global kernel
  • From: Pascal.CUOQ at cea.fr (CUOQ Pascal)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: diman.soap at gmail.com (Дмитрий Ручкин)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: gregory.baudeau at ensi-bourges.fr (Baudeau Grégory)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: basile at starynkevitch.net (Basile STARYNKEVITCH)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: anne.pacalet at sophia.inria.fr (Anne Pacalet)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: pierre.andrieux at ensi-bourges.fr (pierre.andrieux at ensi-bourges.fr)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: Pascal.Cuoq at cea.fr (Pascal Cuoq)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: pierre.andrieux at ensi-bourges.fr (pierre.andrieux at ensi-bourges.fr)
• [Frama-c-discuss] need frama-c help to develop plugin
  • From: Julien.Signoles at cea.fr (Julien Signoles)
• [Frama-c-discuss] Lemma from ACSL doc doesn't verify
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Lemma from ACSL doc doesn't verify
  • From: virgile.prevosto at cea.fr (Virgile Prevosto)
• [Frama-c-discuss] Lemma from ACSL doc doesn't verify
  • From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
• [Frama-c-discuss] Frama-C Examples
  • From: carlitoon at gmail.com (Carlos Carloto)
• [Frama-c-discuss] Frama-C Examples
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Frama-C Examples
  • From: jens.gerlach at first.fraunhofer.de (Jens Gerlach)
• [Frama-c-discuss] Frama-C Examples
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: diman.soap at gmail.com (Дмитрий Ручкин)
• [Frama-c-discuss] Using Frama-C as Caduceus
  • From: Claude.Marche at inria.fr (Claude Marche)
• [Frama-c-discuss] Why/Jessie plugin version 2.22 is out
  • From: Claude.Marche at inria.fr (Claude Marche)

---

Mail converted by MHonArc