~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2019-04-02	Add FreeBSD OS triple in RaiseAsm	Gleb Popov
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2018-10-26	llvm6: handle headers renaming	Jiri Slaby
2018-09-14	llvm: make KLEE compile against LLVM 3.9	Jiri Slaby
2018-05-24	llvm: make KLEE compile against LLVM 3.7	Richard Trembecký
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-06-15	llvm: get rid of static_casts from iterators	Jiri Slaby
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2017-02-28	convert iterators using static_cast	Jiri Slaby
2016-11-03	Adds support for Darwin platform in RaiseAsm pass	Andrea Mattavelli
2016-08-10	Extended support for assembler raising	Martin Nowack
2015-03-20	[Core] Fix memory leak in assembler raising	Martin Nowack
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2011-12-08	Update for changes in LLVM trunk. Original patch by arrowdodger!	Peter Collingbourne
2011-11-29	Updates for LLVM 3.1.	Peter Collingbourne
2011-09-02	Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+	Peter Collingbourne
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
2011-04-23	Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...	Cristian Cadar
2010-11-14	On LLVM 2.9+, use TargetLowering::ExpandInlineAsm to expand asm code	Peter Collingbourne
2010-07-15	Update to match new 2.8 CallInst getOperand API.	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-08-17	Update for LLVM API change.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar