View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0002379 | Frama-C | Kernel > libc | public | 2018-06-18 16:55 | 2018-11-30 10:07 | ||||
Reporter | madroach | ||||||||
Assigned To | maroneze | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | any | OS | OpenBSD | OS Version | 6.3 | ||||
Product Version | |||||||||
Target Version | Fixed in Version | Frama-C 18-Argon | |||||||
Summary | 0002379: FE_* API is available on OpenBSD | ||||||||
Description | please include attached patch. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
maroneze (administrator) 2018-07-25 15:02 |
I confirm that on OpenBSD (tested with 6.3) Frama-C 17 does not compile without the patch, but it does when patched. Thanks for the report and the patch, it will be integrated in the next release. |
maroneze (administrator) 2018-10-29 15:16 |
Fix committed, will be present in Frama-C 18 (Argon). |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2018-06-18 16:55 | madroach | New Issue | |
2018-06-18 16:55 | madroach | File Added: patch-src_libraries_utils_c_bindings_c | |
2018-07-11 15:31 | signoles | Assigned To | => maroneze |
2018-07-11 15:31 | signoles | Status | new => assigned |
2018-07-11 15:31 | signoles | Category | Kernel => Kernel > libc |
2018-07-11 15:31 | signoles | Description Updated | View Revisions |
2018-07-25 15:02 | maroneze | Note Added: 0006613 | |
2018-07-25 15:02 | maroneze | Status | assigned => confirmed |
2018-10-29 15:16 | maroneze | Note Added: 0006672 | |
2018-10-29 15:16 | maroneze | Status | confirmed => resolved |
2018-10-29 15:16 | maroneze | Fixed in Version | => Frama-C 18-Argon |
2018-10-29 15:16 | maroneze | Resolution | open => fixed |
2018-11-30 10:07 | signoles | Status | resolved => closed |