Frama-C Bug Tracking System - Frama-C
View Issue Details
0001335Frama-CDocumentationpublic2012-12-17 21:002016-06-21 14:24
normalminorhave not tried
Frama-C Oxygen-20120901 
Frama-C Fluorine-20130401 
0001335: new link to ACSL by Example
Due to the merge of Fraunhofer FIRST with Fraunhofer FOKUS there is a new URL for the "ACSL by Example" documents. I suggest to add the new URL on
No tags attached.
Issue History
2012-12-17 21:00jensNew Issue
2012-12-17 21:00jensStatusnew => assigned
2012-12-17 21:00jensAssigned To => signoles
2012-12-18 08:58signolesAssigned Tosignoles => patrick
2012-12-18 13:42patrickNote Added: 0003632
2012-12-18 13:44patrickNote Added: 0003633
2012-12-18 13:44patrickStatusassigned => resolved
2012-12-18 13:44patrickResolutionopen => fixed
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:24signolesCategoryDocumentation > ACSL => Documentation

2012-12-18 13:42   
@Jens, In fact the current Frama-C web site has no direct link to the "ACSL by Example" document, but just one to I think it was because the link needed to be modified each time of new version of the document was issued. Ok, for adding your new direct link if you think the new URL is more stable.
2012-12-18 13:44   
A direct link the the "ACSL By Example" document has been added from the source of wp.html web page. The site web has to be updated to see the change.