PR #167292 [mlir][presburger] Fix PresburgerSpace comment

[mlir][presburger] Fix PresburgerSpace comment #167292

superty merged 1 commit into llvm:main from linuxlonelyeagle:fix-presburger-space-comment

fix PresburgerSpace comment.

f4ac6f50

linuxlonelyeagle requested a review from

Groverkss 224 days ago

linuxlonelyeagle requested a review from

superty 224 days ago

llvmbot added mlir

llvmbot added mlir:presburger

linuxlonelyeagle changed the title ~~[mlir] Fix PresburgerSpace comment.~~ [mlir] Fix PresburgerSpace comment 224 days ago

linuxlonelyeagle changed the title ~~[mlir] Fix PresburgerSpace comment~~ [mlir][presburger]Fix PresburgerSpace comment 223 days ago

linuxlonelyeagle changed the title ~~[mlir][presburger]Fix PresburgerSpace comment~~ [mlir][presburger] Fix PresburgerSpace comment 223 days ago

noclowns approved these changes on 2025-11-16

superty approved these changes on 2025-11-21

superty merged 6be7cf08 into main 212 days ago

Reviewers

superty

noclowns

Groverkss

Assignees

No one assigned

Labels

mlir mlir:presburger

Milestone

No milestone