about summary refs log tree commit diff homepage
path: root/lib/Solver/STPSolver.cpp
AgeCommit message (Expand)Author
2020-04-30Moved header files that were placed directly in include/klee/ into appropriat...Cristian Cadar
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
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-20STPSolver: C++11, add missing free, refactoringFrank Busse
2019-03-11Replaced "default=off" with "default=false"MartinNowack
2019-03-11Added options in STPSolver.cpp to the constraint solving categoryCristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2017-06-02hide backend solver declarations from public includeHoang M. Le
2017-02-14Added error message when STP fails to fork.Cristian Cadar
2016-08-03fprintf: convert to klee_warningJiri Slaby
2016-07-29Explicitely making division total in STP.Cristian Cadar
2016-01-14Make it possible to build KLEE without using STP and only MetaSMT.Dan Liew
2016-01-12[NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into theirDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 11:02:26 +0000