Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Carbon-20110201 (Released 2011-08-02) View Issues ]
=======================================================
- 0000645: [Kernel] lose of location displayed by Cil.warning (monate) - closed.
- 0000637: [Kernel > Makefile] actions done with make install -n (svn 10897) (signoles) - closed.
- 0000635: [Kernel] losing messages doing save/load (signoles) - closed.
- 0000666: [Graphical User Interface] Wrong evaluation of expression in the GUI (pascal) - closed.
- 0000673: [Plug-in > slicing] untypable ACSL in a sliced program containing \result (patrick) - closed.
- 0000677: [Kernel] Help options are wrongly described as "aliases" when they have the same description. (signoles) - closed.
- 0000836: [Plug-in > Eva] Unexpected error (File "cil/ocamlutil/cilutil.ml", line 918, characters 10-16: Assertion failed). (pascal) - closed.
- 0000642: [Plug-in > wp] unprovable po with -split (dargaye) - closed.
- 0000646: [Plug-in > wp] [wp] warning: Stronger goal store_AppelerVerifier_post_6 (1 warning) (dargaye) - closed.
- 0000662: [Plug-in > wp] warning: Degenerated goal (dargaye) - closed.
- 0000665: [Plug-in > wp] Unexpected error (Stack overflow) during WP (correnson) - closed.
- 0000701: [Plug-in > wp] Unexpected error (Failure("int_of_string")). (correnson) - closed.
- 0000710: [Plug-in > slicing] Crash during slicing (Anne) - closed.
- 0000630: [Kernel] bad location with tmp CIL variable (virgile) - closed.
- 0000647: [Kernel > configure] lib apron not found in configure (signoles) - closed.

[15 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker