about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Expand)Author
2015-03-12Add klee-clang as alternative to klee-gccMartin Nowack
2014-09-15Generate fake files for test casesMartin Nowack
2013-12-08Add chroot jail support in klee-replay.Lei Zhang
2009-07-26Tweak objdump script, kcachegrind has gotten stricter about its parsing.Daniel Dunbar
2009-07-26Ok, I caved. klee-gcc is useful, at least for now.Daniel Dunbar
2009-06-05Moved PrintStats.py to tool/klee-stats/Cristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar