[Mlir-commits] [mlir] [MLIR][Transform][SMT] Allow for declarative computations in schedules (PR #160895)

[Oleksandr Alex Zinenko]

https://github.com/ftynse approved this pull request.

LGTM in general. Please make sure we have tests for every diagnostic, which may also catch cases that check an already-checked property and should be turned into assertions.

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