Skip to content

refactor: rerun eliminate_perfect_aliases! after alias_elimination!#4640

Merged
AayushSabharwal merged 3 commits into
masterfrom
as/rerun-perfect-aliases
Jun 19, 2026
Merged

refactor: rerun eliminate_perfect_aliases! after alias_elimination!#4640
AayushSabharwal merged 3 commits into
masterfrom
as/rerun-perfect-aliases

Conversation

@AayushSabharwal

Copy link
Copy Markdown
Member

Alias elimination sometimes transforms equations into 0 ~ x - y form, which eliminate_perfect_aliases! can subsequently tackle. This prevents pantelides from differentiating such equations.

@AayushSabharwal

Copy link
Copy Markdown
Member Author

Partially supersedes JuliaComputing/StateSelection.jl#103

@oscardssmith

Copy link
Copy Markdown
Member

why does alias elimination leave things in the form 0 ~ x - y? isn't that a bug in alias elimination?

@AayushSabharwal

Copy link
Copy Markdown
Member Author

Alias elimination doesn't eliminate anything. It just runs bareiss.

@oscardssmith

Copy link
Copy Markdown
Member

then this seems good to me.

@AayushSabharwal AayushSabharwal merged commit 73f2d5d into master Jun 19, 2026
43 of 65 checks passed
@AayushSabharwal AayushSabharwal deleted the as/rerun-perfect-aliases branch June 19, 2026 06:01
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.

2 participants