~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2018-10-23	Clean-up headers	Martin Nowack
	Remove unneeded headers from include files
2018-10-23	Remove condition check before function invocation	Martin Nowack
	Conditions are checked inside of `optimizeExpr()` anyway. This simplifies the code a lot.
2018-10-23	Move ConstantExpr check inside optimizeExpr function	Martin Nowack

2018-10-23	optimizeExpr: return the result as return value instead as function argument	Martin Nowack
	simplifies code a lot.
2018-10-23	Fixed compilation of array optimization patch with LLVM >= 4.0	Cristian Cadar

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