~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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