~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-06-04	make endif guard naming consistent	Julian Büning

2019-06-04	make include guard naming consistent	Julian Büning

2018-10-23	Updated an include to reflect a recent filename change	Cristian Cadar

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.