~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-03-13	Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
2017-06-12	llvm: don't use clEnumValEnd for LLVM 4.0	Jiri Slaby
2015-04-15	Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift	Dan Liew
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
2014-12-02	Implement :named and let abbreviation modes in ExprSMTLIBPrinter	Raimondas Sasnauskas
2014-05-29	Fix header	Martin Nowack
2014-05-29	Avoid non-explicit use of functions from std namespace in KLEE	Martin Nowack
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2014-05-11	Fix the logic in ExprSMTLIBPrinter::getSort	Peter Collingbourne
2014-04-02	Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...	Peter Collingbourne
2014-03-09	Use clang-format to reformat SMT-LIB printer in LLVM style.	Peter Collingbourne
2013-05-08	Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQ...	Cristian Cadar
2012-10-24	Nice patch by Dan Liew that adds support for printing queries in the	Cristian Cadar