~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
2020-04-30	Removed include/klee/util and moved header files to appropriate places	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-02-19	Add move assignment operator and move construct for `ref` class.	Martin Nowack
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
2020-02-19	Fix ptr reference invalidation if last reference gets freed before new refere...	Martin Nowack
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2016-11-19	[CMake] Remove unneeded dependency declarations for the unit tests.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-04-07	Patch by Seungbeom that fixes a memory management issue with Refs, and	Cristian Cadar