Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 20-Calcium (Released 2019-12-31) View Issues ]
==================================================
- 0002418: [Documentation > manuals] Outdated -rte-all option in RTE manual (signoles) - closed.
- 0002468: [Opam] opam fails to install frama-c (maroneze) - closed.
- 0002378: [ptests] Bytecode only compilation fails when linking to stdlib (maroneze) - closed.
- 0002389: [Plug-in > wp] Failure to detect qed libraries when running wp (correnson) - closed.
- 0001484: [Plug-in > wp] ill-typed alt-ergo proof obligation (correnson) - closed.
- 0002394: [Plug-in > wp] conditional input annotations result in why3 type errors (correnson) - closed.
- 0002371: [Plug-in > wp] suggest to provide results of commandl-line "-wp-prop" evaluation in a file in the wp-out directory (correnson) - closed.
- 0002330: [Plug-in > wp] known, but inferrable, yet not inferred, property not given as precodition to provers (correnson) - closed.
- 0001806: [Plug-in > wp] Error in coq code generated by wp (correnson) - closed.
- 0002469: [Documentation > website] wrong test path given in Compiling from source - Quick Start" (virgile) - closed.
- 0002466: [Opam] Can't build from source using opam (maroneze) - closed.
- 0002464: [Opam] Potassium does not install on the given Mac version from opam (correnson) - closed.
- 0002200: [Documentation > ACSL] explicitly mention operator precedences when referring to Fig.2.1 "Grammar of terms" in the acsl-implementation manual (patrick) - closed.
- 0002471: [Plug-in > wp] frama-c/wp generates invalid why3 (correnson) - closed.
- 0002450: [Documentation > manuals] formatting problem in acsl-implementation-18.0-Argon.pdf (patrick) - closed.

[15 issues]


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker