| Age | Commit message (Expand) | Author |
|---|
| 2013-08-27 | Port to LLVM 3.3 | Martin Nowack |
| 2013-08-06 | TimingSolver and constructSolverChain() no longer coupled with pointers to ST... | Hristina Palikareva |
| 2013-08-06 | Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo... | Hristina Palikareva |
| 2013-08-06 | Renaming solver-related command-line options in order to decouple them from S... | Hristina Palikareva |
| 2013-05-08 | Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQ... | Cristian Cadar |
| 2013-05-08 | Patch by Dan Liew: "Improve the doxygen comments for ExprSMTLIBPrinter" | Cristian Cadar |
| 2013-05-08 | Patch by Dan Liew (with a few changes by me) that improves the Doxygen docume... | Cristian Cadar |
| 2013-05-07 | Fixed incorrect comment. | Cristian Cadar |
| 2013-03-11 | Patch by Dan Liew which unifies the solver construction between KLEE | Cristian Cadar |
| 2013-03-06 | Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver. | Cristian Cadar |
| 2013-01-29 | Patch by Tomasz Kuchta that fixes the fragile way in which KLEE and Kleaver o... | Cristian Cadar |
| 2013-01-22 | Patch by Hristina Palikareva which enables Kleaver to configure the | Cristian Cadar |
| 2013-01-02 | Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea... | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding more detailed information on query failures. | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ... | Cristian Cadar |
| 2013-01-02 | Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl... | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew improving the description of getZExtValue (see discussion a... | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Added support for generating .smt2 files when | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv... | Cristian Cadar |
| 2012-10-24 | Nice patch by Dan Liew that adds support for printing queries in the | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp so | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: " Modified ConstantExpr::toString() to take an | Cristian Cadar |
| 2012-10-19 | Added missing header file (part of the last patch). | Cristian Cadar |
| 2012-10-18 | Nice patch by Hristina Palikareva that removes the dependency on STP | Cristian Cadar |
| 2012-10-08 | Fix to previous patch, which would not compile with LLVM 2.9. | Cristian Cadar |
| 2012-10-08 | Make the changes in r165394 be conditional on post LLVM 3.1 changes. | Micah Villmow |
| 2012-10-08 | Move TargetData to DataLayout. | Micah Villmow |
| 2012-09-11 | Patch by Dan Liew for ConstantExpr::isTrue() and ConstantExpr::isFalse(): | Cristian Cadar |
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the --with... | Cristian Cadar |
| 2012-07-26 | Patch by Dan Liew that adds support for building Doxygen out-of-source. | Cristian Cadar |
| 2012-06-19 | Patch by Seungbeom Kim for compatibility with old LLVM 2.6. | Cristian Cadar |
| 2012-06-19 | Patch by Oscar Dustmann: "A pure-debug loop that only contained | Cristian Cadar |
| 2012-04-07 | Patch by Seungbeom that fixes a memory management issue with Refs, and | Cristian Cadar |
| 2012-04-07 | Fix ConstantExpr::is{Zero,One,AllOnes} for arbitrary bitwidths. | Peter Collingbourne |
| 2012-01-18 | Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory | Cristian Cadar |
| 2011-07-29 | Sign extend, rather than zero extend, narrow gep indices | Peter Collingbourne |
| 2011-07-20 | Updates for LLVM 3.0. Based on changes by arrowdodger, thanks! | Peter Collingbourne |
| 2011-07-20 | Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of | Peter Collingbourne |
| 2011-05-25 | Name symbolic arrays using the 3rd argument to klee_make_symbolic, | Peter Collingbourne |
| 2011-05-18 | Maintain an equivalence set during comparison operations | Peter Collingbourne |
| 2011-04-23 | Fixed bug reported by Li Xuan Ji and Ayrat Khalimov. | Cristian Cadar |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2010-08-05 | Have getDirectCallTarget use CallSite | Peter Collingbourne |
| 2010-07-15 | Fix some -Wmismatched-tags warnings. | Daniel Dunbar |
| 2010-07-15 | Remove stray semicolons in class definitions. | Daniel Dunbar |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2010-07-08 | Add support for InsertValue and ExtractValue instructions | Peter Collingbourne |
| 2010-06-28 | Applied Stefan Bucur's patch from | Cristian Cadar |
| 2010-06-24 | Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o... | Peter Collingbourne |
| 2010-06-24 | Implement klee_stack_trace function | Peter Collingbourne |
