| commit | 724361f77696a09b991b3b93fd605c92baf73622 | [log] [tgz] |
|---|---|---|
| author | Max Kazantsev <max.kazantsev@azul.com> | Thu Feb 15 07:47:17 2018 +0000 |
| committer | Max Kazantsev <max.kazantsev@azul.com> | Thu Feb 15 07:47:17 2018 +0000 |
| tree | 2f4273a723c7cdf632ce45a5fb8073b3d06c5069 | |
| parent | 185af7af5336c03d855e335e2feec2437c49ec6f [diff] |
[NFC] Rename isKnownViaSimpleReasoning to isKnownViaNonRecursiveReasoning git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@325216 91177308-0d34-0410-b5e6-96231b3b80d8