--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on May 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE Frama-c-discuss Digest, Vol 12, Issue 4



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                    |