Repository navigation

Migrate workspace to Rust 2024 edition - #1207

Merged

GiggleLiu merged 18 commits into

feat/polynomial-comparator-v1from

rust-2024-edition

Oct 29, 2026

Merged

Migrate workspace to Rust 2024 edition#1207
GiggleLiu merged 18 commits into
feat/polynomial-comparator-v1from
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
- Integrate Rust 2024 across the reviewed safe stack
  GiggleLiu
  committed
  41ff242
- Apply Rust 2024 let-chain style to polynomial comparison
  GiggleLiu
  committed
  1f75349
- Carry verified comparison fixture into Rust 2024 integration
  GiggleLiu
  committed
  d96e7c8
- Merge website verification fixes into Rust 2024 candidate
  GiggleLiu
  committed
  7777479
- Merge browser math and provenance test fixes into Rust 2024 candidate
  GiggleLiu
  committed
  4f57c65
- Merge commit '37e381c41490a2908510901b63ef2c745dd24ba7' into HEAD
  GiggleLiu
  committed
  17dfcc1

Commits

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 29, 2026