Tiny verifier: better control of the print commands
Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!
add thread dependency required by z3 lib
moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
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...
Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition
Mise à jour README.md
adding lusic building of libraries when installing includes
Cleaning up configure.ac by removing now useless informations
Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang
reactivating all plugins
restricting opam to core install
fixed some code in salsa plugin migration
Opam not generated by dune
Explanation about the Makefile
Add explanation for mlmpfr and mpfr version pinning
Transition to dune build systemImprovement of opam integrationDockerfile based on AlpineDockerfile based on UbuntuUpdate the README.md
added some cleaning about hash-tables used for typing, clocking, etc.
Passage à dune v2
Passage à dune
work in progress for ACSL support
Also available in: Atom