~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 QueryLoggingSolver	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-30	Base time API upon std::chrono	Frank Busse
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
2018-10-23	use klee_open_output_file for uncompressed logs	Julian Büning
2016-07-08	Support gzip-based compression of raw_outstreams	Martin Nowack
2016-03-23	Refactoring of conditional flush into own function.	Martin Nowack
2016-03-23	Fix comment + Clang Formatting	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2013-01-02	Forgot to add QueryLoggingSolver in patch 171387 from Tomasz Kuchta.	Cristian Cadar