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.
Correctif
Passage à dune v2
Passage à dune
work in progress for ACSL support
Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
Added some missing locations in tiny plugin
Also available in: Atom