~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-04-30	Move header files from lib/Expr to include/klee/Expr to eliminate includes us...	Cristian Cadar
2019-12-12	[optimize-array] Hash collision test	Timotej Kapus
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-07-23	Remove LLVM 2.9 from Makefiles	Martin Nowack
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
2016-11-19	[CMake] Remove unneeded dependency declarations for the unit tests.	Dan Liew
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew
2015-04-03	Upstream STP now depends on an external build of minisat. Attempt to	Dan Liew
2015-02-22	Added factory method for Arrays + hid constructors from outside calls	Eric Rizzi
2014-05-30	Fix ExprTest under LLVM 2.9	Martin Nowack
2013-03-11	Small patch by Dan Liew removing unnecessary line from a Makefile.	Cristian Cadar
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-04-07	Fix unittests build when using external STP.	Peter Collingbourne
2010-04-29	Fixed compilation of unit tests.	Cristian Cadar
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