about summary refs log tree commit diff homepage
path: root/scripts/klee-clang
AgeCommit message (Expand)Author
2015-12-04Fixing klee-clang to strip all flags not understood by llvm-linkMate Soos
2015-03-12Add klee-clang as alternative to klee-gccMartin Nowack