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

[llvmlistbot at llvm.org]

Author: Rolf Morel
Date: 2025-10-07T21:02:36+01:00
New Revision: 0df5fc7d825d2b279ecd283ca002834c223853ff

URL: https://github.com/llvm/llvm-project/commit/0df5fc7d825d2b279ecd283ca002834c223853ff
DIFF: https://github.com/llvm/llvm-project/commit/0df5fc7d825d2b279ecd283ca002834c223853ff.diff

LOG: [MLIR][Transform] Docs: add SMT extension section and fix Tune header (#161560)

Added: 
    

Modified: 
    mlir/docs/Dialects/Transform.md

Removed: 
    


################################################################################
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"]