[Mlir-commits] [mlir] [mlir][utils] Add script to verify canonicalizations against Alive2 (PR #91867)

Tobias Gysi llvmlistbot at llvm.org
Mon May 13 05:49:05 PDT 2024

Previous message: [Mlir-commits] [mlir] [mlir][utils] Add script to verify canonicalizations against Alive2 (PR #91867)
Next message: [Mlir-commits] [mlir] [mlir][utils] Add script to verify canonicalizations against Alive2 (PR #91867)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Thanks!

LGTM from my end.

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

Previous message: [Mlir-commits] [mlir] [mlir][utils] Add script to verify canonicalizations against Alive2 (PR #91867)
Next message: [Mlir-commits] [mlir] [mlir][utils] Add script to verify canonicalizations against Alive2 (PR #91867)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Mlir-commits mailing list