Frama-C Bug Tracking System - Frama-C
View Issue Details
0001359Frama-CDocumentation > ACSLpublic2013-02-08 20:142014-02-12 16:58
jens 
virgile 
normaltextalways
closedfixed 
Frama-C Oxygen-20120901 
Frama-C Fluorine-20130401Frama-C Fluorine-20130401 
0001359: duplicate entries in index of acsl documentation
I 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".
No tags attached.
Issue History
2013-02-08 20:14jensNew Issue
2013-02-08 20:14jensStatusnew => assigned
2013-02-08 20:14jensAssigned To => signoles
2013-02-08 22:05signolesAssigned Tosignoles => virgile
2013-02-08 22:05signolesTarget Version => Frama-C Fluorine
2013-02-09 11:14virgileStatusassigned => acknowledged
2013-04-16 16:14svnCheckin
2013-04-16 16:14svnStatusacknowledged => resolved
2013-04-16 16:14svnResolutionopen => fixed
2013-04-19 11:05signolesFixed in Version => Frama-C Fluorine
2013-04-19 11:05signolesStatusresolved => closed
2014-02-12 16:58Note Added: 0004580
2014-02-12 16:58Statusclosed => resolved
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL

Notes
(0004580)
   
2014-02-12 16:58   
Fix committed to stable/neon branch.