about summary refs log tree commit diff homepage
path: root/lib/Module/RaiseAsm.cpp
AgeCommit message (Expand)Author
2020-06-06[Module] Disable lifting for inline asm resembling memory fences with return ...Martin Nowack
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-04-02Add FreeBSD OS triple in RaiseAsmGleb Popov
2019-03-21drop support for LLVM <= 3.7Julian Büning
2018-10-26llvm6: handle headers renamingJiri Slaby
2018-09-14llvm: make KLEE compile against LLVM 3.9Jiri Slaby
2018-05-24llvm: make KLEE compile against LLVM 3.7Richard Trembecký
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-02-28convert iterators using static_castJiri Slaby
2016-11-03Adds support for Darwin platform in RaiseAsm passAndrea Mattavelli
2016-08-10Extended support for assembler raisingMartin Nowack
2015-03-20[Core] Fix memory leak in assembler raisingMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2011-12-08Update for changes in LLVM trunk. Original patch by arrowdodger!Peter Collingbourne
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2011-09-02Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+Peter Collingbourne
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-11-14On LLVM 2.9+, use TargetLowering::ExpandInlineAsm to expand asm codePeter Collingbourne
2010-07-15Update to match new 2.8 CallInst getOperand API.Daniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-28 17:12:13 +0000