Anonymous |
Login
|
Signup for a new account
2019-12-11 15:09 CET
Main
|
My View
|
View Issues
|
Change Log
|
Roadmap
|
Repositories
Frama-C - Change Log
Frama-C
-
Frama-C Magnesium
(Released 2016-01-18)
[
View Issues
]
=================================================
-
0001771
:
[Documentation]
quality of pdf files (
correnson
) - closed.
-
0002204
:
[Documentation]
provide "Magnesium" product version in the BTS (
signoles
) - closed.
-
0002161
:
[Kernel]
redefinition of __STDC_VERSION__ (
yakobowski
) - closed.
-
0002098
:
[Kernel > ACSL implementation]
overloading of predicate fails (
virgile
) - closed.
-
0002119
:
[Kernel]
"If" statement with only one successor (
yakobowski
) - closed.
-
0002184
:
[Plug-in > wp]
memory leak (endless recursion?) caused by erroneous c program (
signoles
) - closed.
-
0002171
:
[Kernel > libc]
redefinition of size_t, time_t, FILE (
maroneze
) - closed.
-
0002131
:
[Kernel]
Error with casted ternary statements (
yakobowski
) - closed.
-
0001939
:
[Kernel > libc]
Specification of the read function (
maroneze
) - closed.
-
0002144
:
[Plug-in > wp]
crash in presence of \result in assigns (
correnson
) - closed.
-
0000876
:
[Plug-in > Eva]
Widen hints for a variable should not influence the values for other variables (
yakobowski
) - closed.
-
0001022
:
[Documentation > ACSL]
suggest to explain semantics of missing loop assigns clause in Acsl manual (
patrick
) - closed.
-
0002021
:
[Documentation > ACSL]
Incorrect grammar for loop-behavior in document (
patrick
) - closed.
-
0002040
:
[Plug-in > wp]
assumes clause and labels (
correnson
) - closed.
-
0001553
:
[Kernel > ACSL implementation]
Fails to cope with multiple non-contiguous constant array instantiations (
yakobowski
) - closed.
-
0002141
:
[Plug-in > wp]
Incorrect result with X modulo 1 (
correnson
) - closed.
-
0002082
:
[Plug-in > wp]
Crash with \is_infinite (
correnson
) - closed.
-
0002115
:
[Documentation > ACSL]
Typos and Grammatical corrections for the ACSL 1.9 manual (
patrick
) - closed.
-
0002114
:
[Documentation > ACSL]
ACSL manual:issues affecting technical correctness or understanding (
patrick
) - closed.
-
0002143
:
[Documentation > ACSL]
Incorrect grammar of Predicate Application and Function Application (
patrick
) - closed.
-
0001683
:
[Plug-in > wp]
Number of discharged Qed goals counted multiple times (
correnson
) - closed.
-
0002090
:
[Kernel]
unary negation of enum constant always yield 0 (
yakobowski
) - closed.
-
0002117
:
[Kernel]
frama-c gets confused by comma operator inside ternary operator: cannot cast from void to char (
yakobowski
) - closed.
-
0002121
:
[Kernel]
Symbolic links in tar ball (
bobot
) - closed.
-
0002126
:
[Plug-in > wp]
WP crashes on generation of PO for assigns clause (assertion failure in MemVar.ml) (
correnson
) - closed.
-
0002127
:
[Plug-in > wp]
Unprovable inequality involving (unsigned) -1 (
correnson
) - closed.
-
0000875
:
[Plug-in > Eva]
suggest to issue a warning on (<)-comparisons between pointers, unless both are non-null (
yakobowski
) - closed.
[27 issues]
Copyright © 2000 - 2019 MantisBT Team