2021-02-27 10:13 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000595Frama-CDocumentationpublic2016-06-21 14:24
Reporterkalyan 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityN/A
StatusclosedResolutionfixed 
Product VersionFrama-C Boron-20100401 
Target VersionFrama-C Carbon-20101201-beta1Fixed in VersionFrama-C Carbon-20101201-beta1 
Summary0000595: Implementation <-> Documentation Inconsistency
DescriptionI see that the Plug-in development guide is not accurate (or consistent with the implementation, if I should put it this way). It makes it difficult for beginners to work with plugin-development, especially using visitors. For example, Section 4.14.3 (Action Performed) and compare it with the implementation, you don't see any DoChildrenPost () and you don't see any JustCopyPost () in the guide. It would be great if you update the plugin-development guide as and when you make changes in the implementation.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2010-10-04 23:26 kalyan New Issue
2010-10-04 23:26 kalyan Status new => assigned
2010-10-04 23:26 kalyan Assigned To => signoles
2010-10-05 08:38 signoles Assigned To signoles => virgile
2010-10-13 07:01 signoles Status assigned => confirmed
2010-10-26 13:13 virgile Target Version => Frama-C Carbon
2010-12-02 15:16 svn
2010-12-02 15:16 svn Status confirmed => resolved
2010-12-02 15:16 svn Resolution open => fixed
2010-12-10 15:45 signoles Fixed in Version => Frama-C Carbon-20101201-beta1
2010-12-17 19:35 signoles Status resolved => closed
2013-12-19 01:12 Source_changeset_attached => framac master 8815edf6
2014-02-12 16:55 Source_changeset_attached => framac stable/neon 8815edf6
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL
2016-06-21 14:24 signoles Category Documentation > ACSL => Documentation
+Issue History