about summary refs log tree commit diff homepage
path: root/include
AgeCommit message (Expand)Author
2013-01-22Patch by Hristina Palikareva which enables Kleaver to configure theCristian Cadar
2013-01-02Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Klea...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding more detailed information on query failures.Cristian Cadar
2013-01-02Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ...Cristian Cadar
2013-01-02Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...Cristian Cadar
2012-10-24Patch by Dan Liew improving the description of getZExtValue (see discussion a...Cristian Cadar
2012-10-24Patch by Dan Liew: "Added support for generating .smt2 files whenCristian Cadar
2012-10-24Patch by Dan Liew: "Added SMTLIBLoggingSolver for logging queries in SMT-LIBv...Cristian Cadar
2012-10-24Nice patch by Dan Liew that adds support for printing queries in theCristian Cadar
2012-10-24Patch by Dan Liew: "Moved PrintContext class out of ExprPrinter.cpp soCristian Cadar
2012-10-24Patch by Dan Liew: " Modified ConstantExpr::toString() to take anCristian Cadar
2012-10-19Added missing header file (part of the last patch).Cristian Cadar
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-10-08Fix to previous patch, which would not compile with LLVM 2.9.Cristian Cadar
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-09-11Patch by Dan Liew for ConstantExpr::isTrue() and ConstantExpr::isFalse():Cristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-07-26Patch by Dan Liew that adds support for building Doxygen out-of-source.Cristian Cadar
2012-06-19Patch by Seungbeom Kim for compatibility with old LLVM 2.6.Cristian Cadar
2012-06-19Patch by Oscar Dustmann: "A pure-debug loop that only containedCristian Cadar
2012-04-07Patch by Seungbeom that fixes a memory management issue with Refs, andCristian Cadar
2012-04-07Fix ConstantExpr::is{Zero,One,AllOnes} for arbitrary bitwidths.Peter Collingbourne
2012-01-18Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memoryCristian Cadar
2011-07-29Sign extend, rather than zero extend, narrow gep indicesPeter Collingbourne
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-05-25Name symbolic arrays using the 3rd argument to klee_make_symbolic,Peter Collingbourne
2011-05-18Maintain an equivalence set during comparison operationsPeter Collingbourne
2011-04-23Fixed bug reported by Li Xuan Ji and Ayrat Khalimov.Cristian Cadar
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-08-05Have getDirectCallTarget use CallSitePeter Collingbourne
2010-07-15Fix some -Wmismatched-tags warnings.Daniel Dunbar
2010-07-15Remove stray semicolons in class definitions.Daniel Dunbar
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-07-08Add support for InsertValue and ExtractValue instructionsPeter Collingbourne
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-24Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o...Peter Collingbourne
2010-06-24Implement klee_stack_trace functionPeter Collingbourne
2010-06-24Added ExecutionState::dumpStack function for inspecting the status of the stackPeter Collingbourne
2010-04-22Added --stp-optimize-divides flag. Patch submitted by PeterCristian Cadar
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
2010-04-05Fix some final objdir != src problems.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2010-03-14Kill off ExecutionTrace stuff, it is too messy.Daniel Dunbar
2010-02-13Fix some doxyments, patch by Peter Collingbourne!Daniel Dunbar
2009-10-24Regenerate configure.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-08-03Fix computation of GetElementPtr offset for 64-bit targets.Daniel Dunbar
2009-08-01Add Expr::dumpDaniel Dunbar