Change Log - Frama-C Bug Tracking System

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]