~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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