about summary refs log tree commit diff homepage
path: root/include/klee/Support/Casting.h
AgeCommit message (Expand)Author
2022-06-30remove LLVM < 9Frank Busse
2020-11-12Casting.h: isa_and_nonnull<>Julian Büning
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-03 01:00:08 +0000