Frama-C Bug Tracking System
Main | My View | View Issues | Change Log | Roadmap | Repositories
  

Frama-C - Change Log

Frama-C - Frama-C Fluorine-20130601 (Released 2013-06-19) [ View Issues ]
=========================================================
- 0001478: [Plug-in > E-ACSL] E-ACSL reports use of invalid pointer while in fact the pointer is valid (signoles) - closed.
- 0001437: [Kernel] Cannot use Frama_C_interval on Fluorine (signoles) - closed.

[2 issues]
Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker