~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-11-12	Casting.h: isa_and_nonnull<>	Julian Büning

2020-11-12	Ref: implement operator bool()	Julian Büning

2020-04-30	Removed include/klee/util and moved header files to appropriate places	Cristian Cadar

2020-04-30	Move header files from lib/Expr to include/klee/Expr to eliminate includes ↵	Cristian Cadar
	using "../"
2018-10-23	Avoid unsafe static downcasts	Martin Nowack

2018-10-23	Modernize code	Martin Nowack
	* use `using` instead of typdef * use `collection.empty()` instead of size * use `auto` if clear * use `emplace_back` where useful * use `nullptr` instead of NULL * use `override` if applicable * use `explicit` for constructor to avoid implicit conversion
2018-10-23	Move optimization specific headers away from the project include directory	Martin Nowack
	Don't pollute the project include directory with optimization specific headers.
2018-10-23	Clean-up headers	Martin Nowack
	Remove unneeded headers from include files
2018-10-23	Added missing headers and clang-format the files	Cristian Cadar

2018-10-23	Added support for KLEE index-based array optimization	Andrea Mattavelli