Change Log - Frama-C Bug Tracking System

Frama-C - Change Log
Frama-C - Frama-C Magnesium (Released 2016-01-18) [ View Issues ] ================================================= - 0001771: [Documentation] quality of pdf files (correnson) - closed. - 0002204: [Documentation] provide "Magnesium" product version in the BTS (signoles) - closed. - 0002161: [Kernel] redefinition of __STDC_VERSION__ (yakobowski) - closed. - 0002098: [Kernel > ACSL implementation] overloading of predicate fails (virgile) - closed. - 0002119: [Kernel] "If" statement with only one successor (yakobowski) - closed. - 0002184: [Plug-in > wp] memory leak (endless recursion?) caused by erroneous c program (signoles) - closed. - 0002171: [Kernel > libc] redefinition of size_t, time_t, FILE (maroneze) - closed. - 0002131: [Kernel] Error with casted ternary statements (yakobowski) - closed. - 0001939: [Kernel > libc] Specification of the read function (maroneze) - closed. - 0002144: [Plug-in > wp] crash in presence of \result in assigns (correnson) - closed. - 0000876: [Plug-in > Eva] Widen hints for a variable should not influence the values for other variables (yakobowski) - closed. - 0001022: [Documentation > ACSL] suggest to explain semantics of missing loop assigns clause in Acsl manual (patrick) - closed. - 0002021: [Documentation > ACSL] Incorrect grammar for loop-behavior in document (patrick) - closed. - 0002040: [Plug-in > wp] assumes clause and labels (correnson) - closed. - 0001553: [Kernel > ACSL implementation] Fails to cope with multiple non-contiguous constant array instantiations (yakobowski) - closed. - 0002141: [Plug-in > wp] Incorrect result with X modulo 1 (correnson) - closed. - 0002082: [Plug-in > wp] Crash with \is_infinite (correnson) - closed. - 0002115: [Documentation > ACSL] Typos and Grammatical corrections for the ACSL 1.9 manual (patrick) - closed. - 0002114: [Documentation > ACSL] ACSL manual:issues affecting technical correctness or understanding (patrick) - closed. - 0002143: [Documentation > ACSL] Incorrect grammar of Predicate Application and Function Application (patrick) - closed. - 0001683: [Plug-in > wp] Number of discharged Qed goals counted multiple times (correnson) - closed. - 0002090: [Kernel] unary negation of enum constant always yield 0 (yakobowski) - closed. - 0002117: [Kernel] frama-c gets confused by comma operator inside ternary operator: cannot cast from void to char (yakobowski) - closed. - 0002121: [Kernel] Symbolic links in tar ball (bobot) - closed. - 0002126: [Plug-in > wp] WP crashes on generation of PO for assigns clause (assertion failure in MemVar.ml) (correnson) - closed. - 0002127: [Plug-in > wp] Unprovable inequality involving (unsigned) -1 (correnson) - closed. - 0000875: [Plug-in > Eva] suggest to issue a warning on (<)-comparisons between pointers, unless both are non-null (yakobowski) - closed. [27 issues]