~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2016-09-26	Modified logging information to steer the usage of klee_message, ↵	Andrea Mattavelli
	klee_warning, and klee_error
2016-09-15	Add ``-debug-cross-check-core-solver`` option to allow cross-checking	Dan Liew
	with another solver. For example the core solver can be STP and the cross checking solver can be Z3. Unfortunately a few fragile tests don't pass when actually using this option.
2016-09-15	Clang-format ``ConstructSolverChain.cpp``	Dan Liew

2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
2013-08-06	TimingSolver and constructSolverChain() no longer coupled with pointers to ↵	Hristina Palikareva
	STPSolver objects. Timeout is now set by the solver at the top of the solver chain rather than by STPSolver.
2013-04-03	Code reformatting.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@178642 91177308-0d34-0410-b5e6-96231b3b80d8
2013-03-11	Forgot to add ConstructSolverChain.cpp in the previous patch.	Cristian Cadar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176813 91177308-0d34-0410-b5e6-96231b3b80d8