Repository navigation

Reduce selected compiler height 47.1× with a checked net-tax application - #6771

Merged

Mister-Meeseeks merged 3 commits into

CrocSwap:mainfrom

CubeJerry:research/20261106-selected-compiler-height

Nov 10, 2026

Merged

Reduce selected compiler height 47.1× with a checked net-tax application#6771
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106-selected-compiler-height

Commits on Nov 6, 2026
- research: reduce selected sufficient compiler height by 45.4 times
  CubeJerry
  committed
  e945eca
- Apply the sharp net tax in a separately checked compiler example
  CubeJerry
  committed
  223ea94
Commits on Nov 7, 2026
- Fix selected compiler replay source pin
  CubeJerry
  committed
  b7692dd