Repository navigation

Migrate workspace to Rust 2024 edition - #1207

Open

isPANN wants to merge 12 commits into

mainfrom

rust-2024-edition

Open

Migrate workspace to Rust 2024 edition#1207
isPANN wants to merge 12 commits into
mainfrom
rust-2024-edition

Commits on Oct 14, 2026
- Migrate workspace to Rust 2024 edition
  
  isPANN
  and
  claude
  committed
  81c2e1b
- Adopt the Rust 2024 rustfmt style edition
  
  isPANN
  and
  claude
  committed
  16ee25f
- Declare rust-version 1.88 and fix leftover indentation
  
  isPANN
  and
  claude
  committed
  57ebb23
- Cover error paths touched by the let-chain rewrite
  
  isPANN
  and
  claude
  committed
  8368cca
Commits on Oct 15, 2026
- Add --format to pipeline_pr.py wait-ci
  
  isPANN
  and
  claude
  committed
  5a02d66
- Update stale create_pr test for head-branch PR lookup
  
  isPANN
  and
  claude
  committed
  4152d3e
Commits on Oct 29, 2026
- Merge reviewed graph and numeric cast changes into Rust 2024
  GiggleLiu
  committed
  f5b370f
- Merge reviewed polynomial LCS reduction into Rust 2024
  GiggleLiu
  committed
  aee5a97
- Merge reviewed NAE-SAT reduction into Rust 2024
  GiggleLiu
  committed
  3e768b3
- Record current main ancestry for Rust 2024 integration
  GiggleLiu
  committed
  62da604
- Test one-register instruction count overflow boundaries
  GiggleLiu
  committed
  fcd7073
- Merge remote-tracking branch 'origin/main' into HEAD
  GiggleLiu
  committed
  e638958