~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2017-06-16	llvm37: introduce type for PassManager	Jiri Slaby
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2016-09-16	Avoid internalization of non-standard entry point (i.e. not the main function...	Andrea Mattavelli
2014-09-14	Fix LLVM3.5 compilation. This is due to r202168	Dan Liew
2014-09-14	[LLVM3.5] Drop use of PassNameParser, which we don't even use anymore.	Daniel Dunbar
2014-09-14	[LLVM3.5] Update for more random headers moving around.	Daniel Dunbar
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
2014-04-14	Do not add SimplifyLibCallsPass for LLVM 3.4 and newer because	Dan Liew
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-04-05	Fixed error that I introduced by mistake in the last commit (thanks again to ...	Cristian Cadar
2013-04-04	Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2	Cristian Cadar
2012-11-27	Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1	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-08-09	Disable the LowerSetJmpPass on 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-10-22	Disable loop index split pass for LLVM 2.9+	Peter Collingbourne
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar