| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-06-07 | Make sure that ExprEvaluator will fold constant expressions (klee never creates | Daniel Dunbar |
| 2009-06-07 | Diagnose some more syntax errors instead of crashing. | Daniel Dunbar |
| 2009-06-07 | Make sure to include arrays to be evaluated in the set of used arrays. | Daniel Dunbar |
| 2009-06-07 | Implement array declarations. | Daniel Dunbar |
| 2009-06-07 | Make sure to make up a valid VersionResult on failures. | Daniel Dunbar |
| 2009-06-07 | Eliminate anonymous versions. | Daniel Dunbar |
| 2009-06-06 | Document the KQuery language. | Daniel Dunbar |
