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

Jacques Pienaar llvmlistbot at llvm.org
Wed Jun 5 09:20:46 PDT 2024

Previous message: [Mlir-commits] [mlir] [MLIR][VectorToLLVM] Handle scalable dim in createVectorLengthValue() (PR #93361)
Next message: [Mlir-commits] [mlir] [mlir][tensor] Implement constant folder for tensor.pad (PR #92691)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

jpienaar wrote:

Just noticed this one, this is really nice. Hoping it flushes out more cases :)

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

Previous message: [Mlir-commits] [mlir] [MLIR][VectorToLLVM] Handle scalable dim in createVectorLengthValue() (PR #93361)
Next message: [Mlir-commits] [mlir] [mlir][tensor] Implement constant folder for tensor.pad (PR #92691)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Mlir-commits mailing list