summaryrefslogtreecommitdiff
path: root/mlir/lib/Analysis/Presburger
AgeCommit message (Expand)Author
2025-11-15[mlir] Use llvm::copy (NFC) (#168213)Kazu Hirata
2025-11-09[mlir] Use llvm::transform (NFC) (#167205)Kazu Hirata
2025-11-07[mlir] Use LDBG to replace LLVM_DEBUG in IntegerRelation.cpp (NFC) (#166772)lonely eagle
2025-10-16[mlir] Replace LLVM_ATTRIBUTE_UNUSED with [[maybe_unused]] (NFC) (#163703)Kazu Hirata
2025-08-22[MLIR] Apply clang-tidy fixes for readability-identifier-naming in Simplex.cp...Mehdi Amini
2025-08-22[MLIR] Apply clang-tidy fixes for readability-identifier-naming in QuasiPolyn...Mehdi Amini
2025-08-22[MLIR] Apply clang-tidy fixes for readability-identifier-naming in Matrix.cpp...Mehdi Amini
2025-08-22[MLIR] Apply clang-tidy fixes for performance-unnecessary-value-param in Matr...Mehdi Amini
2025-08-22[MLIR] Apply clang-tidy fixes for misc-use-internal-linkage in Barvinok.cpp (...Mehdi Amini
2025-08-18[mlir][Presburger] NFC: return var index from IntegerRelation::addLocalFloorD...Jeremy Kun
2025-08-15[mlir][presburger] add functionality to compute local mod in IntegerRelation ...asraa
2025-07-24[mlir] Remove unused includes (NFC) (#150476)Kazu Hirata
2025-07-17[mlir] [presburger] Add IntegerRelation::rangeProduct (#148092)Jeremy Kun
2025-07-07[mlir] Use `llvm::fill` instead of `std::fill`(NFC) (#146889)Longsheng Mou
2025-07-01[mlir] Remove unused includes (NFC) (#146467)Kazu Hirata
2025-05-28[MLIR][Presburger] removeTrivialRedundancy: skip unnecessary check for duplic...Leonid Gorbunov
2025-05-12[NFC][MLIR] Add {} for `else` when `if` body has {} (#139422)Rahul Joshi
2025-04-14[mlir] Use llvm::append_range (NFC) (#135722)Kazu Hirata
2025-03-04[MLIR][Affine] Improve memref region bounding size and shape computation (#12...Uday Bondhugula
2025-03-01[MLIR] NFC. Improve API signature + clang-tidy warning in IntegerRelation (#1...Uday Bondhugula
2024-12-06[mlir][presburger] NFC: Add missing definition for 'MultiAffineFunction::dump...Christopher Bate
2024-10-03Fix LLVM_ENABLE_ABI_BREAKING_CHECKS macro check: use #if instead of #ifdef (#...Mehdi Amini
2024-09-11[MLIR][Presburger] Make printing aligned to assist in debugging (#107648)Amy Wang
2024-09-05[Presburger] Avoid repeated hash lookups (NFC) (#107426)Kazu Hirata
2024-08-09[mlir] Use llvm::is_contained (NFC) (#102714)Kazu Hirata
2024-08-04[mlir] Construct SmallVector with ArrayRef (NFC) (#101896)Kazu Hirata
2024-07-15mlir/Presburger: optimize to avoid creating copies (#97897)Ramkumar Ramachandra
2024-07-08mlir/Presburger: optimize normalizeDiv when gcd=1 (#97893)Ramkumar Ramachandra
2024-07-03mlir/Presburger: reinstate use of LogicalResult (#97415)Ramkumar Ramachandra
2024-06-29mlir/Presburger: strip dependency on MLIRSupport (#96517)Ramkumar Ramachandra
2024-06-13[llvm-project] Fix typo "seperate" (#95373)Jay Foad
2024-06-12Reland "mlir/Presburger/MPInt: move into llvm/ADT" (#95254)Ramkumar Ramachandra
2024-06-12Revert #95218 and #94953 (#95244)Maksim Levental
2024-06-12mlir/Presburger/MPInt: move into llvm/ADT (#94953)Ramkumar Ramachandra
2024-04-18[MLIR][Presburger] Use Identifiers outside Presburger library (#77316)Bharathi Ramana Joshi
2024-03-04Apply clang-tidy fixes for readability-simplify-boolean-expr in IntegerRelati...Mehdi Amini
2024-03-04Apply clang-tidy fixes for readability-container-size-empty in Barvinok.cpp (...Mehdi Amini
2024-03-04Apply clang-tidy fixes for performance-unnecessary-value-param in Barvinok.cp...Mehdi Amini
2024-03-04Apply clang-tidy fixes for modernize-use-emplace in Barvinok.cpp (NFC)Mehdi Amini
2024-03-04Apply clang-tidy fixes for modernize-loop-convert in Barvinok.cpp (NFC)Mehdi Amini
2024-02-21[mlir] Apply ClangTidy performance fix.Adrian Kuegel
2024-02-15[MLIR][Presburger] Implement vertex enumeration and chamber decomposition for...Abhinav271828
2024-01-22[mlir] Fix -Wunused-variable in Barvinok.cpp (NFC)Jie Fu
2024-01-22[MLIR][Presburger] Implement function to evaluate the number of terms in a ge...Abhinav271828
2024-01-20[MLIR][Presburger] Implement IntegerRelation::setId (#77872)Bharathi Ramana Joshi
2024-01-13[MLIR][Presburger] Fold loop into assertBenjamin Kramer
2024-01-13[MLIR][Presburger] Helper functions to compute the constant term of a generat...Abhinav271828
2024-01-13[MLIR][Presburger] Implement Matrix::moveColumns (#68362)Bharathi Ramana Joshi
2024-01-12[MLIR][Presburger] Fix style violations in ff80414 (NFC) (#76720)Bharathi Ramana Joshi
2024-01-11[MLIR][Presburger] Implement computation of generating function for unimodula...Abhinav271828