Fix degraded codegen for inner recursive functions under realsig#19882

Merged

abonie merged 21 commits into

mainfrom

fix/realsign-codegen

Jun 12, 2026

Commits on Jun 2, 2026

Fix TLR under --realsig+ and closure constraint stripping

T-Gro
and
Copilot
committed
Fix verifyILContains silent failure, add checkILPresent/checkILNotPresent HOF

T-Gro
and
Copilot
committed

Commits on Jun 5, 2026

Merge remote-tracking branch 'origin/main' into fix/realsign-codegen
T-Gro
committed
Address adversarial review feedback (opus 4.8, opus 4.7 xhigh, gpt 5.5)

T-Gro
and
Copilot
committed
Address production-grade reuse review (opus 4.8, opus 4.7 xhigh, gpt 5.5)

T-Gro
and
Copilot
committed

Commits on Jun 9, 2026

Bump ILVerify job timeout to 120 min (was AzDo default 60 min)

T-Gro
and
Copilot
committed

Commits on Jun 10, 2026