-
Virgile Prevosto authored
- convert to new frama-c-book class - fixes incoherent use of macros (probably some more work to do) - update instructions post-dune migration - announce opam package
Virgile Prevosto authored- convert to new frama-c-book class - fixes incoherent use of macros (probably some more work to do) - update instructions post-dune migration - announce opam package
