Change Log - Frama-C Bug Tracking System

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<struct something *> 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]