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 TinyLustrev 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...
Mise à jour README.md
Explanation about the Makefile
Transition to dune build systemImprovement of opam integrationDockerfile based on AlpineDockerfile based on UbuntuUpdate the README.md
Seal deps + Z3 pin opam
Updating dependencies in the READ:E
add waffle.io badge