[Mlir-commits] [mlir] [MLIR][Transform] Docs: add SMT extension section and fix Tune header (PR #161560)

[llvmlistbot at llvm.org]

llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-mlir

Author: Rolf Morel (rolfmorel)

<details>
<summary>Changes</summary>



---
Full diff: https://github.com/llvm/llvm-project/pull/161560.diff


1 Files Affected:

- (modified) mlir/docs/Dialects/Transform.md (+5-1) 


``````````diff
diff --git a/mlir/docs/Dialects/Transform.md b/mlir/docs/Dialects/Transform.md
index 7164cb74f0a8f..2133b81ed87ba 100644
--- a/mlir/docs/Dialects/Transform.md
+++ b/mlir/docs/Dialects/Transform.md
@@ -415,10 +415,14 @@ ops rather than having the methods directly act on the payload IR.
 
 [include "Dialects/TransformOps.md"]
 
-## Tuning Extension Operaiton
+## Tune Extension Operations
 
 [include "Dialects/TuneExtensionOps.md"]
 
+## SMT Extension Operations
+
+[include "Dialects/SMTExtensionOps.md"]
+
 ## Affine Transform Operations
 
 [include "Dialects/AffineLoopTransformOps.md"]

``````````

</details>


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