~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2018-06-11	cmake: find_llvm, handle libLLVM-version.so properly	Jiri Slaby
2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ...	Hoang M. Le
2017-07-28	[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set	Dan Liew
2017-07-28	[CMake] Refactor Z3 detection and change the default value of	Dan Liew
2017-07-28	[CMake] Refactor STP detection and change the default value of	Dan Liew
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
2017-03-23	remove special handling of metaSMT_CXXFLAGS (unnecessary now as we use a fixe...	Hoang M. Le
2017-01-28	[cmake] add PATH_SUFFIXES needed to find z3 on Fedora	Kevin Laeufer
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-21	[CMake] Fix the build when `-DBUILD_SHARED_LIBS=ON` is passed.	Dan Liew
2016-11-07	[CMake] Report git revision information if available.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew