Anonymous |
Login
|
Signup for a new account
2019-12-14 06:59 CET
Main
|
My View
|
View Issues
|
Change Log
|
Roadmap
|
Repositories
Frama-C - Change Log
Frama-C
-
Frama-C Beryllium-20090601-beta1
(Released 2009-06-23)
[
View Issues
]
================================================================
-
0000060
:
[Kernel]
Conversion from integer to real (
virgile
) - closed.
-
0000059
:
[Kernel]
code normalisation issue when return variable is named __retres (
monate
) - closed.
-
0000062
:
[Kernel]
integer is not well-casted in real (
virgile
) - closed.
-
0000077
:
[Plug-in > Eva]
if((int)(&a+2)) fails to warn about being unspecified (
pascal
) - closed.
-
0000076
:
[Plug-in > Eva]
int a; main(){ return 100 / (int)(&a + 2); } fails to report a division by zero (
pascal
) - closed.
-
0000088
:
[Kernel]
Frama-C should stop on error in annotations instead of issuing a warning (
virgile
) - closed.
-
0000148
:
[Kernel]
cmdline.ml assertion error at line 88 (
signoles
) - closed.
-
0000115
:
[Plug-in > aoraï]
problem for making dynamic plugin (
signoles
) - closed.
-
0000160
:
[Plug-in > jessie]
\at(...,Post) in assigns clause (
cmarche
) - closed.
-
0000096
:
[Kernel]
"logic set
f(...)" throw a syntax error (
virgile
) - closed.
-
0000111
:
[Kernel]
Compilation error if options --with-jessie-static --with-ltl_to_acsl-static are present. (
signoles
) - closed.
-
0000046
:
[Plug-in > jessie]
Jessie/GWhy/Gappa: format file and invalid POs proved valid (
cmarche
) - closed.
-
0000073
:
[Plug-in > jessie]
A pure predicate in an axiomatic with some "unpure" axioms have some strange results (
cmarche
) - closed.
-
0000028
:
[Plug-in > jessie]
Jessie-gui : call of coqide and --project option (
cmarche
) - closed.
-
0000094
:
[Plug-in > jessie]
"assert i >= 0;" not proven for unsigned char (
cmarche
) - closed.
-
0000095
:
[Plug-in > jessie]
"//@ assert i >= CHAR_MIN;" not proven for char (
cmarche
) - closed.
-
0000117
:
[Kernel]
int -> integer -> real (
virgile
) - closed.
-
0000029
:
[Plug-in > jessie]
Lithium fool the tool (
cmarche
) - closed.
-
0000041
:
[Plug-in > jessie]
Inability to prove assigns clauses on simple array code (
cmarche
) - closed.
-
0000036
:
[Plug-in > jessie]
GUI blocked (100% cpu used) when requested to display an assertion (
virgile
) - closed.
-
0000061
:
[Kernel]
frama-c --help (
signoles
) - closed.
-
0000049
:
[Plug-in > jessie]
Jessie/Gwhy: cpulimit-win.c (
cmarche
) - closed.
[22 issues]
Copyright © 2000 - 2019 MantisBT Team