Repository navigation

test(ghidra): verify current MIPS admission and orphan cleanup - #2919

Open

Bobtoshi wants to merge 10 commits into

morluto:mainfrom

Bobtoshi:codex/mips1-verification

Open

test(ghidra): verify current MIPS admission and orphan cleanup#2919
Bobtoshi wants to merge 10 commits into
morluto:mainfrom
Bobtoshi:codex/mips1-verification

Commits on Oct 13, 2026
- feat(ghidra): admit verified recordless MIPS I o32 executables
  
  Bobtoshi
  authored and
  morluto
  committed
  5df5571
- test(ghidra): verify MIPS branch decoding and retain diagnostics
  
  Bobtoshi
  authored and
  morluto
  committed
  d8630ea
- fix(mips)!: reject uninspected GNU ABI attributes
  Bobtoshi
  committed
  5ec1a57
- test(mips): isolate native boundary controls from ambient settings
  Bobtoshi
  committed
  102f813
- test(mips): verify cleanup and pin readelf locale
  Bobtoshi
  committed
  05e2366
Commits on Oct 14, 2026
- Merge latest upstream and verify MIPS declaration coverage
  Bobtoshi
  committed
  0a8f70f
- chore: preserve untouched upstream tests after merge
  Bobtoshi
  committed
  e389016
Commits on Nov 6, 2026
- test(ghidra): refresh MIPS controls and verify orphan cleanup
  Bobtoshi
  committed
  2d2f2f8
- fix(verification): sweep the captured Ghidra provider run identities
  Bobtoshi
  committed
  11edd85
Commits on Nov 8, 2026
- chore: merge upstream into MIPS verifier branch
  Bobtoshi
  committed
  3569da2