Age | Commit message (Expand) | Author |
---|---|---|
2009-06-09 | Add initial support for constant Arrays. | Daniel Dunbar |
2009-06-09 | Switch Array* print-outs to use name instead of ID, and update a few | Daniel Dunbar |
2009-06-09 | Kill off UpdateList::isRooted flag. | Daniel Dunbar |
2009-06-04 | Finish removing uses of Expr::isConstant. | 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-05-21 | Initial KLEE checkin. | Daniel Dunbar |