about summary refs log tree commit diff homepage
path: root/scripts
AgeCommit message (Expand)Author
2018-07-12Fix uploading of coverage information from inside of dockerMartin Nowack
2018-07-11Add missing curlMartin Nowack
2018-07-11Fix slow Mac Travis build: wildcard is not expanded with quotesMartin Nowack
2018-07-04Extensive updates to the build script for dependencies and dockerMartin Nowack
2018-05-18Delete coverageServer.pyTimotej Kapus
2017-07-24more portable shebangsJörg Thalheim
2017-07-23Remove klee-gccMartin Nowack
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2015-12-04Fixing klee-clang to strip all flags not understood by llvm-linkMate Soos
2015-06-16added COVERAGE=0 to dockerfile, factored out coverage build flags to be only ...Timotej Kapus
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 07:39:21 +0000