about summary refs log tree commit diff homepage
path: root/lib/Module/InstructionInfoTable.cpp
AgeCommit message (Expand)Author
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 07:56:18 +0000