GitHub - XujieSi/PIE: Precondition Inference Engine

Make the tool runnable by following setup:

python-3.6

gcc/g++ 5.4.0

llvm-3.6.2.src

z3-4.4.0

CVC4-1.5

Ocaml 4.05.0 (with qcheck-0.4)

Name		Name	Last commit message	Last commit date
Latest commit History 123 Commits
ClangTool		ClangTool
abducer		abducer
base		base
bm_abduce		bm_abduce
bm_hola		bm_hola
bm_ice		bm_ice
bm_oopsla		bm_oopsla
bm_strings		bm_strings
cvc4		cvc4
hybrid		hybrid
pldi_logs		pldi_logs
specs		specs
z3		z3
.clang-format		.clang-format
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
couscous.yml		couscous.yml
mk_mem_cgroup		mk_mem_cgroup
orig_README.md		orig_README.md

XujieSi/PIE