Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Fluorine-20130401 (Released 2013-04-19) View Issues ]
=========================================================
- 0001335: [Documentation] new link to ACSL by Example (patrick) - closed.
- 0001334: [Documentation] Fraunhofer FIRST -> Fraunhofer FOKUS (patrick) - closed.
- 0001284: [Kernel] Copy visitor builds an inconsistent AST on clause 'frees' (virgile) - closed.
- 0001277: [Kernel] Datatype.triple is missing (signoles) - closed.
- 0001282: [Kernel] [Visitor] Cil.JustCopy does not work on functions with contracts (virgile) - closed.
- 0001287: [Kernel] no hook table for parameter -plevel (signoles) - closed.
- 0001290: [Plug-in > aoraï] aorai doesn't enrich user's "loop assigns" by generated internal variables (virgile) - closed.
- 0001295: [Kernel] bad help printing for option when invisible and has negative option (signoles) - closed.
- 0001309: [Kernel > ACSL implementation] Incorrect typing of term conditional over floats (virgile) - closed.
- 0001316: [Plug-in > wp] false property proved intTyped (if confirmed) (correnson) - closed.
- 0001343: [Kernel > Makefile] "make clean" does not work when upgrading OCaml (signoles) - closed.
- 0001360: [Plug-in > wp] \valid_read and assigns (correnson) - closed.
- 0000856: [Plug-in > Eva] non-constant size of 2-dim array leads to crash (some similarities to issue 0000852) (yakobowski) - closed.
- 0001355: [Plug-in > wp] WP computation is looping during variable analysis (yakobowski) - closed.
- 0001359: [Documentation > ACSL] duplicate entries in index of acsl documentation (virgile) - closed.
- 0001385: [Kernel] Compilation crash if ocamllex.opt not installed (signoles) - closed.
- 0000722: [Kernel > ACSL implementation] bitwise operator (virgile) - closed.
- 0000915: [Plug-in > Eva] interest for a built-in memset function (yakobowski) - closed.
- 0001127: [Kernel] Error in Type.pp_ml_name with Datatype.String.Set.ty (signoles) - closed.
- 0000090: [Plug-in > slicing] Remove generated annotations from slicing results (yakobowski) - closed.
- 0001364: [Plug-in > Eva] strange warning "extracting bits of a pointer" (yakobowski) - closed.
- 0000862: [Kernel > ACSL implementation] ACSL parser + pretty-printer (virgile) - closed.
- 0001213: [Kernel] suggest to forbid unknown functions by default (virgile) - closed.
- 0001119: [Plug-in > wp] couldn't verify series of struct member initializations (correnson) - closed.
- 0000794: [Plug-in > wp] initial value of strings (correnson) - closed.
- 0000793: [Plug-in > wp] time too long even with -wp-timeout 1 (dargaye) - closed.
- 0000992: [Plug-in > wp] Wrong WP computation when calling a function with behaviors (assigns problem ?) (correnson) - closed.
- 0001038: [Plug-in > wp] lemma tacitly ignored in absense of C code (correnson) - closed.
- 0001264: [Plug-in > Eva] Locations.valid_enumerate_bits enumerate invalid bits (yakobowski) - closed.
- 0001299: [Plug-in > wp] unproven property used in a behavior in Typed model (correnson) - closed.
- 0001293: [Plug-in > wp] proc name in assigns clause causes crash (correnson) - closed.
- 0001302: [Plug-in > Eva] Crash with Invalid argument for Frama_C_alloc_size function (yakobowski) - closed.
- 0001328: [Kernel > ACSL implementation] Incorrect AST in presence of local ghost variables (virgile) - closed.
- 0001348: [Plug-in > wp] performance problem about number of fields in structure for struct equality properties (correnson) - closed.
- 0001372: [Plug-in > Eva] Extern function vs extern variable to get a random value (yakobowski) - closed.

[35 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker