about summary refs log tree commit diff homepage
path: root/unittests/Solver
AgeCommit message (Expand)Author
2016-11-19[CMake] Remove unneeded dependency declarations for the unit tests.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-01-14Refactor the MetaSMT makefile commands into its own file which canDan Liew
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providingDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-04-03Upstream STP now depends on an external build of minisat. Attempt toDan Liew
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2014-11-01Upstream libstp is no longer dependent on Boost so remove theDan Liew
2014-02-12Fixed compilation of unittests with upstream STP (Boost dependency).Dan Liew
2013-08-21Remove unnecessary loop from SolverTest unit test.Dan Liew
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-04-07Fix unittests build when using external STP.Peter Collingbourne
2010-04-29Fixed compilation of unit tests.Cristian Cadar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-06-09Remove Array::object.Daniel Dunbar
2009-06-09Remove Array::id.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 02:44:02 +0000