| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0002450 | Frama-C | Documentation > manuals | public | 2019-06-09 20:33 | 2020-02-17 18:08 | ||||
| Reporter | kiniry | ||||||||
| Assigned To | patrick | ||||||||
| Priority | normal | Severity | minor | Reproducibility | have not tried | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | Frama-C 18-Argon | ||||||||
| Target Version | Fixed in Version | Frama-C 20-Calcium | |||||||
| Summary | 0002450: formatting problem in acsl-implementation-18.0-Argon.pdf | ||||||||
| Description | See 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. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
patrick (developer) 2019-07-17 10:46 |
Yes, that has been fixed in next version of the document acsl-implementation-19.0-Potassium.pdf. |
|
patrick (developer) 2019-07-17 10:51 |
Note: next issues about ACSL should not be reported on this mantis bug tracker, but at https://github.com/acsl-language/acsl |
|
signoles (manager) 2020-02-17 18:08 |
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 |