~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-03-09	Core/Executor: Fix unaligned write of fp80 arguments	Lukáš Zaoral
2021-12-20	llvm13: CreateGEP no longer accepts nullptr	Lukas Zaoral
2021-12-20	llvm13: CreateLoad API with implicit types has been deprecated	Lukas Zaoral
2020-12-04	llvm11: Make conversions from StringRef to std::string explicit	Lukas Zaoral
2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-21	remove obsolete macro KLEE_LLVM_GEP_TYPE	Julian Büning
2018-10-10	fix handling of failing external calls	Frank Busse
2018-08-03	Replace remaining *Inst::Create() calls with llvm::Builder	Martin Nowack
2018-07-23	ExternalDispatcher: setErrorStr for EngineBuilder	Julian Büning
2018-05-24	llvm37: handle GetElementPtrInst::Create's new parameter	Jiri Slaby
2018-05-05	Fix handling of errno if external functions are invoked	Martin Nowack
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-05-24	Rearchitect ExternalDispatcher	Dan Liew
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2017-02-28	Core: MCJIT functions need unique names	Jiri Slaby
2017-02-25	llvm: stop using global context	Jiri Slaby
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
2014-09-14	[LLVM3.5] Update for CallSite.h move into IR/.	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
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
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-04-05	Add long double support, patch by David Ramos.	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-08-17	Update for LLVM API change.	Daniel Dunbar
2009-08-01	When generating external function stubs, access the arguments in terms of the	Daniel Dunbar
2009-07-25	(llvm up) Update for API changes.	Daniel Dunbar
2009-07-15	[llvm up] Update for LLVM TOT changes.	Daniel Dunbar
2009-07-12	Update for LLVM API changes.	Daniel Dunbar
2009-06-22	Update for changes in how JIT is linked in.	Daniel Dunbar
2009-06-05	Remove some unnecessary uses of C++ exceptions.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar