~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2015-12-17	Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.	Dan Liew
2015-04-15	Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift	Dan Liew
2015-04-09	Added a new option, --rewrite-equalities, which makes it possible to disable ...	Cristian Cadar
2015-02-27	Improved some comments and fixed some formatting issues in the Array factory ...	Cristian Cadar
2015-02-27	Merge branch 'ArrayFactory' of https://github.com/holycrap872/klee into holyc...	Cristian Cadar
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2015-02-19	Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function rather	Dan Liew
2014-12-13	Add a few line breaks to make the code more readable in	Dan Liew
2014-12-13	Clean up some ExprSMTLIBPrinter code by using llvm_unreachable	Dan Liew
2014-12-13	Clean up a few comments in ExprSMTLIBPrinter	Dan Liew
2014-12-12	Print nested let-abbreviations in ExprSMTLIBPrinter	Raimondas Sasnauskas
2014-12-02	Fix typo	Dan Liew
2014-12-02	Add a comment explaining why the query expr is being negated.	Dan Liew
2014-12-02	The printing of constraints and the QueryExpr have been merged into a	Dan Liew