--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on December 2012 ---
[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