Files

benchmarks

Stefan Krulj

Fix previous commit

Jul 19, 2018

6405e8e · Jul 19, 2018

This branch is 25 commits ahead of, 11432 commits behind Z3Prover/z3:master.

Name		Name	Last commit message	Last commit date
parent directory ..
bound-tests		bound-tests	Implemented bounds for data predicates	Jul 16, 2018
examples-paper		examples-paper	First version of syntax finished	Jun 7, 2018
simple		simple	Implemented bound-checks for list/tree without data-predicates and si…	Jul 13, 2018
unsat		unsat	Fix previous commit	Jul 19, 2018