| Age | Commit message (Expand) | Author |
|---|
| 2011-04-23 | Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April... | Cristian Cadar |
| 2010-07-15 | Fix a -Wbool-conversion warning. | Daniel Dunbar |
| 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-05 | Applied patch submitted by Pongsin Poosankam that fixes a bug in the | Cristian Cadar |
| 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-11 | Removed the Nz macro. | Cristian Cadar |
| 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-26 | More large integer support. | 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-16 | Add basic constant folding / simplification for Eq. | Daniel Dunbar |
| 2009-06-16 | Add (very) basic constant folding for And,Or,Xor. | Daniel Dunbar |
| 2009-06-16 | Add (very) basic constant folding for Mul. | Daniel Dunbar |
| 2009-06-16 | Start SimplifyingExprBuilder | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Sub in new constant folding builder. | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Add in new constant folding builder. | Daniel Dunbar |
| 2009-06-14 | Rename FoldingExprBuilder -> SimplifyingExprBuilder | Daniel Dunbar |
| 2009-06-14 | Kill off ExtractExpr::createByteOff. | Daniel Dunbar |
| 2009-06-14 | The expansion for Read{MSB,LSB} needs to continue to use the folding methods, | Daniel Dunbar |
| 2009-06-14 | Use ExprBuilder for constructing expressions in the Parser. | Daniel Dunbar |
| 2009-06-14 | Remove the (A < constant) => (A == 0 || A == 1 ... || A == constant - 1) | Daniel Dunbar |
| 2009-06-14 | Add ExprBuilder base class, and start of implementations. | 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 | More constant Array support. | Daniel Dunbar |
| 2009-06-09 | Add initial support for constant Arrays. | Daniel Dunbar |
| 2009-06-09 | Remove Array::object. | Daniel Dunbar |
| 2009-06-09 | Remove Array::id. | Daniel Dunbar |
| 2009-06-09 | Switch Array* print-outs to use name instead of ID, and update a few | Daniel Dunbar |
| 2009-06-09 | Add Array::name field, initialized but not used for anything yet. | Daniel Dunbar |
| 2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
| 2009-06-08 | Fix a mistake in previous commit to turn asserts -> parse errors. | Daniel Dunbar |
