~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
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 CexCachingSolver.cpp to the constraint solving category and ...	Cristian Cadar
2019-01-15	make AssignmentLessThan::operator() const-invocable	Julian Büning
2018-10-30	Base time API upon std::chrono	Frank Busse
2015-12-18	Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h	Dan Liew
2015-12-17	Report fatal error in case CexCache Bindings do not match	Martin Nowack
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2015-07-06	Make the super-set check in CexCachingSolver default off	Eric Rizzi
2013-08-06	Methods getConstraintLog() and setTimeout() made virtual and moved from STPSo...	Hristina Palikareva
2013-08-06	Renaming solver-related command-line options in order to decouple them from S...	Hristina Palikareva
2013-07-11	Fixed and improved the stats on (cex)cache hits and misses.	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding more detailed information on query failures.	Cristian Cadar
2013-01-02	Patch by Tomasz Kuchta adding a new option (min-query-time-to-log) that enabl...	Cristian Cadar
2009-07-17	Simplify some code, and add more comments.	Daniel Dunbar
2009-07-17	Add some comments for CexCachingSolver::searchForAssignment.	Daniel Dunbar
2009-07-10	Replaced createNot() by createIsZero() and "Not" macro by "Nz".	Cristian Cadar
2009-06-14	Add several ConstantExpr utility functions and move clients over.	Daniel Dunbar
2009-06-04	Sink getConstantValue into ConstantExpr.	Daniel Dunbar
2009-06-04	Finish removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Start removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Move isConstant from ref<> to Expr::	Daniel Dunbar
2009-06-03	Kill off specialized ref<> forwarding methods, in the interest of making it a	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar