~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 Z3SolverImpl	Daniel Schemmel
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2022-08-26	Use true instead of Z3_TRUE (removed in z3 4.11.0)	Jerry James
2021-03-04	[Z3] Handle the case when interruption caught by Z3	Pavel Yatcheniy
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-03-27	Ensure that temp_builder is used when adding constant array value assertion c...	Daniel Grumberg
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-11	Added Z3 options to the constraint solving category	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-09-20	Silence an uninitialized variable compiler warning (and a tiny formatting cha...	Cristian Cadar
2018-07-04	Fix compiler warnings if assertions are disabled	Martin Nowack
2018-05-09	Improve handling of constant array in Z3	Timotej Kapus
2017-06-02	hide backend solver declarations from public include	Hoang M. Le
2017-06-01	[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...	Dan Liew
2017-06-01	[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.	Dan Liew
2017-06-01	[Z3] In `getConstraintLog()` use a separate builder from that of the	Dan Liew
2017-06-01	[Z3] Implement API logging.	Dan Liew
2017-06-01	[Z3] Add option to manually validate Z3 models.	Dan Liew
2017-06-01	[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. This	Dan Liew
2017-06-01	[Z3] Support another solver failure reason that Z3 might give. I'm going	Dan Liew
2016-09-26	Modified logging information to steer the usage of klee_message, klee_warning...	Andrea Mattavelli
2016-05-25	add include in Z3Solver.cpp (did not compile with llvm-2.9)	Hoang M. Le
2016-02-14	Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl	Dan Liew