Repository navigation

Add opt-in range proof for Thumb byte-loop decrement flags - #409

Merged

MatyMeatBoy merged 1 commit into

claude/rom-decompilation-research-obsal6from

codex/sdk-loop-cc-20261104

Nov 4, 2026

Merged

Add opt-in range proof for Thumb byte-loop decrement flags#409
MatyMeatBoy merged 1 commit into
claude/rom-decompilation-research-obsal6from
codex/sdk-loop-cc-20261104

Commits on Nov 4, 2026
- Add opt-in range proof for Thumb byte-loop decrement flags
  
  MatyMeatBoy
  and
  codex
  committed
  cad19f2