[Mlir-commits] [mlir] [mlir][SMT] restore custom builder for forall/exists (PR #135470)

Maksim Levental llvmlistbot at llvm.org
Sat Apr 12 09:32:25 PDT 2025


makslevental wrote:

> Thanks for fixing this! I guess CIRCT doesn't have an ASAN CI so this was missed?

Ya I guess not - maybe we should add that? I'll put it on my ever-growing to-do list lol

https://github.com/llvm/llvm-project/pull/135470


More information about the Mlir-commits mailing list