| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-06-05 | Support the extended query command syntax. | Daniel Dunbar |
| 2009-06-05 | Turn an assert into a parse failure. | 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 | 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 | Fixed a bug in Kleaver's parser: APInt does not allow "truncation" to | Cristian Cadar |
| 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 | Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout. | Cristian Cadar |
| 2009-06-04 | Fixed the code dealing with ReadLSB/ReadMSB, which was currently | Cristian Cadar |
| 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 | Fix bug I just introduced, ConstantExpr::computeHash needs to update the | Daniel Dunbar |
| 2009-06-03 | Update ConstantExpr::fromMemory to return a ref<Expr>. | Daniel Dunbar |
