2020-12-05 00:55 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002450Frama-CDocumentation > manualspublic2020-02-17 18:08
Reporterkiniry 
Assigned Topatrick 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
Product VersionFrama-C 18-Argon 
Target VersionFixed in VersionFrama-C 20-Calcium 
Summary0002450: formatting problem in acsl-implementation-18.0-Argon.pdf
DescriptionSee page 45 of the manual. There is a formatting error pushing at least a paragraph about statement contracts off the lower right hand corner of the page.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0006820

patrick (developer)

Yes, that has been fixed in next version of the document acsl-implementation-19.0-Potassium.pdf.

~0006821

patrick (developer)

Note: next issues about ACSL should not be reported on this mantis bug tracker, but at https://github.com/acsl-language/acsl

~0006937

signoles (manager)

Fixed in Frama-C 20.0 (Calcium).
+Notes

-Issue History
Date Modified Username Field Change
2019-06-09 20:33 kiniry New Issue
2019-07-16 12:11 signoles Assigned To => patrick
2019-07-16 12:11 signoles Status new => assigned
2019-07-17 10:46 patrick Note Added: 0006820
2019-07-17 10:51 patrick Note Added: 0006821
2019-07-17 10:51 patrick Status assigned => resolved
2019-07-17 10:51 patrick Fixed in Version => Frama-C 19-Potassium
2019-07-17 10:51 patrick Resolution open => fixed
2020-02-17 18:06 signoles Fixed in Version Frama-C 19-Potassium => Frama-C 20-Calcium
2020-02-17 18:08 signoles Status resolved => closed
2020-02-17 18:08 signoles Note Added: 0006937
+Issue History