| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-06-22 | Add ConstantExpr::toString (instead of using getConstantValue()). | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Add in new constant folding builder. | Daniel Dunbar |
| 2009-06-14 | Kill off ExtractExpr::createByteOff. | Daniel Dunbar |
| 2009-06-14 | Remove the (A < constant) => (A == 0 || A == 1 ... || A == constant - 1) | Daniel Dunbar |
| 2009-06-14 | More ConstantExpr cleanup. | Daniel Dunbar |
| 2009-06-14 | Add ConstantExpr::{getLimitedValue,getZExtValue}. | Daniel Dunbar |
| 2009-06-14 | Rewrite ImpliedValue to use ConstantExpr operations. | Daniel Dunbar |
| 2009-06-14 | Add several ConstantExpr utility functions and move clients over. | Daniel Dunbar |
| 2009-06-14 | Add constant folding operations to ConstantExpr. | Daniel Dunbar |
| 2009-06-13 | Reverted last change that added createIff. Since we only handle | Cristian Cadar |
| 2009-06-13 | Added a helper function to construct IFF expressions. | Cristian Cadar |
| 2009-06-10 | Move declaration of vc_DeleteExpr outside of function. | Daniel Dunbar |
| 2009-06-10 | (Missed save) Move Array construction out of MemoryObject into ObjectState. | Daniel Dunbar |
| 2009-06-10 | Move Array construction out of MemoryObject into ObjectState. | Daniel Dunbar |
| 2009-06-09 | Add initial support for constant Arrays. | Daniel Dunbar |
| 2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
| 2009-06-05 | Clean up a number of unused variable warnings when building w/o | Daniel Dunbar |
| 2009-06-05 | Expr::print shouldn't introduce line breaks or extra formatting. | Daniel Dunbar |
| 2009-06-04 | Make ConstantExpr's value and constructor private. | Daniel Dunbar |
| 2009-06-04 | Sink getConstantValue into ConstantExpr. | Daniel Dunbar |
