~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
2017-02-16	Silenced warning: comparison of integers of different signs ('const int' and ...	Andrea Mattavelli
2017-02-14	Added unit tests for ReadExpr::create() to check that constant folding is cor...	Andrea Mattavelli
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-09	Remove Array::object.	Daniel Dunbar
2009-06-09	Remove Array::id.	Daniel Dunbar
2009-06-09	Switch Array* print-outs to use name instead of ID, and update a few	Daniel Dunbar
2009-06-04	Change ConstantExpr::{alloc,create} to return a ref<ConstantExpr>	Daniel Dunbar
2009-06-04	Use dyn_cast<> instead of dyn_ref_cast.	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