| Age | Commit message (Expand) | Author |
|---|
| 2022-03-17 | remove LLVM < 6 from sources | Frank Busse |
| 2021-12-20 | llvm13: llvm::APInt::toString has been moved to StringExtras.h | Lukas Zaoral |
| 2020-04-30 | Moved header files that were placed directly in include/klee/ into appropriat... | Cristian Cadar |
| 2020-04-30 | Removed the Internal directory from include/klee | Cristian Cadar |
| 2020-02-19 | Use `ref<>` for UpdateNode | Martin Nowack |
| 2019-07-30 | Consolidated Expr-related include files into a single include/klee/Expr direc... | Cristian Cadar |
| 2019-03-19 | Add Read consistency test case, spelling | Timotej Kapus |
| 2019-03-19 | Fix representation of ReadExpr of equivalent arrays | Martin Nowack |
| 2019-03-13 | Added --const-array-opt to building&printing expression category | Cristian Cadar |
| 2019-03-13 | Documented options in ExprPPrinter.cpp and placed them into a new option cate... | Cristian Cadar |
| 2018-10-26 | llvm5: integerPartWidth is from llvm::APFloatBase | Jiri Slaby |
| 2018-10-23 | Move unrelated function from ReadExpr class | Martin Nowack |
| 2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli |
| 2018-06-29 | Make ConstantExpr hashing function faster and modify affected test | Timotej Kapus |
| 2017-07-23 | Remove support for LLVM < 3.4 | Martin Nowack |
| 2017-02-14 | ReadExpr::create() was missing an opportunity to constant fold when handling ... | Dan Liew |
| 2016-11-28 | Clean up `Expr::compare()` interface by | Dan Liew |
| 2016-02-22 | Remove stray STP function declaration. | Dan Liew |
| 2016-02-22 | Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``. | Dan Liew |
| 2015-12-18 | Fix memory leaks of ``Array`` objects detected by ASan. | Dan Liew |
| 2015-02-27 | Improved some comments and fixed some formatting issues in the Array factory ... | Cristian Cadar |
| 2015-02-22 | Added factory method for Arrays + hid constructors from outside calls | Eric Rizzi |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2013-12-06 | Deprecate LLVM 2.8 and lower | Martin Nowack |
| 2013-08-28 | Fix constness warnings issued by gcc 4.7 | Martin Nowack |
| 2013-07-11 | Bug fix by Jonathan Neuschäfer: "Without this patch | Cristian Cadar |
| 2012-11-05 | Fixed a bug in Array::computeHash() | Cristian Cadar |
| 2012-10-24 | Patch by Dan Liew: " Modified ConstantExpr::toString() to take an | Cristian Cadar |
| 2012-10-18 | Nice patch by Hristina Palikareva that removes the dependency on STP | Cristian Cadar |
| 2012-04-07 | Catch up with hashing changes. | Peter Collingbourne |
| 2011-07-20 | Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of | Peter Collingbourne |
| 2011-06-09 | Patch from Martin Nowack for LLVM 2.9 | Cristian Cadar |
| 2011-05-18 | Maintain an equivalence set during comparison operations | Peter Collingbourne |
| 2011-05-18 | Support for arbitrary sized types in ConstantExpr::fromMemory | Peter Collingbourne |
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2010-05-02 | Fix some const cast warnings. | Daniel Dunbar |
| 2010-04-05 | Add long double support, patch by David Ramos. | Daniel Dunbar |
| 2009-09-01 | Update for LLVM ostream changes. | Daniel Dunbar |
| 2009-08-01 | Add Expr::dump | Daniel Dunbar |
| 2009-07-28 | Move Machine constants into Context object, initialized based on the target | Daniel Dunbar |
| 2009-07-10 | Updated the Not operation for constants. Added extra test case for this. | Cristian Cadar |
| 2009-07-10 | Added support for bitwise not. Replacing "false == " with Not in | Cristian Cadar |
| 2009-07-10 | Replaced createNot() by createIsZero() and "Not" macro by "Nz". | Cristian Cadar |
| 2009-06-27 | Start move to using APFloat (support long double). | Daniel Dunbar |
| 2009-06-25 | Kill off last getConstantValue uses. | Daniel Dunbar |
| 2009-06-25 | Remove some more uses of getConstantValue. | Daniel Dunbar |
| 2009-06-25 | Switch to using APInt math operations. | Daniel Dunbar |
| 2009-06-22 | Remove unnecessary width field, the width is part of the APInt. | Daniel Dunbar |
| 2009-06-22 | Store ConstantExpr's value as an APInt. | Daniel Dunbar |
