From 01c9b1e3a673436168756c537f654638b2589990 Mon Sep 17 00:00:00 2001 From: Rolf Morel Date: Wed, 1 Oct 2025 19:10:24 +0100 Subject: [PATCH] [MLIR][Transform] Docs: add SMT extension section and fix Tune header --- mlir/docs/Dialects/Transform.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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"]