2021-02-27 10:41 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000764Frama-CKernelpublic2012-09-19 17:16
Reportersignoles 
Assigned Tosignoles 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusclosedResolutionfixed 
Product Version 
Target VersionFixed in VersionFrama-C Oxygen-20120901 
Summary0000764: Specifying several directories in environment variables FRAMAC_*
DescriptionAll in the title.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0001920

monate (reporter)

I'm not convinved this is useful. -add-path is enough for the plugin path and corresponding -add-share et al. could be added.

~0001923

signoles (manager)

Agree with your solution.

~0003015

signoles (manager)

-<plugin>-share is available for each plug-in (if wished). See function Plugin.is_share_visible. Fulfill the known needs.
+Notes

-Issue History
Date Modified Username Field Change
2011-03-25 13:14 signoles New Issue
2011-03-25 13:14 signoles Status new => assigned
2011-03-25 13:14 signoles Assigned To => signoles
2011-03-25 13:14 signoles Status assigned => acknowledged
2011-05-23 18:08 monate Note Added: 0001920
2011-05-24 09:49 signoles Note Added: 0001923
2012-05-16 11:23 signoles Note Added: 0003015
2012-05-16 11:23 signoles Status acknowledged => resolved
2012-05-16 11:23 signoles Resolution open => fixed
2012-09-19 17:15 signoles Fixed in Version => Frama-C Oxygen-20120901
2012-09-19 17:16 signoles Status resolved => closed
+Issue History