~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-05	README-CMake.md: clean up top-level targets	Julian Büning
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2020-12-18	retire some build system legacy	Julian Büning
2020-11-20	slightly improve C++-related CMake strings	Julian Büning
2020-10-12	README-CMAKE.md: add C++ related variables	Julian Büning
2019-07-30	CMake: enable reuse of LLVM's googletest src and targets	Julian Büning
2018-03-26	[CMake] Add option to set GTest include dir	lyxia
2017-10-05	enforce c++11	Jörg Thalheim
2017-10-04	[CMake] Add `clean_doxygen` rule to clean up doxygen build tree and	Dan Liew
2017-10-04	[CMake] Add global clean target `clean_all`. Fixes #718.	Dan Liew
2017-07-28	[CMake] Add `ENABLE_ZLIB` option to control whether KLEE uses	Dan Liew
2017-03-30	[CMake] Add the `clean_runtime` top level target to provide an easy way	Dan Liew
2017-01-18	[CMake] Remove `ENABLE_TESTS` CMake cache option.	Dan Liew
2017-01-16	[CMake] Rename "integrationtests" to "systemtests".	Dan Liew
2016-11-19	[CMake] Document implicit `STP_DIR` and `metaSMT_DIR` options.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew