Skip to content

feat: add is_unused_var interface function #61

Merged
AayushSabharwal merged 2 commits intomainfrom
as/unused-var-interface
Mar 31, 2026
Merged

feat: add is_unused_var interface function #61
AayushSabharwal merged 2 commits intomainfrom
as/unused-var-interface

Conversation

@AayushSabharwal
Copy link
Copy Markdown
Member

@AayushSabharwal AayushSabharwal commented Mar 31, 2026

trivial_tearing iterated over the wrong buffers, leading to bugs. The is_unused_var interface function is useful for ensuring valid consistency checks after eliminating things to additional_observed.

@AayushSabharwal AayushSabharwal merged commit 70eb739 into main Mar 31, 2026
11 of 23 checks passed
@AayushSabharwal AayushSabharwal deleted the as/unused-var-interface branch March 31, 2026 13:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant