Releases: Frama-C/headache
Releases · Frama-C/headache
v1.08
- Ensure that headers always contain an empty line at the end (avoid issues with code editors that zealously trim trailing empty lines, even when they were intentional).
- Update minimal OCaml version (due to camomile) and installation instructions.
v1.07
- update to Camomile 2.0 (patch provided by @dmbaturin )
- bump dune-lang to 3.4 and remove unused variable thanks to new set of default warnings
v1.0.6
Add a -v
verbose option and do not show by default messages about lines skipped.