~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-05-02	[CMake] change WARNING to FATAL_ERROR when building with a non-RTTI LLVM vers...	Hoang M. Le
2017-05-02	use METASMT_REQUIRE_RTTI flag to decide whether we need RTTI	Hoang M. Le
2017-03-30	[CMake] When supported pass `USES_TERMINAL` argument to	Dan Liew
2017-01-18	[CMake] Remove `ENABLE_TESTS` CMake cache option.	Dan Liew
2017-01-16	[CMake] If CMP0037 policy is available set it to NEW so that we	Dan Liew
2017-01-16	[CMake] Only add dependencies to `check` if the target is enabled.	Dan Liew
2017-01-16	[CMake] Rename "integrationtests" to "systemtests".	Dan Liew
2016-12-19	[CMake] Fix linker warning about mixed linking modes when LLVM was	Dan Liew
2016-12-09	[CMake] Fix bug where if KLEE was built with `ENABLE_TCMALLOC`	Dan Liew
2016-12-01	Merge pull request #523 from delcypher/remove_klee_tag_output	Cristian Cadar
2016-11-30	Remove support for reporting the approximate git tag.	Dan Liew
2016-11-30	Increasing version to 1.3.0	Cristian Cadar
2016-11-23	[CMake] Fix some indentation issues.	Dan Liew
2016-11-23	[CMake] Fix bug where the wrong path is checked for when checking	Dan Liew
2016-11-20	[CMake] Fix the old Autoconf/Makefile build system files in source tree inter...	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