~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-12-18	fix cflags for runtime build types	Julian Büning
2020-12-04	Only build 32bit runtime libraries if supported by platform	Martin Nowack
2020-11-09	Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...	Cristian Cadar
2020-11-09	Since the runtime now contains fortified libc functions, it is important to c...	Cristian Cadar
2020-11-04	Rename FreeStanding to Freestanding where appropriate	Martin Nowack
2020-11-04	[cmake] Add support to generate arbitrary runtime library configurations	Martin Nowack
2020-10-12	Exception handling only for LLVM >= 8.0.0	Julian Büning
2020-10-12	Implemented support for C++ Exceptions	Felix Rath
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
2018-07-04	Reorder linking and optimizations	Martin Nowack
2018-07-04	Reorganise runtime libraries provided by KLEE	Martin Nowack
2017-10-04	[CMake] Add global clean target `clean_all`. Fixes #718.	Dan Liew
2017-03-30	[CMake] Add the `clean_runtime` top level target to provide an easy way	Dan Liew
2017-03-30	[CMake] When supported pass `USES_TERMINAL` argument to	Dan Liew
2017-02-11	[CMake] More widely available rebuilding for runtimes	Levente Kurusa
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew