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
normalize enum order
Yojson deprecated json type
Removed deprecated Pervasives module
update README
more local memory correspondence partial relations
missing files
Also available in: Atom