~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-12-12	[optimize-array] Fix update list read order	Timotej Kapus
	ArrayExprOptimizer read the UpdateList in the wrong order, which meant that it used least recent update instead of the most recent one. This patch fixes this as well as adds a test to illustrate the issue.
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-03-13	Consistently use "default=true" and "default=false" instead of "default=on" ↵	Cristian Cadar
	and "default=off" in --help
2019-03-13	Added options in ArrayExprOptimizer.cpp to the constraint solving category	Cristian Cadar

2019-03-13	Reordered includes in ArrayExprOptimizer.cpp for consistency with the other ↵	Cristian Cadar
	files
2018-10-23	Move unrelated function from ReadExpr class	Martin Nowack

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	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