Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 21-Scandium (Released 2020-06-12) View Issues ]
===================================================
- 0002417: [Plug-in > E-ACSL] Invalid label with spaghetti code and E-ACSL full mmodel (bdesloges) - closed.
- 0002501: [Plug-in > wp] error in generated proof obligation (AllanBlanchard) - closed.
- 0002489: [Kernel > libc] unistd.h declares __fc_ttyname but it has no definition (maroneze) - closed.
- 0002502: [Plug-in > Eva] development version (buhler) - closed.

[4 issues]


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker