Frama-C Bug Tracking System - Frama-C
View Issue Details
0000419Frama-CDocumentation > manualspublic2010-02-23 18:232016-06-21 14:20
signoles 
signoles 
lowtexthave not tried
closedfixed 
Frama-C Beryllium-20090902 
Frama-C Oxygen-20120901 
0000419: Plug-in dev guide: tutorial for kernel integrated plug-in is out-of-date
At least Figure 2.2 and Section 2.2.4 are out-of-date according to Beryllium 2.
No tags attached.
parent of 0000398closed signoles RTE compiled even with ./configure --disable-rte 
Issue History
2010-02-23 18:23signolesNew Issue
2010-02-23 18:23signolesStatusnew => assigned
2010-02-23 18:23signolesAssigned To => signoles
2010-02-23 18:23signolesStatusassigned => acknowledged
2010-02-23 18:24signolesRelationship addedparent of 0000398
2010-04-08 10:03signolesTarget VersionFrama-C Boron => Frama-C Carbon
2010-11-08 19:36signolesTarget VersionFrama-C Carbon =>
2012-05-16 15:10svnCheckin
2012-05-16 15:10svnStatusacknowledged => resolved
2012-05-16 15:10svnResolutionopen => fixed
2012-09-19 17:15signolesFixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16signolesStatusresolved => closed
2014-02-12 16:58signolesNote Added: 0004686
2014-02-12 16:58signolesStatusclosed => resolved
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:20signolesCategoryDocumentation > ACSL => Documentation > manuals

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