~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-08-06	ObjectState::concreteStore initialised.	Hristina Palikareva
2012-01-18	Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory	Cristian Cadar
2011-11-29	Updates for LLVM 3.1.	Peter Collingbourne
2011-11-04	Patch by Tom Bergan that fixes multi-byte reads on big-endian architectures.	Cristian Cadar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-07-28	KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. I	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-07-25	(llvm up) Update for llvm::Value getName() change.	Daniel Dunbar
2009-06-26	Simplify read/write code.	Daniel Dunbar
2009-06-14	Kill off ExtractExpr::createByteOff.	Daniel Dunbar
2009-06-14	More ConstantExpr tweaks.	Daniel Dunbar
2009-06-14	Add ConstantExpr::{getLimitedValue,getZExtValue}.	Daniel Dunbar
2009-06-14	Add constant folding operations to ConstantExpr.	Daniel Dunbar
2009-06-13	Switch to using constant arrays for non-symbolic objects.	Daniel Dunbar
2009-06-13	Create new ObjectState constructor for explicitly creating symbolic objects.	Daniel Dunbar
2009-06-10	Move Array construction out of MemoryObject into ObjectState.	Daniel Dunbar
2009-06-09	Kill off UpdateList::isRooted flag.	Daniel Dunbar
2009-06-05	Clean up a number of unused variable warnings when building w/o	Daniel Dunbar
2009-06-04	Finish removing uses of Expr::isConstant.	Daniel Dunbar
2009-06-04	Start 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-05-21	Initial KLEE checkin.	Daniel Dunbar