~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-06-26	RefTest: suppress -Wself-move	Julian Büning
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
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