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.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] examples

Also, the Java example

http://toccata.lri.fr/gallery/GcdJava.en.html

could easily be tranlsated in C

Le 10/10/2013 14:29, Claude March? a ?crit :
> 
> 
> You can find examples either on the gallery
> 
> http://toccata.lri.fr/gallery/frama-c.en.html
> 
> or in the Why sources in dir tests/c and frama-c-plugin/tests/jessie
> 
> I don't remember any file name "euklid.c". Given the k in the name, I
> wonder if it could be find in the collection of examples made by people
> at Franhofer First...
> 
> - Claude
> 
> Le 09/10/2013 19:14, Stephen Siegel a ?crit :
>> I think in older releases of Frama-C there was a directory of nice simple examples (allZeroes.c, euklid.c, find.c, ...) that could be verified with Frama-C+Jessie.  Now I can't find them.   Are these examples somewhere?  Are there other places to look for similar example?
>> Thanks,
>> Steve
>>
>>
>>
>> _______________________________________________
>> 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           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |