Roadmap - 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%).