--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on May 2009 ---
The Coq column in GWhy interface was an experiment that remainded available by mistake in Why 2.18 The Yices issue was a bug, fixed in future Why 2.19 - Claude Emilie.Timbou at continental-corporation.com wrote: > > Bonjour, > Non je ne l'avais pas trouv? en cherchant dans les historiques... Merci.. > > Par contre, il me reste toujours un probl?me. > > Ce probl?me apparait lorsque je demande au prouveur Yices(mono) et Coq > de s'ex?cuter... Il ne s'?x?cute pas et dans le Bash Shell je vois ce > qui est encadr? en rouge... J'ai essay? de chercher l'erreur mais je > n'arrive pas ? le r?soudre... > > Pouvez vous me conseiller sur cet autre point ? > > Emilie TIMBOU > > > > > *frama-c-discuss-request at lists.gforge.inria.fr* > Envoy? par : frama-c-discuss-bounces at lists.gforge.inria.fr > > 05/05/2009 12:00 > Veuillez r?pondre ? > frama-c-discuss at lists.gforge.inria.fr > > > > A > frama-c-discuss at lists.gforge.inria.fr > cc > > Objet > Frama-c-discuss Digest, Vol 12, Issue 4 > > > > > > > > > Send Frama-c-discuss mailing list submissions to > frama-c-discuss at lists.gforge.inria.fr > > To subscribe or unsubscribe via the World Wide Web, visit > > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > or, via email, send a message with subject or body 'help' to > frama-c-discuss-request at lists.gforge.inria.fr > > You can reach the person managing the list at > frama-c-discuss-owner at lists.gforge.inria.fr > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of Frama-c-discuss digest..." > > > Today's Topics: > > 1. Re: jessie plug-in (Benjamin Monate) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Mon, 04 May 2009 19:52:47 +0200 > From: Benjamin Monate <benjamin.monate at cea.fr> > Subject: Re: [Frama-c-discuss] jessie plug-in > To: Frama-C public discussion <frama-c-discuss at lists.gforge.inria.fr> > Message-ID: <49FF2B6F.4010703 at cea.fr> > Content-Type: text/plain; charset=ISO-8859-1; format=flowed > > Bonjour, > > Avez-vous lu le message : > http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2008-December/000301.html > qui est mentionn? sur le Wiki de Frama-C ? > > Cordialement, > -- > | Benjamin Monate > | Head of Software Safety Lab. CEA-LIST/DRT/DTSI/SOL/LSL | > > > > > ------------------------------ > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > > End of Frama-c-discuss Digest, Vol 12, Issue 4 > ********************************************** > > > ------------------------------------------------------------------------ > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |