Repository navigation

Fix: pin final PC to halt - #1020

Merged

MauroToscano merged 10 commits into

mainfrom

fix/halt-final-pc-token

Oct 23, 2026

Merged

Fix: pin final PC to halt#1020
MauroToscano merged 10 commits into
mainfrom
fix/halt-final-pc-token

Commits on Oct 13, 2026
- Pin the final register file in the verifier so execution cannot continue past the exit ecall
  nicole-graus
  committed
  4960a81
Commits on Oct 14, 2026
Commits on Oct 15, 2026
- drop redundant suffix, note that no real row may write next_pc = 1
  nicole-graus
  committed
  c5386f8
Commits on Oct 23, 2026
- Fix: Preprocess the CPU timestamp (#1025)
  nicole-graus
  authored
  e774e15
- Merge main into fix/halt-final-pc-token
  MauroToscano
  committed
  6b53ac7
- Note that the halted register file pins x254's high word
  MauroToscano
  committed
  65a9f20
- Merge main (#1022, IS_WH) into fix/halt-final-pc-token
  MauroToscano
  committed
  3a430c5
- Correct the x254 high-word notes and count CPU's two Merkle trees
  MauroToscano
  committed
  1342fb6