Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Beryllium-20090901 (Released 2009-09-02) View Issues ]
==========================================================
- 0000180: [Kernel] Save/Load elapsed time (pascal) - closed.
- 0000184: [Plug-in > slicing] slicing crashes when there is no entry point to the function (Anne) - closed.
- 0000193: [Plug-in > slicing] crash with information [kernel] error: unexpected error Extlib.NotYetImplemented("[logic_interp] not a lvalue") (correnson) - closed.
- 0000189: [Kernel] the configure script does not work properly with libocamlgraph-ocaml-dev 1.1-1 (signoles) - closed.
- 0000169: [Kernel] Build fails due to Printexc.record_backtrace (signoles) - closed.
- 0000200: [Kernel] Error while linking lib/plugins/Jessie.cmo (signoles) - closed.
- 0000216: [Plug-in > scope] Uncaught exception in scope (pascal) - closed.
- 0000192: [Kernel] -ocode causes crach (pascal) - closed.
- 0000198: [Kernel] Packing for dynamic plug-in is not done in current directory (signoles) - closed.
- 0000195: [Plug-in > Eva] wrongly synthesized assert (pascal) - closed.
- 0000197: [Kernel] Options <plug-in>-debug and <plug-in>-verbose for dynamic plug-ins do not work (signoles) - closed.
- 0000211: [Kernel] "make doc" error (signoles) - closed.
- 0000182: [Kernel] The file `share/configure.ac' is missing (virgile) - closed.
- 0000225: [Graphical User Interface] Incorrect linking order for the viewer (signoles) - closed.
- 0000190: [Plug-in > slicing] crash when unbound variable (patrick) - closed.
- 0000163: [Kernel] crash for untyped_metrics example plugin (monate) - closed.
- 0000183: [Kernel] 'make top' fails (virgile) - closed.

[17 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker