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