| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-06-04 | Implement simplify_type for ref<> | Daniel Dunbar |
| 2009-06-04 | Expr: Add LLVM style casting support instead of requiring RTTI. | Daniel Dunbar |
| 2009-06-04 | Move isConstant from ref<> to Expr:: | Daniel Dunbar |
| 2009-06-03 | Kill off specialized ref<> forwarding methods, in the interest of making it a | Daniel Dunbar |
| 2009-06-03 | Remove ref<>'s constant Expr optimization. | Daniel Dunbar |
| 2009-06-03 | Update ConstantExpr::fromMemory to return a ref<Expr>. | Daniel Dunbar |
| 2009-06-03 | Remove a usage of the direct ref<Expr> constructor that I missed. | Daniel Dunbar |
| 2009-06-03 | Inline Expr::hashConstant into callers. | Daniel Dunbar |
| 2009-06-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
| 2009-05-28 | Small changes to silence some gcc warnings. | Cristian Cadar |
| 2009-05-25 | Add include for uint64_t, needed when building with | Duncan Sands |
| 2009-05-23 | Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa... | Cristian Cadar |
| 2009-05-22 | Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name. | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
