Frama-C Bug Tracking System

Frama-C - Change Log

Frama-C - Frama-C GIT, precise the release id (Released 2005-12-09) View Issues ]
===================================================================
- 0002325: [Graphical User Interface] Make it build on bytecode architectures (maroneze) - closed.
- 0002323: [Documentation] Spelling errors (virgile) - closed.
- 0002249: [Kernel] __attribute__((aligned(0))) tacitly causes sizeof computation to fail (maroneze) - closed.

[3 issues]


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker