~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-07-21	Add code to only keep in the --help menu the KLEE/Kleaver option categories	Cristian Cadar
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2023-04-21	use unique_ptr in Solver	Daniel Schemmel
2023-04-21	use unique_ptr in StagedSolverImpl	Daniel Schemmel
2023-04-06	Support disabling compiler warnings; Use with external headers	Martin Nowack
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2022-07-04	Fix memory leak in crosscheck core solver mechanism	Daniel Schemmel
2020-07-01	Clean-up and add documentation	Martin Nowack
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
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
2020-04-08	stats: remove queryConstructTime (unused)	Frank Busse
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar