Frama-C Bug Tracking System - Frama-C
View Issue Details
0001334Frama-CDocumentationpublic2012-12-17 20:532016-06-21 14:24
Reporterjens 
Assigned Topatrick 
PrioritynormalSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Oxygen-20120901 
Target VersionFixed in VersionFrama-C Fluorine-20130401 
Summary0001334: Fraunhofer FIRST -> Fraunhofer FOKUS
DescriptionFraunhofer FIRST has been merged into Fraunhofer FOKUS.
Please change URL on http://frama-c.com/wp.html to
www.fokus.fraunhofer.de
TagsNo tags attached.
Attached Files

Notes
(0003631)
patrick   
2012-12-18 13:23   
The name of the institute and the URL has been changed in source version of the wp.html web page.
An update of the web site is necessary to see the change.

Issue History
2012-12-17 20:53jensNew Issue
2012-12-17 20:53jensStatusnew => assigned
2012-12-17 20:53jensAssigned To => signoles
2012-12-18 08:59signolesAssigned Tosignoles => patrick
2012-12-18 13:23patrickNote Added: 0003631
2012-12-18 13:23patrickStatusassigned => resolved
2012-12-18 13:23patrickResolutionopen => 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