Skip to content

Conversation

@maerhart
Copy link
Member

@maerhart maerhart commented Dec 2, 2025

No description provided.

@maerhart maerhart added Reducer Related to `circt-reduce` RTG Involving the `rtg` dialect labels Dec 2, 2025
Copy link
Contributor

@fabianschuiki fabianschuiki 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 cf3cd81 into main Dec 17, 2025
8 checks passed
@maerhart maerhart deleted the maerhart-rtg-reductions branch December 17, 2025 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Reducer Related to `circt-reduce` RTG Involving the `rtg` dialect

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants