镜像站点 · 本页由第三方 GitHub 只读镜像提供，非 GitHub 官方站点，不接受任何登录或凭据输入。前往 github.com

Repository navigation

Verify the absence of overflow in checked integer arithmetic - #280

Merged

coord-e merged 7 commits into

mainfrom

claude/vibrant-brown-tjmb6h-checked-arith

Sep 28, 2026

Merged

Verify the absence of overflow in checked integer arithmetic#280
coord-e merged 7 commits into
mainfrom
claude/vibrant-brown-tjmb6h-checked-arith

Commits on Sep 24, 2026
- Verify the absence of overflow in checked integer arithmetic
  claude
  committed
  c50c17a
Commits on Sep 28, 2026
- Wrap the result of checked integer operations
  claude
  committed
  193a144
- Return the type and term of checked integer operations
  claude
  committed
  ae68dd6
- Merge remote-tracking branch 'origin/main' into claude/vibrant-brown-tjmb6h-checked-arith
  claude
  committed
  87a42e0
- Write the integer range bounds as BigInt literals
  claude
  committed
  2f0f5bc
- Modify tests for succ_below_max function
  
  coord-e
  and
  Copilot
  authored
  d759af0
- Modify main function assertions for int overflow
  
  coord-e
  and
  Copilot
  authored
  9813ef2