Skip to content

Show Simplification Pass Names#96

Merged
rcosta358 merged 1 commit into
mainfrom
show-simplification-passes
Jul 20, 2026
Merged

Show Simplification Pass Names#96
rcosta358 merged 1 commit into
mainfrom
show-simplification-passes

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

Follow-up of #265.

Demo

Screen.Recording.2026-06-22.at.16.04.02.mov

@rcosta358 rcosta358 self-assigned this Jun 22, 2026
@rcosta358 rcosta358 added the enhancement New feature or request label Jun 22, 2026
@rcosta358
rcosta358 force-pushed the show-simplification-passes branch from a0f32e0 to 2a8e44c Compare June 23, 2026 13:10

@CatarinaGamboa CatarinaGamboa left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Stamping

@rcosta358
rcosta358 merged commit 1d19e44 into main Jul 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants