~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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 hole index in buildMixedSelectExpr	Timotej Kapus
2019-12-12	[optimize-array] Fix hash collisions	Timotej Kapus
2019-12-12	[optimize-array] Fix update list read order	Timotej Kapus
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
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 f...	Cristian Cadar
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
2018-10-23	Move optimization specific headers away from the project include directory	Martin Nowack
2018-10-23	Clean-up headers	Martin Nowack
2018-10-23	Remove condition check before function invocation	Martin Nowack
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
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