~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-09-30	[CMake][Z3] Check if function `Z3_get_error_msg` needs `context` using C++	Martin Nowack
	Linking with Z3 might fail if Z3 is built with UBSan as parts of Z3 are written in C++. Check explicitly with a C++ compiler.
2018-07-02	CMake: use cmake_{push,pop}_check_state	Julian Büning

2017-07-28	[CMake] Refactor Z3 detection and change the default value of	Dan Liew
	`ENABLE_SOLVER_Z3` to be set dynamically based on whether Z3 is available. Previously the default was always off.