spec: `DECODE` - #143

Merged

erik-3milabs merged 14 commits into

Jan 21, 2026

Commits on Jan 14, 2026

spec: DECODE: decode basics
erik-3milabs
committed
7d1dfa9
spec: DECODE: update table + add *W instructions
erik-3milabs
committed
a46c087

Commits on Jan 15, 2026

spec: fix padding table for chips that don't have all types of variables
erik-3milabs
committed
b84731c
spec: introduce B49
erik-3milabs
committed
1cce50c
spec: DECODE: split-off decode uncompressed
erik-3milabs
committed
a1171ee

Commits on Jan 16, 2026

spec: DECODE: overhaul decode
erik-3milabs
committed
c885c2c

Commits on Jan 20, 2026

Apply suggestions from code review

erik-3milabs
and
RobinJadoul
authored
21487ec
Apply suggestion from @RobinJadoul

erik-3milabs
and
RobinJadoul
authored
02b2494
Fix `ADDI` flag mistakes
erik-3milabs
authored
da3e9db
spec: DECODE: make `packed_encode` a `BaseField`; remove superfluous `B49`
erik-3milabs
committed
72ea1d5
spec: DECODE: set `mem_xB` when reading/writing _exactly_ `x` bytes
erik-3milabs
committed
4555407
spec: DECODE: update `mp_selector` description.
erik-3milabs
committed
3293260
Apply suggestions from code review
erik-3milabs
authored
c93e289
spec: DECODE: merge uncompressed page into decode.typ
erik-3milabs
committed
2c30f4c