[Mlir-commits] [mlir] [mlir][SMT] add python bindings (PR #135674)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {darker}-->


:warning: Python code formatter, darker found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
darker --check --diff -r HEAD~1...HEAD mlir/python/mlir/dialects/smt.py mlir/test/python/dialects/smt.py
``````````

</details>

<details>
<summary>
View the diff from darker here.
</summary>

``````````diff
--- test/python/dialects/smt.py	2025-04-14 20:35:40.000000 +0000
+++ test/python/dialects/smt.py	2025-04-14 20:37:49.644080 +0000
@@ -5,13 +5,13 @@
 
 from mlir.dialects import smt
 from mlir.ir import Context, Location, Module, InsertionPoint
 
 with Context() as ctx, Location.unknown():
-  # mlir.register_dialects(ctx)
-  m = Module.create()
-  with InsertionPoint(m.body):
-    true = smt.constant(True)
-    false = smt.constant(False)
-  # CHECK: smt.constant true
-  # CHECK: smt.constant false
-  print(m)
+    # mlir.register_dialects(ctx)
+    m = Module.create()
+    with InsertionPoint(m.body):
+        true = smt.constant(True)
+        false = smt.constant(False)
+    # CHECK: smt.constant true
+    # CHECK: smt.constant false
+    print(m)

``````````

</details>


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