build « scripts - ~cnx/klee - KLEE fork for patch differentiation testing

Mode	Name	Size
-rw-r--r--	Dockerfile_base	387	log plain blame
-rw-r--r--	Dockerfile_klee	1970	log plain blame
-rw-r--r--	Dockerfile_klee_deps	837	log plain blame
-rw-r--r--	Dockerfile_llvm_build	566	log plain blame
-rw-r--r--	Dockerfile_solver_build	734	log plain blame
-rwxr-xr-x	build-docker.sh	2882	log plain blame
-rwxr-xr-x	build-travis-containers.sh	590	log plain blame
-rwxr-xr-x	build-travis.sh	568	log plain blame
-rw-r--r--	common-defaults.sh	1386	log plain blame
-rw-r--r--	common-functions	6230	log plain blame
-rwxr-xr-x	dependencies-ubuntu.sh	892	log plain blame
-rwxr-xr-x	install-klee-deps.sh	591	log plain blame
-rwxr-xr-x	install-local.sh	350	log plain blame
-rwxr-xr-x	klee.sh	8274	log plain blame
-rwxr-xr-x	llvm.sh	6376	log plain blame
d---------	patches	80	log plain
-rwxr-xr-x	run-coverage.sh	798	log plain blame
-rwxr-xr-x	solver-metasmt.sh	1052	log plain blame
-rwxr-xr-x	solver-stp.sh	1824	log plain blame
-rwxr-xr-x	solver-z3.sh	881	log plain blame
-rwxr-xr-x	solvers.sh	557	log plain blame
-rwxr-xr-x	tcmalloc.sh	1147	log plain blame
-rwxr-xr-x	testing-utils.sh	389	log plain blame
-rwxr-xr-x	uclibc.sh	1289	log plain blame