[MLIR][Presburger] Clean PresburgerSet identifier interface to match IntegerPolyhedron's interface
ClosedPublic
Actions

Authored by Groverkss on Jan 23 2022, 10:52 AM.

Details

Reviewers

arjunp
bondhugula

Commits

rGad36f37ce2b4: [MLIR][Presburger] Clean PresburgerSet identifier interface to match…

Summary

This patch changes names of identifiers and their corresponding getters in
PresburgerSet to match those of IntegerPolyhedron.

Diff Detail

Repository: rG LLVM Github Monorepo

Event Timeline

Groverkss created this revision.Jan 23 2022, 10:52 AM

Herald added subscribers: sdasgup3, wenzhicui, wrengr and 20 others. · View Herald TranscriptJan 23 2022, 10:52 AM

Groverkss requested review of this revision.Jan 23 2022, 10:52 AM

Herald added a project: Restricted Project. · View Herald TranscriptJan 23 2022, 10:52 AM

Herald added subscribers: stephenneuendorffer, nicolasvasilache. · View Herald Transcript

arjunp accepted this revision.Jan 23 2022, 10:53 AM

arjunp edited the summary of this revision. (Show Details)

This revision is now accepted and ready to land.Jan 23 2022, 10:54 AM

Harbormaster completed remote builds in B145124: Diff 402356.Jan 23 2022, 11:12 AM

Closed by commit rGad36f37ce2b4: [MLIR][Presburger] Clean PresburgerSet identifier interface to match… (authored by Groverkss). · Explain WhyJan 23 2022, 11:41 AM

This revision was automatically updated to reflect the committed changes.

Groverkss added a commit: rGad36f37ce2b4: [MLIR][Presburger] Clean PresburgerSet identifier interface to match….

Revision Contents
Changeset List

Path

Size

mlir/

include/

mlir/

Analysis/

Presburger/

PresburgerSet.h

18 lines

lib/

Analysis/

Presburger/

PresburgerSet.cpp

35 lines

Diff 402362

View Options

mlir/include/mlir/Analysis/Presburger/PresburgerSet.h