~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-07-26	Now that LLVM 2.9 is gone, we can use cl::bits instead of cl::list	Cristian Cadar

2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
	assignments against the corresponding `Query` object and check the assignment evaluates correctly. This can be switched on using `-debug-assignment-validating-solver` on the command line.
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi

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