2021-01-27 11:49 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001788Frama-CDocumentation > ACSLpublic2015-03-17 22:18
ReporterDavidCok 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
Product VersionFrama-C Neon-20140301 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001788: predicate-def and logic-predicate-def
DescriptionThe ACSL grammar contains symbols for both predicate-def and logic-predicate-def.
The latter is defined but not used. Consistency would say they both should be 'logic-predicate-def'.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0005232

virgile (developer)

Fix committed to master branch.
+Notes

-Issue History
Date Modified Username Field Change
2014-05-28 14:08 DavidCok New Issue
2014-05-28 14:08 DavidCok Status new => assigned
2014-05-28 14:08 DavidCok Assigned To => signoles
2014-06-03 08:38 signoles Assigned To signoles => virgile
2014-06-19 11:10 virgile Source_changeset_attached => framac master aa57dccb
2014-06-19 11:10 virgile Note Added: 0005232
2014-06-19 11:10 virgile Status assigned => resolved
2014-06-19 11:10 virgile Resolution open => fixed
2015-03-17 22:17 signoles Fixed in Version => Frama-C Sodium
2015-03-17 22:18 signoles Status resolved => closed
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL
+Issue History