Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 14-Silicon (Released 2016-11-30) View Issues ]
==================================================
- 0002192: [Plug-in > E-ACSL] Plug-in crash with "Unregistered_library_function" error (kvorobyov) - closed.
- 0001817: [Plug-in > E-ACSL] Literal strings in global arrays with compound initializers are not correctly initialized (kvorobyov) - closed.
- 0002213: [Plug-in > E-ACSL] Can't install E-ACSL plugin (signoles) - closed.

[3 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker