[Mlir-commits] [mlir] [mlir][SMT] upstream `SMT` dialect (PR #131480)

Martin Erhart llvmlistbot at llvm.org
Tue Apr 8 08:27:26 PDT 2025


================
@@ -0,0 +1,81 @@
+// RUN: mlir-opt %s | mlir-opt | FileCheck %s
----------------
maerhart wrote:

Nit: can use `--verify-roundtrip` instead; also search-replace for this in the other files

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


More information about the Mlir-commits mailing list