Anonymous |
Login
|
Signup for a new account
2019-02-22 02:16 CET
Main
|
My View
|
View Issues
|
Change Log
|
Roadmap
|
Repositories
Frama-C - Change Log
Frama-C
-
Frama-C Beryllium-20090902
(Released 2009-09-23)
[
View Issues
]
==========================================================
-
0000170
:
[Documentation > manuals]
Impossible to pass option to jessie or why through jessie plugin (
correnson
) - closed.
-
0000285
:
[Plug-in > jessie]
jessie problem - closed.
-
0000242
:
[Graphical User Interface]
'Go to definition' and 'Go to caller' do not update main view of GUI (
monate
) - closed.
-
0000068
:
[Plug-in > Eva]
Plug-in inout fails to parse clause /*@ assigns s[..]; */ (
pascal
) - closed.
-
0000230
:
[Kernel]
Missing functions to convert logic terms directly to abstract values (
pascal
) - closed.
-
0000234
:
[Kernel]
Wrong display of call stacks in value analysis (
correnson
) - closed.
-
0000238
:
[Graphical User Interface]
Files of a project state not displayed on reload in GUI (
monate
) - closed.
-
0000236
:
[Graphical User Interface]
Error when linking the viewer (
signoles
) - closed.
-
0000223
:
[Kernel]
-warn-unspecified-order false positive (
virgile
) - closed.
-
0000253
:
[Kernel]
Extlib.deprecated does not use Log.* to print messages (
correnson
) - closed.
-
0000250
:
[Plug-in > obfuscator]
obfuscator loses link between logic and C variables (
monate
) - closed.
-
0000237
:
[Graphical User Interface]
Warning repetition in Messages window (
correnson
) - closed.
-
0000187
:
[Plug-in > jessie]
Error while processing legitimate C construction (
cmarche
) - closed.
-
0000273
:
[Plug-in > jessie]
Uncaught exception: assert false on bitvector (
cmarche
) - closed.
-
0000071
:
[Plug-in > jessie]
labels are not correctly translated in jessie+why (
cmarche
) - closed.
-
0000347
:
[Plug-in > jessie]
Using Z3 dumps plenty logs of texts in the console (
cmarche
) - closed.
-
0000222
:
[Plug-in > jessie]
Recursive logic definitions are not correctly translated. (
cmarche
) - closed.
-
0000260
:
[Plug-in > jessie]
is_finite predicate: type double expected instead of real in .jc file (
ayad
) - closed.
-
0000224
:
[Kernel]
Non-exhaustive pattern matching leads to compilation error (
signoles
) - closed.
[19 issues]
Copyright © 2000 - 2019 MantisBT Team