Age | Commit message (Expand) | Author |
---|---|---|
2009-06-05 | Support the extended query command syntax. | Daniel Dunbar |
2009-06-05 | Clean up a number of unused variable warnings when building w/o | 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 | Use cast<> instead of static_ref_cast. | 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-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
2009-05-25 | Add includes to get sprintf (STPBuilder) and | Duncan Sands |
2009-05-22 | Add missing include (for FreeBSD build) | Daniel Dunbar |
2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |