~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-01-30	Change `GetConstraintLog` to work with `std::string`s instead of `char*`s	Daniel Schemmel
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2023-04-21	use unique_ptr in STPSolverImpl	Daniel Schemmel
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2023-03-22	STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...	Frank Busse
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
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-03-20	STPSolver: C++11, add missing free, refactoring	Frank Busse
2019-03-11	Replaced "default=off" with "default=false"	MartinNowack
2019-03-11	Added options in STPSolver.cpp to the constraint solving category	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2017-06-02	hide backend solver declarations from public include	Hoang M. Le
2017-02-14	Added error message when STP fails to fork.	Cristian Cadar
2016-08-03	fprintf: convert to klee_warning	Jiri Slaby
2016-07-29	Explicitely making division total in STP.	Cristian Cadar
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2016-01-12	[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their	Dan Liew