~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-05	CMake: use check_c_source_compiles() for FSTATAT_PATH_ACCEPTS_NULL	Julian Büning
2023-06-05	CMake: use built-in FindSQLite3 module	Julian Büning
2023-06-05	CMake: remove obsolete comments	Julian Büning
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
2022-07-07	POSIX runtime: fstatat: check for nonnull path APIs	Frank Busse
2022-06-30	remove LLVM < 9	Frank Busse
2022-03-17	LLVM < 6 leftovers	Julian Büning
2022-03-17	remove LLVM < 6 from build/test scripts	Frank Busse
2021-03-05	Add cmake custom target `uninstall`	jiseongg
2020-11-04	[cmake] Add support to generate arbitrary runtime library configurations	Martin Nowack
2020-11-04	[cmake] Switch to "newer" cmake version 3.5.0	Martin Nowack
2020-09-30	[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++	Martin Nowack
2020-08-07	Tweak LLVM version string parser: support rust	Alastair Reid
2020-06-17	remove cmake warning	Frank Busse
2020-02-24	find_llvm.cmake: enable parsing for git version	Julian Büning
2019-07-30	CMake: fix LLVM_DEFINITIONS with find_package()	Julian Büning
2019-07-30	CMake: enable reuse of LLVM's googletest src and targets	Julian Büning
2019-04-04	Clean klee-stats, StatsTracker and cmake	Timotej Kapus
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-05	workaround for LLVM PR39177	Julian Büning
2018-09-14	cmake: find_llvm, fix libraries with llvm-config 3.9	Jiri Slaby
2018-07-02	CMake: use cmake_{push,pop}_check_state	Julian Büning
2018-06-11	cmake: find_llvm, handle libLLVM-version.so properly	Jiri Slaby
2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ...	Hoang M. Le
2017-07-28	[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set	Dan Liew
2017-07-28	[CMake] Refactor Z3 detection and change the default value of	Dan Liew
2017-07-28	[CMake] Refactor STP detection and change the default value of	Dan Liew
2017-07-25	[CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` define	Dan Liew
2017-03-30	[CMake] Try to fix bug reported by #633.	Dan Liew
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