ci/llvm-monorepo.git - [no description]

Age	Commit message (Expand)	Author
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	Patch by Seungbeom that fixes a memory management issue with Refs, and	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