Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 18-Argon (Released 2018-11-28) View Issues ]
================================================
- 0002408: [Plug-in > wp] Some issues related to Frama-C 18.0 (beta) "Argon" (correnson) - closed.
- 0002384: [Kernel] user error: scalar value (of type int) initialized by compound initializer (valentin.perrelle) - closed.
- 0001762: [Plug-in > E-ACSL] Generate out-of-scope variable when using quantified variable in a \old (fmaurica) - closed.
- 0002379: [Kernel > libc] FE_* API is available on OpenBSD (maroneze) - closed.
- 0002399: [Opam] Failed to install framaC on macosx using opam (maroneze) - closed.
- 0002354: [Plug-in > RTE] RTE assertion for signed right shift is wrong (signoles) - closed.
- 0002305: [Plug-in > E-ACSL] E-ACSL: proper bitfileds handling (fmaurica) - closed.
- 0002386: [Plug-in > E-ACSL] E-ACSL: internal error: raised at file "src/libraries/project/project.ml", line 402 (fmaurica) - closed.
- 0002398: [Documentation > manuals] Name of RTE plugin in documentation (signoles) - closed.

[9 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker