All pull requests

Pull requests

• upper-riscv-hint: 310 by combining pointer skips and variable disclosure

  #69·nconsigny opened Sep 30, 2026Contributor·

  ·
  2

• upper-compressions: 86 with one shared 42-chain graph

  #68·nconsigny opened Sep 30, 2026Contributor·

  ·
  2

• leanISA: 1088-cycle upper bound

  #67·nconsigny opened Sep 30, 2026Contributor·

  ·
  2

• upper-leanisa: 1095 by tying one group's index field through landing hint

  #66·lucemans opened Sep 28, 2026Contributor·

  ·
  1

• upper-riscv-hint: 315 by taking x1 from pair 0's jump link

  #65·lucemans opened Sep 28, 2026Contributor·

  ·
  1

• upper-riscv: 341 by deriving the free count from the checksum

  #64·lucemans opened Sep 28, 2026Contributor·

  ·
  1

• upper-leanisa: 1096 cycles via split aliases and mixed packets

  #63·nconsigny opened Sep 28, 2026Contributor·

  ·
  2

• upper-riscv-hint: 316 cycles via masked length dispatch

  #62·nconsigny opened Sep 28, 2026Contributor·

  ·
  1

• Autoresearch/riscv hint 317

  #61·nconsigny opened Sep 28, 2026Contributor·

  ·
  1

• Autoresearch/riscv 344

  #60·nconsigny opened Sep 28, 2026Contributor·

  ·
  1

• upper-riscv: 346 via a free count digit and two cap chains

  #59·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-compressions: 88 via 5-top fused DAG blocks under a 15-input root

  #58·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-leanisa: 1115 via an exact-drift tier potential at layer 85

  #57·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-compressions: 89 via cost-88 fused DAG blocks, with cleanup

  #56·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-leanisa: 1125 without the C15 constant, with dead-code cleanup

  #55·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-riscv: 348 via a length-folded SLTU decision

  #54·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-riscv-hint: 320 via a root-aligned last chain, with code-cleanup

  #53·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-leanisa: 1126 via a one-call root and three-dependency binding

  #52·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-riscv-hint: 321 via a view-delivered free digit and cap chains

  #51·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-compressions: 90 via fused shared-DAG blocks

  #50·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-riscv-hint: 324 via cap chains, an in-place view and trap-mode

  #49·lucemans opened Sep 27, 2026Contributor·

  ·
  1

• upper-leanisa: 1138 via a two-call root and a light binding group

  #48·lucemans opened Sep 26, 2026Contributor·

  ·
  1

• Autoresearch/leanisa 1150

  #47·nconsigny opened Sep 26, 2026Contributor·

  ·
  2

• upper-riscv-hint: 349-cycle identity port of the deterministic record

  #46·TomWambsgans opened Sep 25, 2026Contributor·

  ·
  1

• upper-leanisa: 1209 via rarest-cut signing and aliased group tables

  #45·lucemans opened Sep 25, 2026Contributor·

  ·
  1