Skip to content

[RTG][circt-tblgen] Improve whitespace handling#9887

Merged
maerhart merged 1 commit intomainfrom
maerhart-rtg-tblgen-whitespaces
Mar 9, 2026
Merged

[RTG][circt-tblgen] Improve whitespace handling#9887
maerhart merged 1 commit intomainfrom
maerhart-rtg-tblgen-whitespaces

Conversation

@maerhart
Copy link
Member

@maerhart maerhart commented Mar 9, 2026

No description provided.

@maerhart maerhart added the RTG Involving the `rtg` dialect label Mar 9, 2026
@maerhart maerhart force-pushed the maerhart-rtg-tblgen-remove-mnemonic branch from 760a9f4 to add9403 Compare March 9, 2026 11:40
Base automatically changed from maerhart-rtg-tblgen-remove-mnemonic to main March 9, 2026 11:58
@maerhart maerhart force-pushed the maerhart-rtg-tblgen-whitespaces branch from ac133a3 to cd07346 Compare March 9, 2026 12:06
Copy link
Member

@uenoku uenoku left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@maerhart maerhart merged commit 37cdf9c into main Mar 9, 2026
7 checks passed
@maerhart maerhart deleted the maerhart-rtg-tblgen-whitespaces branch March 9, 2026 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

RTG Involving the `rtg` dialect

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants