summaryrefslogtreecommitdiff
path: root/klee/lib/Solver/CexCachingSolver.cpp
AgeCommit message (Expand)Author
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 v1.2.3 (git 2.25.1) at 2024-07-10 22:30:23 +0000