CristalCaveGem » LustreC

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation...

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md