[all-commits] [llvm/llvm-project] 1022fe: [MLIR][Presburger] Generating functions and quasi-...

[Abhinav271828 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1022febd9df30abbd5c490b94290c4422ca15b01
      https://github.com/llvm/llvm-project/commit/1022febd9df30abbd5c490b94290c4422ca15b01
  Author: Abhinav271828 <71174780+Abhinav271828 at users.noreply.github.com>
  Date:   2023-12-26 (Tue, 26 Dec 2023)

  Changed paths:
    A mlir/include/mlir/Analysis/Presburger/QuasiPolynomial.h
    M mlir/lib/Analysis/Presburger/CMakeLists.txt
    A mlir/lib/Analysis/Presburger/GeneratingFunction.h
    A mlir/lib/Analysis/Presburger/QuasiPolynomial.cpp
    M mlir/unittests/Analysis/Presburger/CMakeLists.txt
    A mlir/unittests/Analysis/Presburger/QuasiPolynomialTest.cpp
    M mlir/unittests/Analysis/Presburger/Utils.h

  Log Message:
  -----------
  [MLIR][Presburger] Generating functions and quasi-polynomials for Barvinok's algorithm (#75702)

Define basic types and classes for Barvinok's algorithm, including
polyhedra, generating functions and quasi-polynomials.
The class definitions include methods for arithmetic manipulation,
printing, logical relations, etc.