Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 19-Potassium (Released 2019-06-21) View Issues ]
====================================================
- 0002200: [Documentation > ACSL] explicitly mention operator precedences when referring to Fig.2.1 "Grammar of terms" in the acsl-implementation manual (patrick) - resolved.
- 0002450: [Documentation > manuals] formatting problem in acsl-implementation-18.0-Argon.pdf (patrick) - resolved.
- 0001809: [Kernel] Frama-C should not have unimplemented headers (maroneze) - closed.
- 0002433: [Plug-in > obfuscator] Obfuscator does not obfuscate argument name of function pointers (virgile) - closed.
- 0002372: [Kernel > configure] coq and ocaml conflict (virgile) - closed.
- 0002429: [Graphical User Interface] Porting to Lablgtk3 (GTK3 OCaml bindings) (virgile) - closed.
- 0002432: [Kernel] Attributes of size 1 are rejected (virgile) - closed.
- 0002382: [Kernel] handling of escape sequences (virgile) - closed.
- 0002453: [Plug-in > wp] number of generated files in Frama-C 18 vs 19. beta(2) (bobot) - closed.
- 0002437: [Kernel] External provers broken with 19.0-beta1 (correnson) - closed.

[10 issues]


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker