2021-03-03 02:50 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001359Frama-CDocumentation > ACSLpublic2014-02-12 16:58
Reporterjens 
Assigned Tovirgile 
PrioritynormalSeveritytextReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Oxygen-20120901 
Target VersionFrama-C Fluorine-20130401Fixed in VersionFrama-C Fluorine-20130401 
Summary0001359: duplicate entries in index of acsl documentation
DescriptionI refer to the index on acsl-implementation-Oxygen-20120901.pdf

page 101:
  two entries for "axiomatic"
  two entries for "\exit_status"

page 103:
   two entries for "model"

page 104:
  two entries for both "\valid_entry" and "volatile".
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0004580

Fix committed to stable/neon branch.
+Notes

-Issue History
Date Modified Username Field Change
2013-02-08 20:14 jens New Issue
2013-02-08 20:14 jens Status new => assigned
2013-02-08 20:14 jens Assigned To => signoles
2013-02-08 22:05 signoles Assigned To signoles => virgile
2013-02-08 22:05 signoles Target Version => Frama-C Fluorine
2013-02-09 11:14 virgile Status assigned => acknowledged
2013-04-16 16:14 svn
2013-04-16 16:14 svn Status acknowledged => resolved
2013-04-16 16:14 svn Resolution open => fixed
2013-04-19 11:05 signoles Fixed in Version => Frama-C Fluorine
2013-04-19 11:05 signoles Status resolved => closed
2013-12-19 01:11 Source_changeset_attached => framac master 428afd7b
2014-02-12 16:53 Source_changeset_attached => framac stable/neon 428afd7b
2014-02-12 16:58 Note Added: 0004580
2014-02-12 16:58 Status closed => resolved
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL
+Issue History