Normalize constants in EMF/Reticle backend
missing reticle file
Reticle backend: workinprogress
Solved issues with parsing argument on generated main
reactivate scope plugin
Trying to make it work with opam
Preping for future release 1.8
Script to build in docker
Removed option in configure.ac to rely on github Z3
Added tiny as an optional feature
missing dep to str in _tags
Preparing release 1.7 Xia/Huai
Merge branch 'merge-2022_04_11' into cocospec-to-acsl
Missing files
Merge branch 'cocospec-to-acsl' into merge-2022_04_11
new ignored tests (timeouts)
updated wrt tiny library API changes
the strategy seems to be fixed (ie. does not imply those strange Lang.floats non-initialized context exceptions)
fix tests and strategy
added a simpler version of the problematic Detector1_PP example
do not ignore invalid contracts (bc we do not compile them)
flag for contracts compilation
recursive strategy to unfold memory pack relations
Cleaning
the strategy will now unfold reset_cleared predicates
Also available in: Atom