Commits

Commits on Jun 11, 2024

MathExtras: MulOverflow: use builtin when available (NFC) (#95046)
Superty
authored

Commits on Oct 18, 2023

[Presburger] Fraction: resolve ambiguous overload in some cases
Superty
committed

Commits on Oct 13, 2023

[MLIR][Presburger] clang-format and clang-tidy
Superty
committed

Commits on Sep 28, 2023

Matrix: remove self-include [NFC]
Superty
committed

Commits on Sep 18, 2023

Revert "[MLIR][Presburger] Template Matrix to allow MPInt and Fraction (#65272)"
Superty
committed

Commits on Apr 20, 2023

Revert "[mlir][irdl] Add IRDL registration"
Superty
committed

Commits on Feb 14, 2023

[MLIR][Presburger] Matrix: hide expensive consistency check behind EXPENSIVE_CHECKS macro
Superty
committed

Commits on Sep 15, 2022

[MLIR][Presburger] clarify why -0 is used instead of 0 (NFC)
Superty
committed

Commits on Sep 14, 2022

[MLIR][Presburger] use arbitrary-precision arithmetic with MPInt instead of int64_t
Superty
committed

Commits on Aug 8, 2022

[MLIR][Presburger] make sample test with integer lexmin use containsPointNoLocal
Superty
committed

Commits on Aug 4, 2022

Commits on Jul 18, 2022

Commits on Jul 14, 2022

[MLIR][Presburger] MPInt: use /// for top-level comment, not // (NFC)
Superty
committed

Commits on Jul 11, 2022

Commits on Jul 1, 2022

Commits on Jun 29, 2022

Commits on Jun 28, 2022

Commits on Jun 25, 2022

[MLIR][Presburger] Support computing a representation of a set that only has locals that are divs
Superty
committed

Commits on Jun 22, 2022

[MLIR][Presburger] introduce SlowMPInt, an auto-resizing APInt for fully correct signed integer computations
Superty
committed

Commits on Jun 11, 2022

[MLIR][Presburger] PresburgerSet::containsPoint: support disjuncts with locals
Superty
committed

Commits on Jun 8, 2022

[MLIR][Presburger] subtract: improve redundant constraint detection
Superty
committed

Commits on Jun 2, 2022

[MLIR][Presburger] Simplex: remove redundant member vars nRow, nCol
Superty
committed