Repository navigation

perf(Vlasov): reduce peak compiler RSS by 11.39% - #688

Merged

Vilin97 merged 2 commits into

mainfrom

codex/optimize-vlasov-20261019-resume

Oct 20, 2026

Merged

perf(Vlasov): reduce peak compiler RSS by 11.39%#688
Vilin97 merged 2 commits into
mainfrom
codex/optimize-vlasov-20261019-resume

Commits on Oct 19, 2026
- perf(Vlasov): share estimates and reduce compiler memory
  Vilin97
  committed
  9d6758f
- Remove unused aliases to generated Vlasov proof helpers
  Vilin97
  authored
  b7d5c2a