projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f847657) | patch
Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may...
authorKay Tiong Khoo <kkhoo@perfwizard.com>
Thu, 19 Dec 2013 18:35:54 +0000 (18:35 +0000)
committerKay Tiong Khoo <kkhoo@perfwizard.com>
Thu, 19 Dec 2013 18:35:54 +0000 (18:35 +0000)
commit75c84130c1a799b63b393b1de41281c3a92e5c86
treea1d46a7313bf3159768217e409662a728ba60db6tree | snapshot
parentf847657767a617564c6e07adcd496622f56d8b3fcommit | diff
Stay classy (and legal) LLVM. Remove links to 3rd party SMT solver whose links may not be permanent.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@197713 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineCompares.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors