~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2017-07-20	Core: TimingSolver, use TimerStatIncrementer	Jiri Slaby
2015-03-13	Timestamp improvements.	Emil Rakadjiev
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-04-23	Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...	Cristian Cadar
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	Change Solver::getValue to make explicit that result is a ConstantExpr.	Daniel Dunbar
2009-06-04	Finish 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-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar