~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-07-30	CMake: fix LLVM_DEFINITIONS with find_package()	Julian Büning
2019-07-30	CMake: enable reuse of LLVM's googletest src and targets	Julian Büning
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2018-09-14	cmake: find_llvm, fix libraries with llvm-config 3.9	Jiri Slaby
2018-06-11	cmake: find_llvm, handle libLLVM-version.so properly	Jiri Slaby
2017-07-25	[CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` define	Dan Liew
2017-03-30	[CMake] Try to fix bug reported by #633.	Dan Liew
2016-12-19	[CMake] Fix linker warning about mixed linking modes when LLVM was	Dan Liew
2016-12-18	CMake: Fixed the LLVM version regex	Adrian Herrera
2016-11-22	[CMake] Fix determining the system libraries needed by LLVM from	Dan Liew
2016-11-22	[CMake] Fix link order of LLVM libraries and required system libraries.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew