Anonymous Login Frama-C issues should now be submitted on Frama-C's GitLab
2021-03-06 02:18 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001335Frama-CDocumentationpublic2016-06-21 14:24
Assigned Topatrick 
PrioritynormalSeverityminorReproducibilityhave not tried
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in VersionFrama-C Fluorine-20130401 
Summary0001335: new link to ACSL by Example
DescriptionDue 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
TagsNo tags attached.
Attached Files




patrick (developer)

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.


patrick (developer)

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.

-Issue History
Date Modified Username Field Change
2012-12-17 21:00 jens New Issue
2012-12-17 21:00 jens Status new => assigned
2012-12-17 21:00 jens Assigned To => signoles
2012-12-18 08:58 signoles Assigned To signoles => patrick
2012-12-18 13:42 patrick Note Added: 0003632
2012-12-18 13:44 patrick Note Added: 0003633
2012-12-18 13:44 patrick Status assigned => resolved
2012-12-18 13:44 patrick Resolution open => fixed
2013-04-19 11:05 signoles Fixed in Version => Frama-C Fluorine
2013-04-19 11:05 signoles Status resolved => closed
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL
2016-06-21 14:24 signoles Category Documentation > ACSL => Documentation
+Issue History