Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C 19-Potassium (Not Yet Released) View Issues ]
=================================================
- 0002372: [Kernel > configure] coq and ocaml conflict (virgile) - resolved.
- 0002429: [Graphical User Interface] Porting to Lablgtk3 (GTK3 OCaml bindings) (virgile) - resolved.
- 0002432: [Kernel] Attributes of size 1 are rejected (virgile) - resolved.
- 0002433: [Plug-in > obfuscator] Obfuscator does not obfuscate argument name of function pointers (virgile) - resolved.
- 0001809: [Kernel] Frama-C should not have unimplemented headers (maroneze) - resolved.

[5 issues]


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker