about summary refs log tree commit diff homepage
path: root/lib/Solver/CexCachingSolver.cpp
AgeCommit message (Expand)Author
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-21use unique_ptr in CexCachingSolverDaniel Schemmel
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
2020-01-28updatecomet
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-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2019-03-13Added options in CexCachingSolver.cpp to the constraint solving category and ...Cristian Cadar
2019-01-15make AssignmentLessThan::operator() const-invocableJulian Büning
2018-10-30Base time API upon std::chronoFrank Busse
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-17Report fatal error in case CexCache Bindings do not matchMartin Nowack
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-07-06Make the super-set check in CexCachingSolver default offEric Rizzi
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-07-11Fixed and improved the stats on (cex)cache hits and misses.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2009-07-17Simplify some code, and add more comments.Daniel Dunbar
2009-07-17Add some comments for CexCachingSolver::searchForAssignment.Daniel Dunbar
2009-07-10Replaced createNot() by createIsZero() and "Not" macro by "Nz". Cristian Cadar
2009-06-14Add several ConstantExpr utility functions and move clients over.Daniel Dunbar
2009-06-04Sink getConstantValue into ConstantExpr.Daniel Dunbar
2009-06-04Finish removing uses of Expr::isConstant.Daniel Dunbar
2009-06-04Start removing uses of Expr::isConstant.Daniel Dunbar
2009-06-04Move isConstant from ref<> to Expr::Daniel Dunbar
2009-06-03Kill off specialized ref<> forwarding methods, in the interest of making it aDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 05:40:51 +0000