| Age | Commit message (Expand) | Author |
|---|
| 2009-06-07 | Implement array declarations. | Daniel Dunbar |
| 2009-06-07 | Don't delete decls before parsing is complete. | Daniel Dunbar |
| 2009-06-07 | Update test case. | 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 | Fixed a division by zero triggered by straight-line code in klee-stats. | Cristian Cadar |
| 2009-06-05 | Moved PrintStats.py to tool/klee-stats/ | Cristian Cadar |
| 2009-06-05 | Support counter example queries (at least, the restricted set that we | 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 | Turn an assert into a parse failure. | Daniel Dunbar |
| 2009-06-05 | Don't evaluate queries if there were parse failures. | Daniel Dunbar |
| 2009-06-05 | Add evaluation support to kleaver (now the default). | Daniel Dunbar |
| 2009-06-05 | llvm::Casting support for Kleaver AST nodes. | Daniel Dunbar |
| 2009-06-05 | Set svn:ignore properties. | Daniel Dunbar |
| 2009-06-05 | Clean up a number of unused variable warnings when building w/o | Daniel Dunbar |
| 2009-06-05 | Remove some unnecessary uses of C++ exceptions. | Daniel Dunbar |
| 2009-06-05 | Expr::print shouldn't introduce line breaks or extra formatting. | Daniel Dunbar |
| 2009-06-05 | Add test case. | Daniel Dunbar |
| 2009-06-05 | (llvm up) Update klee for introduction of f{add,sub,mul} instructions. | 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 | Moved MultiByteReads.pc in test/Expr/Parser | Cristian Cadar |
| 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 | Small changes to the web page (changed some links on the main page, | Cristian Cadar |
| 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 | Implement simplify_type for ref<> | Daniel Dunbar |
| 2009-06-04 | TimingSolver shouldn't need a vtable. | 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 | 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 |
| 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-03 | Update a few things that got forgotten in the great "bout" to "ktest" | Daniel Dunbar |
| 2009-06-02 | Use ConstantExpr::alloc instead of ref<Expr> directly | Daniel Dunbar |
| 2009-06-01 | Kill off klee_malloc_n, we don't want to support this. | Daniel Dunbar |
| 2009-06-01 | Modify eval() to return a cell reference instead of its contents. | Daniel Dunbar |
| 2009-05-29 | Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read. | Cristian Cadar |
| 2009-05-28 | Small changes to silence some gcc warnings. | Cristian Cadar |
