~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-07-01	Clean-up and add documentation	Martin Nowack
2020-07-01	Separate constraint set and constraint manager	Martin Nowack
2020-07-01	Move constraint implementation from header to cpp files	Martin Nowack
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-03-15	Placed --rewrite-constraints in the constraint solving category	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2015-04-09	Added a new option, --rewrite-equalities, which makes it possible to disable ...	Cristian Cadar
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2010-05-02	Fix some const cast warnings.	Daniel Dunbar
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	Use dyn_cast<> instead of dyn_ref_cast.	Daniel Dunbar
2009-06-04	Use cast<> instead of static_ref_cast.	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