[llvm] [RFC][Uniformity] add proof section uniformity is safe to use across transforms (PR #170628)

Nicolai Hähnle via llvm-commits llvm-commits at lists.llvm.org
Thu Dec 4 10:00:26 PST 2025


https://github.com/nhaehnle edited https://github.com/llvm/llvm-project/pull/170628


More information about the llvm-commits mailing list