~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2019-03-05	workaround for LLVM PR39177	Julian Büning
2018-05-22	clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}	Julian Büning
2018-05-22	some housekeeping in Passes.h and IntrinsicCleaner.cpp	Julian Büning
2018-05-09	Remove workaround for bug in older LLVM version (< 3)	Martin Nowack
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-07-20	Replace assertions of types on LLVM instructions in the Executor with a	Dan Liew
2017-07-19	Implement basic support for vectorized instructions.	Dan Liew
2016-08-10	Extended support for assembler raising	Martin Nowack
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-12-05	Fix unitialized value	Martin Nowack
2013-10-29	Merge pull request #26 from delcypher/fix_divide_by_zero	Paul
2013-09-23	Lower intrinsic instruction "llvm.trap" to a call of the abort() function.	Lei Zhang
2013-09-02	Implemented runtime check for overshift (controllable with --check-overshift	Dan Liew
2013-08-27	Port to LLVM 3.3	Martin Nowack
2012-11-27	Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1	Cristian Cadar
2012-10-08	Fix to previous patch, which would not compile with LLVM 2.9.	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
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-11-14	On LLVM 2.9+, use TargetLowering::ExpandInlineAsm to expand asm code	Peter Collingbourne
2010-09-30	Add missing include to make sure version macros are present.	Daniel Dunbar
2010-09-30	Spell versioning macros correctly.	Daniel Dunbar
2010-09-30	Update for LLVM API changes, patch by nobled, in PR8232.	Daniel Dunbar
2009-08-01	Implement va_arg handling for x86_64.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar