~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	Separate constraint set and constraint manager	Martin Nowack
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
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2013-08-21	Remove unnecessary loop from SolverTest unit test.	Dan Liew
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-09	Remove Array::object.	Daniel Dunbar
2009-06-09	Remove Array::id.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar