Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 17-Chlorine (Released 2018-05-30) View Issues ]
===================================================
- 0002380: [Plug-in > wp] `strlen` used from code makes it no longer possible to prove `assigns \nothing`. (correnson) - closed.
- 0002400: [Plug-in > clang] Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h (virgile) - closed.
- 0001834: [Plug-in > E-ACSL] Cannot compile variable length arrays (signoles) - closed.
- 0002334: [Plug-in > jessie] Crash when trying to analyse a file with jessie (cmarche) - closed.
- 0002368: [Plug-in > clang] Crash on attempt to start framaCIRGen when libs are linked statically and dynamically. (virgile) - closed.
- 0002373: [Opam] opam install why3 failed (maroneze) - closed.
- 0002375: [Opam] Issues while installation of Frama-C using OPAM (maroneze) - closed.
- 0002377: [Opam] Frama-C incompatible with Coq 8.8.0 (maroneze) - closed.

[8 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker