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
/
LowerSwitch.cpp
Age
Commit message (
Expand
)
Author
2019-03-21
drop support for LLVM <= 3.7
Julian Büning
2018-08-03
Replace remaining *Inst::Create() calls with llvm::Builder
Martin Nowack
2018-07-12
llvm38: no more implicit iterators
Richard Trembecký
2018-02-01
llvm50: use auto variable instead of SwitchInst::CaseIt
Jiri Slaby
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-06-15
llvm: get rid of static_casts from iterators
Jiri Slaby
2017-02-28
convert iterators using static_cast
Jiri Slaby
2017-02-25
llvm: stop using global context
Jiri Slaby
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-08-27
Port to LLVM 3.3
Martin Nowack
2012-04-07
Fix compilation with LLVM trunk.
Peter Collingbourne
2012-03-08
Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:
Stepan Dyatkovskiy
2012-02-01
Second compatability fix for SwitchInst refactoring (added compatability with...
Stepan Dyatkovskiy
2012-02-01
Compatability fix for SwitchInst refactoring.
Stepan Dyatkovskiy
2011-07-20
Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour of
Peter Collingbourne
2010-03-14
Update for 2.7.
Daniel Dunbar
2009-08-17
Update for LLVM API change.
Daniel Dunbar
2009-07-12
Update for LLVM API changes.
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar