Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-30 | Change `GetConstraintLog` to work with `std::string`s instead of `char*`s | Daniel Schemmel | |
2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel | |
2023-04-21 | use unique_ptr in STPSolverImpl | Daniel Schemmel | |
2023-03-23 | stats: rename numQueries/Queries -> SolverQueries, add Queries | Frank Busse | |
2023-03-22 | STP: add option to switch SAT solver: --stp-sat-solver and set default to ↵ | Frank Busse | |
CryptoMinisat | |||
2020-04-30 | Moved header files that were placed directly in include/klee/ into ↵ | Cristian Cadar | |
appropriate existing directories and a new directory Statistics; a few missing renames. | |||
2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar | |
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 ↵ | Cristian Cadar | |
directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE. | |||
2019-03-20 | STPSolver: C++11, add missing free, refactoring | Frank Busse | |
2019-03-11 | Replaced "default=off" with "default=false" | MartinNowack | |
Co-Authored-By: ccadar <c.cadar@imperial.ac.uk> | |||
2019-03-11 | Added options in STPSolver.cpp to the constraint solving category | Cristian Cadar | |
2018-10-30 | Base time API upon std::chrono | Frank Busse | |
This should not change the behaviour of KLEE and mimics the old API. - functions moved from util into time namespace - uses time points and time spans instead of double - CLI arguments now have the form "3h5min8us" Changed command line parameters: - batch-time (double to string) - istats-write-interval (double to string) - max-instruction-time (double to string) - max-solver-time (double to string) - max-time (double to string) - min-query-time-to-log (double to string) - seed-time (double to string) - stats-write-interval (double to string) - uncovered-update-interval (double to string) - added: log-timed-out-queries (replaces negative max-solver-time) | |||
2017-06-02 | hide backend solver declarations from public include | Hoang M. Le | |
2017-02-14 | Added error message when STP fails to fork. | Cristian Cadar | |
2016-08-03 | fprintf: convert to klee_warning | Jiri Slaby | |
In some Solver sources, some error outputs were missing \n. Instead of adding a new line to all of them, convert the fprintf's to klee_warning which adds \n automatically. ErrorHandling.h had to be included in MetaSMTSolver.cpp to have klee_warning declared there. Signed-off-by: Jiri Slaby <jslaby@suse.cz> | |||
2016-07-29 | Explicitely making division total in STP. | Cristian Cadar | |
2016-01-14 | Make it possible to build KLEE without using STP and only MetaSMT. | Dan Liew | |
The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency. | |||
2016-01-12 | [NFC] Refactor STPSolver and STPSolverImpl out of Solver.cpp into their | Dan Liew | |
own file ``STPSolver.cpp``. Whilst I'm here also clang-format the modified code. |