Repository navigation

perf(codegen): guarded ordinary-parameter specialization - #8094

Merged

proggeramlug merged 7 commits into

mainfrom

perf/issue-8079-guarded-param-specialization

Aug 15, 2026

Merged

perf(codegen): guarded ordinary-parameter specialization#8094
proggeramlug merged 7 commits into
mainfrom
perf/issue-8079-guarded-param-specialization

Commits on Aug 15, 2026
- wip(codegen): guarded ordinary-parameter specialization
  Ralph Küpper
  committed
  ae34198
- chore(changelog): key the fragment on PR 8094, not the issue
  Ralph Küpper
  committed
  d6f1cd6
- test(gap): make the moving-GC case actually collect
  Ralph Küpper
  committed
  4431fac
- fix(lint): route branch-scoped proof snapshots through an audited accessor
  Ralph Küpper
  committed
  119a79b
- fix(codegen): a guarded parameter's reference proof cannot outlive a call
  Ralph Küpper
  committed
  785530f
- fix(codegen): keep parameter-content mutation off the raw representation mask
  Ralph Küpper
  committed
  c750b92
- test(codegen): retarget the proof suite at the guarded three-symbol split
  Ralph Küpper
  committed
  727d4af