~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2012-10-08	Make the changes in r165394 be conditional on post LLVM 3.1 changes.	Micah Villmow
2012-10-08	Move TargetData to DataLayout.	Micah Villmow
2011-07-20	Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!	Peter Collingbourne
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2010-07-08	Add support for InsertValue and ExtractValue instructions	Peter Collingbourne
2010-06-24	Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o...	Peter Collingbourne
2010-04-26	Applied patch submitted by Peter Collingbourne: "Some parts of the	Cristian Cadar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-07-28	KLEE64: GetElementPtr constants should be evaluated in the target pointer width.	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-06-14	More ConstantExpr cleanup.	Daniel Dunbar
2009-06-07	Implement array declarations.	Daniel Dunbar
2009-06-05	Clean up a number of unused variable warnings when building w/o	Daniel Dunbar
2009-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar