about summary refs log tree commit diff homepage
path: root/unittests/Solver/SolverTest.cpp
AgeCommit message (Expand)Author
2020-07-01Separate constraint set and constraint managerMartin Nowack
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
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-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2013-08-21Remove unnecessary loop from SolverTest unit test.Dan Liew
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-22 04:57:51 +0000