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] Problem with ACSL annotations



FLorent,

Le site WEB de Frama-C ne permet plus d'atteindre le document en 
question dans cette r?ponse de Fraunhofer FOKUS (L'institut a chang? de 
site WEB lors de leur changement de nom).
Actuellement, notre site WEB contient des liens qui sont morts.
J'ai fait le n?cessaire hier pour rem?dier ? cela dans le source de 
notre site WEB et pouss? la modification aussi loin que j'en avait le 
droit : https://svn.frama-c.com/frama-c/distrib

Tu peux consulter le commit correspondant : 
<https://svn.frama-c.com/websvn/revision.php?repname=frama-c&path=%2Fdistrib%2F&rev=21088&peg=21088>

Il me semble qu'il te faille ex?cuter, depuis le bon r?pertoire du 
serveur, une commande du genre :
   svn up  wp.html post-doc.html training_berlin_2010.html

Toi seul en a le droit ; c'est une bonne entr?e en mati?re de passation.

Patrick.

Le 19/12/2012 13:00, Gerlach, Jens a ?crit :
> Hello Initisar,
>
> you source code looks difficult to read in my mail client (there are a lot of question) marks.
> I guess your function is related to find the largest value in an array?
> If so, then I can recommend a look on on Chapter 4 of ourACSL tutorial
>
> http://www.fokus.fraunhofer.de/de/quest/_download_quest/_projekte/acsl_by_example.pdf
>
> Regards
>
> Jens