~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
2024-01-30	Avoid generating array names in solver builders that could accidently collide	Martin Nowack
2023-04-21	use unique_ptr all throughout the solver chain	Daniel Schemmel
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-04-07	Add unit test for Z3Solver::getConstraintLog	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
2018-10-16	Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...	Cristian Cadar
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2016-11-19	[CMake] Remove unneeded dependency declarations for the unit tests.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-02-10	Add some of the basic plumbing required to support a Z3 solver in KLEE.	Dan Liew
2016-01-14	Refactor the MetaSMT makefile commands into its own file which can	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
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-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2014-11-01	Upstream libstp is no longer dependent on Boost so remove the	Dan Liew
2014-02-12	Fixed compilation of unittests with upstream STP (Boost dependency).	Dan Liew
2013-08-21	Remove unnecessary loop from SolverTest unit test.	Dan Liew
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-04-07	Fix unittests build when using external STP.	Peter Collingbourne
2010-04-29	Fixed compilation of unit tests.	Cristian Cadar
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