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 2014
- [Frama-c-discuss] (no subject)
- From: gavran at mpi-sws.org (gavran at mpi-sws.org)
- [Frama-c-discuss] (no subject)
- From: gavran at mpi-sws.org (gavran at mpi-sws.org)
- [Frama-c-discuss] (no subject)
- From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: gmaxwell at gmail.com (Gregory Maxwell)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: mohamed.iguernelala at ocamlpro.com (Mohamed Iguernelala)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: gmaxwell at gmail.com (Gregory Maxwell)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: Claude.Marche at inria.fr (Claude Marché)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: gmaxwell at gmail.com (Gregory Maxwell)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: gmaxwell at gmail.com (Gregory Maxwell)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: loic.correnson at cea.fr (Loïc Correnson)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: loic.correnson at cea.fr (Loïc Correnson)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] builtin Frama_C_bzero
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: dmentre at linux-france.org (David MENTRE)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: pascal.cuoq at gmail.com (Pascal Cuoq)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] JFLA 2015 : Appel à participation
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Ghost structure fields.
- From: jean-karim.zinzindohoue at inria.fr (Jean Karim Zinzindohoué)
- [Frama-c-discuss] Ghost structure fields.
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- [Frama-c-discuss] Implicit Type Coercions
- From: gaggarwal at grammatech.com (Gunjan Aggarwal)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] builtin Frama_C_bzero
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] builtin Frama_C_bzero
- From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: boris at yakobowski.org (Boris Yakobowski)
- [Frama-c-discuss] don't want unitialized padding fields, -initialized-padding-globals
- From: stephane.duprat at atos.net (DUPRAT, STEPHANE)
- [Frama-c-discuss] Installation problem with Neon release
- From: rovedy at ig.com.br (rovedy at ig.com.br)
- [Frama-c-discuss] Installation problem with Neon release
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- [Frama-c-discuss] Floor problem
- From: sdavrieux at gmail.com (Sebastian)
- [Frama-c-discuss] Floor problem
- From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] Floor problem
- From: loic.correnson at cea.fr (Loïc Correnson)
- [Frama-c-discuss] Floor problem
- From: moy at adacore.com (Yannick Moy)
- [Frama-c-discuss] Floor problem
- From: loic.correnson at cea.fr (Loïc Correnson)
- [Frama-c-discuss] Installation problem with Neon release
- From: rovedy at ig.com.br (rovedy at ig.com.br)
- [Frama-c-discuss] Floor problem
- From: dcok at grammatech.com (David R. Cok)
- [Frama-c-discuss] Installation problem with Neon release
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- [Frama-c-discuss] NSV'15 Call for Papers - Numerical Software Verification
- From: Claude.Marche at inria.fr (Claude Marche)
- [Frama-c-discuss] problems with recognition of the variant
- From: alessio.bortolotti at studenti.unipr.it (ALESSIO BORTOLOTTI)
- [Frama-c-discuss] Building plugin for Frama-c using Core library
- From: gavran at mpi-sws.org (Ivan Gavran)
- [Frama-c-discuss] Building plugin for Frama-c using Core library
- From: Julien.Signoles at cea.fr (Julien Signoles)
- [Frama-c-discuss] Installation problem with Neon release
- From: rovedy at ig.com.br (rovedy at ig.com.br)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: mansourmoufid at gmail.com (Mansour Moufid)
- [Frama-c-discuss] WP failing to prove a simple absence of RTE unsigned overflow
- From: loic.correnson at cea.fr (Loïc Correnson)
- [Frama-c-discuss] Searchable archives of frama-c-discuss
- From: gaggarwal at grammatech.com (Gunjan Aggarwal)
- [Frama-c-discuss] Searchable archives of frama-c-discuss
- From: gaggarwal at grammatech.com (Gunjan Aggarwal)
Mail converted by MHonArc