~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2023-03-16	Add some unit tests for KDAlloc	Daniel Schemmel
2022-05-05	cmake: try using system installation of GTest if it's present	Lukáš Zaoral
2022-03-09	fix CMake: gtest from llvm includes gtest_main	Julian Büning
2022-01-05	unittests/TestMain: show stack trace on error	Julian Büning
2022-01-05	fix CMake: use own TestMain instead of gtest_main	Julian Büning
2022-01-05	CMake: set Google Test options properly	Julian Büning
2022-01-05	fix CMake: GTEST_INSTALL -> INSTALL_GTEST	Julian Büning
2022-01-05	CMake: include GTest include hint for 1.8.0+	Julian Büning
2020-11-04	[cmake] Remove several leftovers from old autoconf build system	Martin Nowack
2020-07-30	introduce --rng-initial-seed=<unsigned>	Frank Busse
2020-06-29	Enable subsets for RandomPathSearcher	Timotej Kapus
2019-07-30	CMake: enable reuse of LLVM's googletest src and targets	Julian Büning
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-06-14	Add unittest for DiscretePDF	Martin Nowack
2018-03-26	[CMake] Add option to set GTest include dir	lyxia
2017-07-19	Added some unit tests for TreeStream: one testing some basic behaviour, the o...	Cristian Cadar
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew