Optimization: Inline single-use variables guaranteed to execute (O3)#53

Merged

nielstron merged 9 commits intomasterfrom

copilot/optimize-inline-expressions

Mar 7, 2026

Commits on Mar 7, 2026

Initial plan
Copilot
committed
Add InlineVariableOptimizer as O3 optimization for single-use guaranteed variables

Copilot
and
nielstron
committed
Add InlineVariableOptimizer to acceptance tests and generic semantic equivalence tests

Copilot
and
nielstron
committed
Move semantic equivalence test from test_misc to proper roundtrip test in test_roundtrips

Copilot
and
nielstron
committed
Apply black formatting to modified files

Copilot
and
nielstron
committed
Run black on all modified files including uplc/__init__.py

Copilot
and
nielstron
committed
Fix formatting
nielstron
committed
Add tests for visit_Constr and visit_Program coverage in GuaranteedExecutionChecker

Copilot
and
nielstron
committed
formatting
nielstron
committed