Age | Commit message (Expand) | Author |
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 |
2010-06-24 | Added ExecutionState::dumpStack function for inspecting the status of the stack | Peter Collingbourne |
2010-04-22 | Added --stp-optimize-divides flag. Patch submitted by Peter | Cristian Cadar |
2010-04-05 | Add long double support, patch by David Ramos. | Daniel Dunbar |
2010-04-05 | Fix some final objdir != src problems. | Daniel Dunbar |
2010-03-14 | Update for 2.7. | Daniel Dunbar |
2010-03-14 | Kill off ExecutionTrace stuff, it is too messy. | Daniel Dunbar |
2010-02-13 | Fix some doxyments, patch by Peter Collingbourne! | Daniel Dunbar |
2009-10-24 | Regenerate configure. | Daniel Dunbar |
2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
2009-08-03 | Fix computation of GetElementPtr offset for 64-bit targets. | Daniel Dunbar |
2009-08-01 | Add Expr::dump | Daniel Dunbar |