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

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

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

``````````bash
git-clang-format --diff HEAD~1 HEAD --extensions h,c,cpp -- mlir/lib/Bindings/Python/DialectSMT.cpp mlir/include/mlir-c/Dialect/SMT.h mlir/include/mlir-c/Target/ExportSMTLIB.h mlir/lib/CAPI/Dialect/SMT.cpp mlir/lib/CAPI/Target/ExportSMTLIB.cpp mlir/test/CAPI/smt.c
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/mlir/include/mlir-c/Target/ExportSMTLIB.h b/mlir/include/mlir-c/Target/ExportSMTLIB.h
index de1c70409..59beda54d 100644
--- a/mlir/include/mlir-c/Target/ExportSMTLIB.h
+++ b/mlir/include/mlir-c/Target/ExportSMTLIB.h
@@ -23,7 +23,7 @@ extern "C" {
 /// data
 MLIR_CAPI_EXPORTED MlirLogicalResult
 mlirTranslateModuleToSMTLIB(MlirModule, MlirStringCallback, void *userData,
-                          bool inlineSingleUseValues, bool indentLetBody);
+                            bool inlineSingleUseValues, bool indentLetBody);
 
 MLIR_CAPI_EXPORTED MlirLogicalResult mlirTranslateOperationToSMTLIB(
     MlirOperation, MlirStringCallback, void *userData,

``````````

</details>


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