~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-06-01	[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. This	Dan Liew
	is useful for getting access to the constraints being stored in the Z3 solver in the SMT-LIBv2.5 format.
2017-06-01	[Z3] Support another solver failure reason that Z3 might give. I'm going	Dan Liew
	to guess it means timeout but I'm not 100% sure about this.
2016-09-26	Modified logging information to steer the usage of klee_message, ↵	Andrea Mattavelli
	klee_warning, and klee_error
2016-05-25	add include in Z3Solver.cpp (did not compile with llvm-2.9)	Hoang M. Le

2016-02-14	Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl	Dan Liew
	which is based on the work of Andrew Santosa (see PR #295) but fixes many bugs in that implementation. The implementation communicates with Z3 via it's C API. This implementation is based of the STPSolver and STPBuilder and so it inherits a lot of its flaws (See TODOs and FIXMEs). I have also ripped out some of the optimisations (constructMulByConstant, constructSDivByConstant and constructUDivByConstant) that were used in the STPBuilder because * I don't trust them * Z3 can probably do these for us in the future if we use the ``Z3_simplify()`` At a glance its performance seems worse than STP but future work can look at improving this.