forked from OSchip/llvm-project
32b72c3165
It was reverted because of negative compile time impact. In this version, less powerful proof methods are used (non-recursive reasoning only), and scope limited to constant End values to avoid explision of complex proofs. Differential Revision: https://reviews.llvm.org/D89381 |
||
|---|---|---|
| .. | ||
| llvm | ||
| llvm-c | ||