~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-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-07-01	Use `unique_ptr` for solver in timing solver	Martin Nowack
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	make endif guard naming consistent	Julian Büning
2018-10-30	Base time API upon std::chrono	Frank Busse
2013-08-06	TimingSolver and constructSolverChain() no longer coupled with pointers to ST...	Hristina Palikareva
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2009-06-04	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
2009-06-04	TimingSolver shouldn't need a vtable.	Daniel Dunbar
2009-05-28	Small changes to silence some gcc warnings.	Cristian Cadar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar