Frama-C Bug Tracking System

Frama-C - Roadmap

Frama-C - Frama-C 18 Argon (Scheduled For Release 2018-07-17) View Issues ]
=============================================================
80%
- 0002399: [Opam] Failed to install framaC on macosx using opam (maroneze) - assigned.
- 0002386: [Plug-in > E-ACSL] E-ACSL: internal error: raised at file "src/libraries/project/project.ml", line 402 (fmaurica) - resolved.
- 0001762: [Plug-in > E-ACSL] Generate out-of-scope variable when using quantified variable in a \old (fmaurica) - resolved.
- 0002305: [Plug-in > E-ACSL] E-ACSL: proper bitfileds handling (fmaurica) - resolved.
- 0002398: [Documentation > manuals] Name of RTE plugin in documentation (signoles) - resolved.

4 of 5 issue(s) resolved. Progress (80%).


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker