about summary refs log tree commit diff homepage
path: root/runtime/klee-libc/Makefile
AgeCommit message (Expand)Author
2010-05-02Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inlineDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar