Anonymous
Login
Signup for a new account
2021-02-27 10:30 CET
My View
View Issues
Change Log
Roadmap
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]