Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C Aluminium (Released 2016-05-31) View Issues ]
=================================================
- 0002135: [Kernel > libc] sigsetjmp and siglongjmp in setjmp.h (maroneze) - closed.
- 0002146: [Kernel] Frama-C does not support standard C digraphs (maroneze) - closed.
- 0001368: [Kernel] suggest to suppress "Neither code nor specification" warning for __builtin_va_start (valentin.perrelle) - closed.
- 0001367: [Documentation > ACSL] suggest to mention in acsl manual that \valid shouldn't be applied to function pointers (yakobowski) - closed.
- 0002159: [Plug-in > wp] alt-ergo: undefined symbol andb (correnson) - closed.
- 0002164: [Kernel > Makefile] Relocable buckx (yakobowski) - closed.
- 0002183: [Documentation > ACSL] doubling of a word (maroneze) - closed.
- 0002154: [Plug-in > wp] Zombie processes (correnson) - closed.
- 0002158: [Kernel > ACSL implementation] WP crashes on the given function (virgile) - closed.
- 0002132: [Plug-in > wp] Under windows, many times, Frama-c wp process doesn't kill alt-ergo process before finishing (correnson) - closed.
- 0002217: [Kernel] Frama-c accepts assigning formal parameters when a range is used (virgile) - closed.
- 0002218: [Kernel > ACSL implementation] Specification for sigsetjmp is invalid (virgile) - closed.
- 0001179: [Plug-in > wp] Suggest to supply values of global consts to provers (correnson) - closed.
- 0001790: [Plug-in > jessie] Crash when running "frama-c -jessie -jessie-atp=gui reduce.c" (yakobowski) - closed.
- 0002201: [Plug-in > wp] Unexpected error (Invalid_argument("Z.shift_left: count argument must be positive")) (correnson) - closed.
- 0001968: [Plug-in > Eva] Values inferred for 32-bit variable do not fit in 32-bit type (valentin.perrelle) - closed.
- 0002155: [Plug-in > wp] coq fails to compile Cint because Zbits is not found (patrick) - closed.
- 0002214: [Plug-in > wp] Reals are bad encoded for coq (correnson) - closed.
- 0002203: [Documentation > ACSL] LoopEntry vs LoopInit (virgile) - closed.

[19 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker