~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-10-08	Remove llvm.trap declaration after cleaning all uses.	Lei Zhang
2013-09-23	Lower intrinsic instruction "llvm.trap" to a call of the abort() function.	Lei Zhang
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-08-15	Implemented llvm.umul.with.overflow	Martin Nowack
2013-04-04	Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2	Cristian Cadar
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
2012-04-10	Lowering support for the llvm.uadd.with.overflow intrinsic.	Peter Collingbourne
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2010-07-15	Update to match new 2.8 CallInst getOperand API.	Daniel Dunbar
2010-06-24	Remove llvm.dbg.value intrinsic new to LLVM 2.7	Peter Collingbourne
2010-05-02	Add missing include of Config.h, which was causing LLVM version checks to be	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-08-17	Update for LLVM API change.	Daniel Dunbar
2009-08-01	Implement va_arg handling for x86_64.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar