~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-06-26	RefTest: suppress -Wself-move	Julian Büning
	This warning (introduced with GCC 13, also present in clang) warns precisely about what we want to test here.
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
	Using KLEE's `ref<>` shared ptr requires the referenced object to contain a reference counter to be added and initialised to 0 as part of the constructor. To support better reuse of the `ref<>` ptr add a `ReferenceCounter` struct. Just adding this struct to a new class/struct as member enables reference counting with `ref<>` - no additional counter management needed.
2020-02-19	Fix ptr reference invalidation if last reference gets freed before new ↵	Martin Nowack
	reference assigned.
2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević

2012-04-07	Patch by Seungbeom that fixes a memory management issue with Refs, and	Cristian Cadar
	associated unit test. More details at http://keeda.stanford.edu/pipermail/klee-commits/2012-February/000904.html git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@154256 91177308-0d34-0410-b5e6-96231b3b80d8