~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-03-20	ConstantArrayExprVisitor: Fix detection of multiple array indices	Lukáš Zaoral
2023-03-20	ConstantArrayExprVisitor: Deduplicate `visitConcat` and `visitRead`	Lukáš Zaoral
2020-11-12	Ref: implement operator bool()	Julian Büning
2020-04-30	Move header files from lib/Expr to include/klee/Expr to eliminate includes us...	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2019-12-12	[optimize-array] Fix value transformation	Timotej Kapus
2019-12-12	[optimize-array] Fix hash collisions	Timotej Kapus
2018-10-23	Modernize code	Martin Nowack
2018-10-23	Move optimization specific headers away from the project include directory	Martin Nowack
2018-10-23	Added missing headers and clang-format the files	Cristian Cadar
2018-10-23	Added support for KLEE value-based array optimization	Andrea Mattavelli
2018-10-23	Added support for KLEE index-based array optimization	Andrea Mattavelli