about summary refs log tree commit diff homepage
path: root/lib/Solver/CoreSolver.cpp
AgeCommit message (Expand)Author
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2018-10-16Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...Cristian Cadar
2017-06-02hide backend solver declarations from public includeHoang M. Le
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-03-03Using klee_message instead of llvm:errsCristian Cadar
2016-09-15Add ``-debug-cross-check-core-solver`` option to allow cross-checkingDan Liew
2016-06-10clean up metaSMT includesHoang M. Le
2016-02-14Add basic implementation of Z3Builder and Z3Solver and Z3SolverImplDan Liew
2016-02-10Add some of the basic plumbing required to support a Z3 solver in KLEE.Dan Liew
2016-01-14MetaSMT build fixes.Dan 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-10 23:20:53 +0000