about summary refs log tree commit diff homepage
path: root/lib/Module/InstructionInfoTable.cpp
AgeCommit message (Expand)Author
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2020-12-04llvm11: Make conversions from StringRef to std::string explicitLukas Zaoral
2020-07-29remove holes in Instruction-/FunctionInfoTable, add documentationFrank Busse
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-01-18Fix handling of debug information for functionsMartin Nowack
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19separate between instructions and functionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-15llvm37: do not copy DILocation to getDSPIPathJiri Slaby
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-02-28convert iterators using static_castJiri 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-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12[Module] Fix handling of instructions without debug info.Daniel Dunbar
2013-12-19Only record debug info into InstructionInfoTable if debug informationDan Liew
2013-12-19Remove old algorithm for acquiring debug info. Since LLVM 2.7,Dan Liew
2013-12-19Simplify acquisition of debug informtion for instruction info with newer LLVM...Martin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-06-23When extracting path from debug info, use file name on its own if it begins w...Peter Collingbourne
2010-09-30Spell versioning macros correctly.Daniel Dunbar
2010-09-30Update for spurious LLVM API changes.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-10-25Update source to build against LLVM 2.6Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 08:17:39 +0000