Repository navigation

Prove array lengths stable in index loops and version dense array loops - #1247

Merged

ctate merged 7 commits into

mainfrom

opt/array-length-ranges

Oct 18, 2026

Merged

Prove array lengths stable in index loops and version dense array loops#1247
ctate merged 7 commits into
mainfrom
opt/array-length-ranges

Commits on Oct 17, 2026
- Prove array lengths stable in index loops and version dense array loops
  
  cramforce
  and
  claude
  committed
  714ef5a
Commits on Oct 18, 2026
- Renumber the array length loop corpus programs past main's numbers
  
  cramforce
  and
  claude
  committed
  39d2a05
- Convert only int32 loop counters from their low half
  
  cramforce
  and
  claude
  committed
  cf872ea
- Format the array length loop changes and record their order baselines
  
  cramforce
  and
  claude
  committed
  1e5079a
- Expect the tighter strided-loop bound in the self-hosted range cases
  
  cramforce
  and
  claude
  committed
  0dc6e05
- Merge remote-tracking branch 'origin/main' into opt/array-length-ranges
  cramforce
  committed
  e7cf1b0
- Record CI costs for the array length loop corpus programs
  
  cramforce
  and
  claude
  committed
  d49fcf3