Skip to content

Fix Statement.renameLhs to compare identifier names#467

Closed
tautschnig wants to merge 3 commits intomainfrom
tautschnig/fix-renameLhs
Closed

Fix Statement.renameLhs to compare identifier names#467
tautschnig wants to merge 3 commits intomainfrom
tautschnig/fix-renameLhs

Commits

Commits on Feb 23, 2026