View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0000821 | Frama-C | Documentation > manuals | public | 2011-05-11 14:26 | 2016-06-21 14:20 | ||||
Reporter | fgarnier | ||||||||
Assigned To | signoles | ||||||||
Priority | normal | Severity | minor | Reproducibility | N/A | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | Frama-C Carbon-20110201 | ||||||||
Target Version | Fixed in Version | Frama-C Nitrogen-20111001 | |||||||
Summary | 0000821: Wrong module name for the function prepareCFG and computeCFGInfo in the Frama-C Carbon html API. | ||||||||
Description | Inside the Cil_types.html API documentation page, the function Cil.prepareCFG and Cil.computeCFGInfo are referenced as being part of the module Cil. Those information are exact for the Boron version of FRAMA-C, however in the Frama-c Carbon version both functions are located in the module Cfg. Best regards, Florent. | ||||||||
Additional Information | We are currently operating the migration of an experimental plugin, from the Boron version to the current version of Carbon. Unfortunately, we didn't used many function. It is possible that we didn't noticed other ill-referenced functions. We anyway noticed that the function Ast_info.loc_stmt isn't anymore present within the Ast_info module, and we weren't able to find an equivalent one elsewhere. Therefore, we wrote our own. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
yakobowski (manager) 2011-05-11 16:44 |
loc_stmt has become Cil_datatype.Stmt.loc |
signoles (manager) 2011-05-13 10:32 |
To complete what Boris Y. said, several functions of Ast_info (included Ast_info.loc_stmt) has moved into Cil_datatype and its submodules. |
signoles (manager) 2014-02-12 16:59 |
Fix committed to stable/neon branch. |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2011-05-11 14:26 | fgarnier | New Issue | |
2011-05-11 14:26 | fgarnier | Status | new => assigned |
2011-05-11 14:26 | fgarnier | Assigned To | => signoles |
2011-05-11 16:44 | yakobowski | Note Added: 0001868 | |
2011-05-13 10:29 | signoles | Status | assigned => acknowledged |
2011-05-13 10:32 | signoles | Note Added: 0001881 | |
2011-05-13 11:26 | svn | ||
2011-05-13 11:26 | svn | Status | acknowledged => resolved |
2011-05-13 11:26 | svn | Resolution | open => fixed |
2011-10-10 14:13 | signoles | Fixed in Version | => Frama-C Nitrogen-20111001 |
2011-10-10 14:14 | signoles | Status | resolved => closed |
2013-12-19 01:12 | signoles | Source_changeset_attached | => framac master dbc56ecd |
2014-02-12 16:54 | signoles | Source_changeset_attached | => framac stable/neon dbc56ecd |
2014-02-12 16:59 | signoles | Note Added: 0004789 | |
2014-02-12 16:59 | signoles | Status | closed => resolved |
2016-06-21 14:11 | signoles | Category | Documentation => Documentation > ACSL |
2016-06-21 14:20 | signoles | Category | Documentation > ACSL => Documentation > manuals |