Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Tree optimizer] Remove unnecessary Let bindings #239

Closed
rtjoa opened this issue Jan 12, 2024 · 1 comment
Closed

[Tree optimizer] Remove unnecessary Let bindings #239

rtjoa opened this issue Jan 12, 2024 · 1 comment
Assignees

Comments

@rtjoa
Copy link
Collaborator

rtjoa commented Jan 12, 2024

No description provided.

@rtjoa rtjoa moved this from Todo to In Progress in Tree Unique Optimizations and Analyses Jan 12, 2024
@oflatt oflatt moved this from In Progress to Todo in Tree Unique Optimizations and Analyses Jan 16, 2024
@oflatt oflatt changed the title [Tree unique] Unnecessary port deletion [Tree optimizer] Remove unnecessary Let bindings Feb 1, 2024
@oflatt oflatt assigned yihozhang and unassigned oflatt Feb 1, 2024
@oflatt
Copy link
Member

oflatt commented Feb 1, 2024

Duplicate of #247

@oflatt oflatt marked this as a duplicate of #247 Feb 1, 2024
@oflatt oflatt closed this as completed Feb 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants