2021-01-15 18:46 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001693Frama-CPlug-in > wppublic2014-03-14 13:22
Assigned Tocorrenson 
Product VersionFrama-C Neon-20140301 
Target VersionFixed in Version 
Summary0001693: Generate footprint from reads clauses of logic declarations
DescriptionIt would be helpful if the reads clause of an axiomatic definition would be
used to generate additional hypothesis for coq proofs.
TagsNo tags attached.
Attached Files

related to 0001698closedpatrick Add remark about additional axioms for read clauses 

There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2014-03-13 17:02 jens New Issue
2014-03-13 17:02 jens Status new => assigned
2014-03-13 17:02 jens Assigned To => correnson
2014-03-14 13:22 signoles Relationship added related to 0001698
+Issue History