summaryrefslogtreecommitdiff
path: root/mlir/test/python/dialects/transform_smt_ext.py
AgeCommit message (Expand)Author
2025-10-18[MLIR][Transform][SMT] Allow for declarative computations in schedules (#160895)Rolf Morel
2025-09-21[MLIR][Transform][SMT] Introduce transform.smt.constrain_params (#159450)Rolf Morel