~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-03-20	llvm14: PointerType::getElementType() was deprecated	Lukáš Zaoral
	... for LLVM 14 in [1] and has already been removed from the LLVM 15 branch in [2]. Some changes are only temporary to silence the warning though, as Type::getPointerElementType() is planned to be removed as well. [3] [1] https://reviews.llvm.org/D117885/new/ [2] https://github.com/llvm/llvm-project/commit/d593cf7 [3] https://llvm.org/docs/OpaquePointers.html#migration-instructions
2022-03-17	remove LLVM < 6 from sources	Frank Busse

2020-11-12	Casting.h: isa_and_nonnull<>	Julian Büning

2020-04-30	Moved header files that were placed directly in include/klee/ into ↵	Cristian Cadar
	appropriate existing directories and a new directory Statistics; a few missing renames.
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-05-30	implement FunctionAliasPass	Julian Büning