MLIR 22.0.0git

SMTExtension → IR Relation

File in include/mlir/Dialect/Transform/SMTExtensionIncludes file in include/mlir/Dialect/Transform/IR
SMTExtension.hTransformDialect.h
SMTExtensionOps.hTransformDialect.h