~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2024-01-12	Renamed PTree to ExecutionTree (and similar)	Cristian Cadar
2024-01-12	new: persistent ptree (-write-ptree) and klee-ptree	Frank Busse
2023-03-22	Change `llvm_map_components_to_libnames` to `llvm_config` CMake function	Martin Nowack
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2022-05-06	Updated tests to use ktest-randgen instead of gen-random-bout	Cristian Cadar
2022-05-06	Updated tests to use ktest-gen instead of gen-bout	Cristian Cadar
2022-04-28	Make Uclibc support a runtime option, not a compile-time one.	Gleb Popov
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2021-04-18	tests: Do not add klee tools to PATH in lit	Lukas Zaoral
2021-04-08	cmake: Fix CMP0026 policy deprecation warning	Lukas Zaoral
2020-12-02	Detect system include headers on macOS	Martin Nowack
2020-11-04	[cmake] Remove several leftovers from old autoconf build system	Martin Nowack
2019-09-05	test/CMakeLists.txt: error handling for download	Julian Büning
2019-09-05	test/CMakeLists.txt: use official llvm monorepo for download	Julian Büning
2019-07-30	fix two test issues	Felix Rath
2019-07-30	Add missing dependencies for `check` target	Martin Nowack
2018-10-08	add support for klee-replay on OSX	Frank Busse
2017-11-26	Replace confusing message in lit.site.cfg.in about the file being autogenerated	Cristian Cadar
2017-04-08	[CMake] Don't redownload FileCheck.cpp if it exists	emlai
2017-03-17	test: fix 'not' build	Jiri Slaby
2017-01-19	Teach both build systems to pass the user provided CXXFLAGS and CFLAGS	Dan Liew
2017-01-16	[CMake] Rename "integrationtests" to "systemtests".	Dan Liew
2017-01-14	Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew