| Age | Commit message (Expand) | Author |
|---|
| 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 | Start SimplifyingExprBuilder | Daniel Dunbar |
| 2009-06-15 | Support partial folding for Add in new constant folding builder. | Daniel Dunbar |
| 2009-06-14 | Add NonConstantExpr, so it is possible to statically type an expression that is | Daniel Dunbar |
| 2009-06-14 | Rename FoldingExprBuilder -> SimplifyingExprBuilder | Daniel Dunbar |
| 2009-06-14 | Kill off ExtractExpr::createByteOff. | Daniel Dunbar |
| 2009-06-14 | Use ExprBuilder for constructing expressions in the Parser. | 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 | Remove some unused functionality. | 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 Array construction out of MemoryObject into ObjectState. | Daniel Dunbar |
| 2009-06-10 | Change ExecutionState::symbolics to include both the MemoryObject and the | 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 | 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 | Kill off Concat::is[248]ByteConcat, and fix FastCexSolver for this case. | Daniel Dunbar |
| 2009-06-08 | Add klee::createDummySolver, the dummy solver always fails. | Daniel Dunbar |
| 2009-06-07 | Make sure that ExprEvaluator will fold constant expressions (klee never creates | Daniel Dunbar |
| 2009-06-07 | Implement array declarations. | Daniel Dunbar |
| 2009-06-05 | Support the extended query command syntax. | Daniel Dunbar |
| 2009-06-05 | Add Expr::is{Zero,True,False} methods. | Daniel Dunbar |
| 2009-06-05 | llvm::Casting support for Kleaver AST nodes. | 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 |
| 2009-06-04 | Change Solver::getValue to make explicit that result is a ConstantExpr. | Daniel Dunbar |
| 2009-06-04 | Finish removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Start removing uses of Expr::isConstant. | Daniel Dunbar |
| 2009-06-04 | Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr> | Daniel Dunbar |
| 2009-06-04 | Use dyn_cast<> instead of dyn_ref_cast. | Daniel Dunbar |
| 2009-06-04 | Use cast<> instead of static_ref_cast. | Daniel Dunbar |
