~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
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
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-06-04	Remove parenthesis around returns, as reported and discussed in #891	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ...	Hoang M. Le
2017-10-17	add support for CVC4 and Yices2 via metaSMT	Hoang M. Le
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
2016-10-27	apply clang-format	Hoang M. Le
2016-10-27	update comments	Hoang M. Le
2016-10-27	upgrade to boolector-2.2.0 & remove the no longer needed aux array vector	Hoang M. Le
2016-10-26	move the query creation part into runAndGetCex() (to be consistent with runAn...	Hoang M. Le
2016-10-26	change signature of runAndGetCex() to match runAndGetCexForked()	Hoang M. Le
2016-10-26	remove outdated FIXME (metaSMT-Z3 implements assumption via push/pop)	Hoang M. Le
2016-09-26	Modified logging information to steer the usage of klee_message, klee_warning...	Andrea Mattavelli
2016-08-03	fprintf: convert to klee_warning	Jiri Slaby
2016-06-10	clean up metaSMT includes	Hoang M. Le
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 MetaSMTSolver and MetaSMTSolverImpl out of Solver.cpp into	Dan Liew