~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
2017-06-02	hide backend solver declarations from public include	Hoang M. Le
2017-06-02	replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...	Hoang M. Le
2017-03-03	Using klee_message instead of llvm:errs	Cristian Cadar
2016-09-15	Add ``-debug-cross-check-core-solver`` option to allow cross-checking	Dan Liew
2016-06-10	clean up metaSMT includes	Hoang M. Le
2016-02-14	Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl	Dan Liew
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew
2016-01-14	MetaSMT build fixes.	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew