~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-12-04	llvm11: Make conversions from StringRef to std::string explicit	Lukas Zaoral
2020-07-29	remove holes in Instruction-/FunctionInfoTable, add documentation	Frank Busse
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-01-18	Fix handling of debug information for functions	Martin Nowack
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-19	Add support to assign debug instructions to optimised code	Martin Nowack
2019-03-19	Use debugging information from newer LLVM versions	Martin Nowack
2019-03-19	separate between instructions and functions	Martin Nowack
2019-03-19	Refactor InstructionInfoTable	Martin Nowack
2018-05-24	llvm: make KLEE compile against LLVM 3.7	Richard Trembecký
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-07-18	Merge pull request #672 from jirislaby/llvm40_static_casts	Andrea Mattavelli
2017-06-15	llvm37: do not copy DILocation to getDSPIPath	Jiri Slaby
2017-06-15	llvm: get rid of static_casts from iterators	Jiri Slaby
2017-02-28	convert iterators using static_cast	Jiri Slaby
2014-09-14	[LLVM3.5] Update for more random headers moving around.	Daniel Dunbar
2014-09-14	[LLVM3.5] Update for move of CFG.h into IR.	Daniel Dunbar
2014-09-14	[Module] Try harder to associate each instruction with source level debug info.	Daniel Dunbar
2014-09-13	Add KLEE specific DEBUG macros.	Daniel Dunbar
2014-09-12	[Module] Fix handling of instructions without debug info.	Daniel Dunbar
2013-12-19	Only record debug info into InstructionInfoTable if debug information	Dan Liew
2013-12-19	Remove old algorithm for acquiring debug info. Since LLVM 2.7,	Dan Liew
2013-12-19	Simplify acquisition of debug informtion for instruction info with newer LLVM...	Martin Nowack
2013-12-06	Deprecate LLVM 2.8 and lower	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-04-04	Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2	Cristian Cadar
2011-07-20	Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of	Peter Collingbourne
2011-06-23	When extracting path from debug info, use file name on its own if it begins w...	Peter Collingbourne
2010-09-30	Spell versioning macros correctly.	Daniel Dunbar
2010-09-30	Update for spurious LLVM API changes.	Daniel Dunbar
2010-03-14	Update for 2.7.	Daniel Dunbar
2009-10-25	Update source to build against LLVM 2.6	Daniel Dunbar
2009-09-01	Update for LLVM ostream changes.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar