[Mlir-commits] [mlir] [MLIR][Python] Add optional emit reset to exportSMTLIB (PR #187366)
Jakub Kuderski
llvmlistbot at llvm.org
Wed Mar 18 12:49:44 PDT 2026
https://github.com/kuhar approved this pull request.
Makes sense, our use case in IREE doesn’t need these resets
https://github.com/llvm/llvm-project/pull/187366
More information about the Mlir-commits
mailing list