~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-06-04	make endif guard naming consistent	Julian Büning
2019-06-04	make include guard naming consistent	Julian Büning
2019-03-19	Add Read consistency test case, spelling	Timotej Kapus
2019-03-19	Fix representation of ReadExpr of equivalent arrays	Martin Nowack
2019-03-15	Placed --rewrite-constraints in the constraint solving category	Cristian Cadar
2019-03-13	Placed --use-visitor-hash in the expresion building/printing category	Cristian Cadar
2019-03-13	Added --const-array-opt to building&printing expression category	Cristian Cadar
2019-03-13	Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...	Cristian Cadar
2019-03-13	Documented options in ExprPPrinter.cpp and placed them into a new option cate...	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-26	llvm5: APInt->getSignBit -> getSignMask	Jiri Slaby
2018-10-26	llvm5: integerPartWidth is from llvm::APFloatBase	Jiri Slaby
2018-10-23	Updated an include to reflect a recent filename change	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
2018-06-29	Fix the final -Wimplicit-fallthrough warning	Daniel Schemmel
2018-06-29	Make ConstantExpr hashing function faster and modify affected test	Timotej Kapus
2018-05-24	isLSB should be a boolean, as it is only used in truth contexts	Daniel Schemmel
2018-05-09	Improve handling of constant array in Z3	Timotej Kapus
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-06-12	llvm: don't use clEnumValEnd for LLVM 4.0	Jiri Slaby
2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
2017-02-14	ReadExpr::create() was missing an opportunity to constant fold when handling ...	Dan Liew
2016-11-28	Clean up `Expr::compare()` interface by	Dan Liew
2016-11-18	[CMake] Remove use of tabs in `CMakeLists.txt` files.	Dan Liew
2016-11-18	[CMake] Re-express LLVM and KLEE library dependencies as	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-09-29	Fix bug in `AssignmentEvaluator` where NotOptimizedExpr would not (#466)	Dan Liew
2016-05-24	Fixed bug #375 in Kleaver's parser	Andrea Mattavelli
2016-03-22	ExprPPrinter: Print out arrays deterministically	Martin Nowack
2016-02-23	When calling ``Assignment::dump()`` if there are no bindings emit	Dan Liew
2016-02-23	Move ``Assignment::dump()`` into its own implementation file so	Dan Liew
2016-02-22	Remove stray STP function declaration.	Dan Liew
2016-02-22	Move Array constructor out of ``Expr.h`` and into ``Expr.cpp``.	Dan Liew
2015-12-18	Fix a leak detected by ASan in the KQuery parser where on destruction of	Dan Liew
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew