spec: `HALT` chip - #235

Merged

erik-3milabs merged 9 commits into

Jan 27, 2026

Commits on Jan 27, 2026

spec: HALT: first draft
erik-3milabs
committed
ba29572
spec: HALT: add link to sys call number
erik-3milabs
committed
de2535d
spec: HALT: update ECALL signature
erik-3milabs
committed
f0c0dd2
spec: HALT: minor update
erik-3milabs
committed
73ccdbd
spec: HALT: document cleanup verification alternative
erik-3milabs
committed
721c698
Merge branch 'spec/main' into spec/HALT
erik-3milabs
authored
e0344c8
adapt to new chapter format
RobinJadoul
committed
59f9d0e
spec: HALT: fix MEMW register indexing
erik-3milabs
committed
89b0a5e
spec: HALT: move halt.typ into ecall.typ
erik-3milabs
committed
624bcbf