View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000595 | Frama-C | Documentation | public | 2010-10-04 23:26 | 2016-06-21 14:24 | ||||
Reporter | kalyan | ||||||||
Assigned To | virgile | ||||||||
Priority | normal | Severity | minor | Reproducibility | N/A | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Boron-20100401 | ||||||||
Target Version | Frama-C Carbon-20101201-beta1 | Fixed in Version | Frama-C Carbon-20101201-beta1 | ||||||
Summary | 0000595: Implementation <-> Documentation Inconsistency | ||||||||
Description | I 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. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|||
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 |