1.1.0

Changes

This release includes:

• Improve docs and gitignore #26
• Stop relying on the cmti paths to find the corresponding source files #27
• Reduce the volume of expected reports files and simplify their maintenance #29
• Usage documentation #30
• Add tests for dune wrapped libraries #31
• Fix unified results' failed count #32
• Add support for for dune wrapped libraries #33
• A bundle of minor improvements #34
• Fix robustness against location collisions for opt args reports #37
• Add support for preprocessed files #41

It improves:

• the user documentation (#26, #30, and #34)
• the support of projects built with dune (#27, #31, #33, and #41). This was motivated by and lead to effectively using the dead_code_analyzer on Frama-C (#23)
• the test suite (#29, #31, #32, #34, and #37)

1.0.0

Changes

This release includes:

• Adapt the tool to projects compiled with dune #9
• Fix path lookup, improve 4.05/4.06 support (pass 100% of make check), add Travis CI #11
• OCaml 5.2 compatibility #17
• Migrate to GitHub Actions from Travis CI, and update the dune dependency to 3.20 #21
• Fix windows compatibility, and replace the test engine #22