Skip to content

Releases: Frama-C/headache

v1.08

15 May 10:07
Compare
Choose a tag to compare
  • 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

30 Jun 15:50
Compare
Choose a tag to compare
  • 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

08 Dec 14:54
e9f5e89
Compare
Choose a tag to compare

Add a -v verbose option and do not show by default messages about lines skipped.