Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 20-Calcium (Not Yet Released) View Issues ]
===============================================
- 0001484: [Plug-in > wp] ill-typed alt-ergo proof obligation (correnson) - resolved.
- 0002371: [Plug-in > wp] suggest to provide results of commandl-line "-wp-prop" evaluation in a file in the wp-out directory (correnson) - resolved.
- 0002394: [Plug-in > wp] conditional input annotations result in why3 type errors (correnson) - resolved.
- 0002389: [Plug-in > wp] Failure to detect qed libraries when running wp (correnson) - resolved.
- 0002378: [ptests] Bytecode only compilation fails when linking to stdlib (maroneze) - resolved.
- 0002468: [Opam] opam fails to install frama-c (maroneze) - resolved.
- 0002418: [Documentation > manuals] Outdated -rte-all option in RTE manual (signoles) - resolved.

[7 issues]


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker