index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
Module
/
IntrinsicCleaner.cpp
Age
Commit message (
Expand
)
Author
2018-07-12
llvm38: no more implicit iterators
Richard Trembecký
2018-05-24
llvm37: handle GetElementPtrInst::Create's new parameter
Jiri Slaby
2018-05-22
clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}
Julian Büning
2018-05-22
some housekeeping in Passes.h and IntrinsicCleaner.cpp
Julian Büning
2018-05-09
Remove workaround for bug in older LLVM version (< 3)
Martin Nowack
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-02-25
llvm: stop using global context
Jiri Slaby
2016-10-18
Fix `-Wmisleading-indentation` warning and also correctly set the
Dan Liew
2015-12-19
Implement support for lowering the ``llvm.objectsize`` intrinsic
Dan Liew
2015-02-13
refactor integer overflow detection, add signed int
Luca Dariz
2015-02-13
Fix overflow detection in unsigned multiplication
Luca Dariz
2015-02-13
Detect overflow of unsigned add, sub and mul operations
Luca Dariz
2015-02-13
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Cristian Cadar
2015-02-10
Merged @luckyluke's change for detecting overflow of unsigned add, sub
Cristian Cadar
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-10-08
Remove llvm.trap declaration after cleaning all uses.
Lei Zhang
2013-09-23
Lower intrinsic instruction "llvm.trap" to a call of the abort() function.
Lei Zhang
2013-08-27
Port to LLVM 3.3
Martin Nowack
2013-08-15
Implemented llvm.umul.with.overflow
Martin Nowack
2013-04-04
Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2
Cristian Cadar
2012-10-08
Make the changes in r165394 be conditional on post LLVM 3.1 changes.
Micah Villmow
2012-10-08
Move TargetData to DataLayout.
Micah Villmow
2012-04-10
Lowering support for the llvm.uadd.with.overflow intrinsic.
Peter Collingbourne
2011-07-20
Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of
Peter Collingbourne
2010-07-15
Update to match new 2.8 CallInst getOperand API.
Daniel Dunbar
2010-06-24
Remove llvm.dbg.value intrinsic new to LLVM 2.7
Peter Collingbourne
2010-05-02
Add missing include of Config.h, which was causing LLVM version checks to be
Daniel Dunbar
2010-03-14
Update for 2.7.
Daniel Dunbar
2009-08-17
Update for LLVM API change.
Daniel Dunbar
2009-08-01
Implement va_arg handling for x86_64.
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar