Age | Commit message (Expand) | Author |
---|---|---|
2010-04-05 | Fix some final objdir != src problems. | Daniel Dunbar |
2010-04-05 | STP: Switch build to using LLVM style Makefiles. | Daniel Dunbar |
2010-03-14 | Update for 2.7. | Daniel Dunbar |
2009-05-22 | Look for Makefile.rules in the right directory. | Daniel Dunbar |
2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |