| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2009-05-28 | Changes to webpage to make both tutorials use the same template. | Cristian Cadar |
| 2009-05-27 | Unbreak istats | Daniel Dunbar |
| 2009-05-27 | Move the regular expression example to "Tutorial Two". | Daniel Dunbar |
| 2009-05-27 | Some more updates for bout -> ktest renaming. | Daniel Dunbar |
| 2009-05-25 | Add includes to get sprintf (STPBuilder) and | Duncan Sands |
| 2009-05-25 | Add include for uint64_t, needed when building with | Duncan Sands |
| 2009-05-23 | Fix for platforms which #define putchar | Daniel Dunbar |
| 2009-05-23 | Make klee_init_env print some usage instructions with --help. | Daniel Dunbar |
| 2009-05-23 | Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa... | Cristian Cadar |
| 2009-05-23 | Renamed klee-bout-tool to ktest-tool. | Cristian Cadar |
| 2009-05-23 | Updates to install guide and first tutorial. | Cristian Cadar |
| 2009-05-22 | Improve lex support, apparently FreeBSD lex expects -o to take a joined | Daniel Dunbar |
| 2009-05-22 | Add missing include (for FreeBSD build) | Daniel Dunbar |
| 2009-05-22 | Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name. | Daniel Dunbar |
| 2009-05-22 | Some minor web page tweaks. | Daniel Dunbar |
| 2009-05-22 | Look for Makefile.rules in the right directory. | Daniel Dunbar |
| 2009-05-21 | Start basic Regexp.c example for klee. | Daniel Dunbar |
| 2009-05-21 | Started web pages describing the main KLEE tools, and the main files | Cristian Cadar |
| 2009-05-21 | Added a first KLEE tutorial. | Cristian Cadar |
| 2009-05-21 | Missed a couple tests | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
| 2009-05-20 | Web page changes. Added a nice way to format code (div.code) in our CSS file. | Cristian Cadar |
| 2009-05-19 | Added empty www/tutorials.html page (test commit to klee repository). | Cristian Cadar |
| 2009-05-12 | Add a few useful links | Daniel Dunbar |
| 2009-05-08 | More or less a test commit. | Daniel Dunbar |
