~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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-06-30	remove LLVM < 9	Frank Busse
2019-05-30	implement FunctionAliasPass	Julian Büning
2019-03-21	remove copy of ScalarizerPass for LLVM 3.4	Julian Büning
2019-03-18	Disable optimisation for functions that contain KLEE calls	Martin Nowack
2019-03-05	workaround for LLVM PR39177	Julian Büning
2018-10-04	kleeModule: always link irreader (required since llvm 3.3)	Julian Büning
2018-10-04	remove obsolete dependency of kleeModule on kleeCore	Julian Büning
2017-07-20	Replace assertions of types on LLVM instructions in the Executor with a	Dan Liew
2017-07-19	Implement basic support for vectorized instructions.	Dan Liew
2016-11-22	[CMake] Add another missing LLVM component dependency for `kleeModule`.	Dan Liew
2016-11-22	[CMake] Add missing dependencies reported in #507.	Dan Liew
2016-11-18	[CMake] Remove use of tabs in `CMakeLists.txt` files.	Dan Liew
2016-11-18	[CMake] Re-express LLVM and KLEE library dependencies as	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew