about summary refs log tree commit diff homepage
path: root/lib/Solver/IndependentSolver.cpp
AgeCommit message (Expand)Author
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2023-04-21use unique_ptr all throughout the solver chainDaniel Schemmel
2023-04-21use unique_ptr in IndependentSolverDaniel Schemmel
2022-06-15Spelling Fixesm-davis
2020-11-12Ref: implement operator bool()Julian Büning
2020-07-01Separate constraint set and constraint managerMartin Nowack
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-02-19Use `ref<>` for UpdateNodeMartin Nowack
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-07-23Refactor ConstraintManager to more modern coding standardsDaniel Schemmel
2018-10-30Base time API upon std::chronoFrank Busse
2016-03-22Properly assert that an assignment computed inDan Liew
2016-03-22Try to fix #348Dan Liew
2015-12-23Fix memory leak detected by ASan whenDan Liew
2015-12-23[NFC]Dan Liew
2015-09-05Allow to generate initial values with empty constraint setMartin Nowack
2015-04-01Added the function IndependentSolver::createdPointEvaluatesToTrueEric Rizzi
2015-04-01Commit of improved IndependentSolver::getIniitalValues().Eric Rizzi
2015-04-01Added the ability to solve for all factors in a particular query.Eric Rizzi
2015-03-10Altered DenseSet and IndependentElementSet to record ref<Expr> involvedEric Rizzi
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-05-29Use LLVM DEBUG macro instead of #if 0 or #if DEBUGMartin Nowack
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-08-06Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...Hristina Palikareva
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
2011-05-18Maintain an equivalence set during comparison operationsPeter Collingbourne
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-06-14Add ConstantExpr::{getLimitedValue,getZExtValue}.Daniel Dunbar
2009-06-09Add initial support for constant Arrays.Daniel Dunbar
2009-06-09Switch Array* print-outs to use name instead of ID, and update a fewDaniel Dunbar
2009-06-09Kill off UpdateList::isRooted flag.Daniel Dunbar
2009-06-04Finish 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-06-02 22:38:09 +0000