~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-04-14	Add missing include file for LLVM 3.4	Martin Nowack
2014-02-14	When running with -debug-only=klee_linker do not report the number	Dan Liew
2014-02-14	Refactor cleaning up memory in linkBCA() so that if linking fails	Dan Liew
2014-02-14	Refactor variable name s/RemovedSymbols/SymbolsToRemove/	Dan Liew
2014-02-14	Correct and tidy up comments.	Dan Liew
2014-02-06	Fix access of iterators after they have been invalidated	Martin Nowack
2014-02-06	When using KLEE's built-in Bitcode archive linker do not consider	Dan Liew
2014-02-06	Do not consider llvm intrinsics as undefined symbols in KLEE's	Dan Liew
2014-02-06	Improved archive (of bitcode modules) linking performance for	Dan Liew
2014-02-06	Add support for archive and single bc file linking	Martin Nowack
2014-01-17	Fix error message for failing linking of libraries	Martin Nowack
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-09-24	Add missing header file and linker parameter	Dominic Chen
2013-09-24	Replace implementation of linkWithLibrary()	Dominic Chen
2013-08-27	Port to LLVM 3.3	Martin Nowack
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-09-30	Spell versioning macros correctly.	Daniel Dunbar
2010-09-30	Update for spurious LLVM API changes.	Daniel Dunbar
2010-08-05	Have getDirectCallTarget use CallSite	Peter Collingbourne
2010-04-05	Make sure to include config.h, for llvm version check.	Daniel Dunbar
2010-04-05	Update for LLVM API change.	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-06-05	Remove some unnecessary uses of C++ exceptions.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar