[Mlir-commits] [mlir] [MLIR][Presburger] Add support for Smith normal form (PR #185328)

[Yue Huang]

AdUhTkJm wrote:

> By the way, it would relaly help if you added commits rather than force pushing. When you add commits I can just view the diff since my last review in github; if you force push, I need to look at the whole diff again.

Oh I thought each PR should correspond to one commit. Do I then need to combine them into one before getting merged if I have multiple commits?

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