summaryrefslogtreecommitdiff
path: root/mlir/lib/Transforms/GenerateRuntimeVerification.cpp
AgeCommit message (Expand)Author
2025-10-08[MLIR] Fix test failures for generate-runtime-verification pass from PR #1603...Hanchenng Wu
2025-10-08[MLIR] Reuse AsmState to enable fast generate-runtime-verification pass; add ...Hanchenng Wu
2025-03-18[mlir][memref] Add runtime verification for `memref.dim` (#130410)Matthias Springer
2022-12-21[mlir] Add RuntimeVerifiableOpInterface and transformMatthias Springer