spec/MEMW_R: register access fast path - #457

Merged

RobinJadoul merged 30 commits into

Mar 24, 2026

Commits on Mar 17, 2026

spec/memw: read/write from/to -> read from/write to
erik-3milabs
committed
f38c1c7
spec/memw: rename add_limb_overflow as carry
erik-3milabs
committed
677b166
spec/memw: minor var desc updates
erik-3milabs
committed
ad3f093
spec/memw: remove superfluous minus symbol
erik-3milabs
committed
109489b
spec/memw: update description
erik-3milabs
committed
03a2338
spec/memw_a: minor optimization
erik-3milabs
committed
b8fc0b7

Commits on Mar 18, 2026

Commits on Mar 23, 2026

spec/REGW: introduce REGW chip
erik-3milabs
committed
46b9e97
spec/MEMW_R: move REG to MEMW_R
erik-3milabs
committed
1e2cb68
spec/MEMW_R: optimize
erik-3milabs
committed
e01db15
spec/MEMW_A: padding
erik-3milabs
committed
5eaacc2
spec/MEMW_R: touch ups
erik-3milabs
committed
7c8927b
spec/MEMW_R: drop superfluous constraints
erik-3milabs
committed
2a1d8e3
spec/MEMW_R: minor fixes
erik-3milabs
committed
ed889ff
spec/MEMW_R: fix address mul 2 bug
erik-3milabs
committed
cc33da8
spec/MEMW: fix multiplicities
erik-3milabs
committed
75199d5
spec/MEMW_A: padding
erik-3milabs
committed
55ed2e6
spec/MEMW: padding
erik-3milabs
committed
0b99118
spec/MEMW: bit check multiplicities
erik-3milabs
committed
c7203e5
Merge branch 'spec/memw_update2' into spec/MEMW_R
erik-3milabs
authored
80886a6
Merge branch 'spec/main' into spec/MEMW_R
erik-3milabs
authored
6c6fcf0
spec/MEMW_R: apply 2x to address
erik-3milabs
committed
ea69070
spec/MEMW_R: remove superfluous casts
erik-3milabs
committed
f5a27aa
spec/MEMW_R: list future optimization
erik-3milabs
committed
3750f40
spec/MEMW_R: fix typo
erik-3milabs
committed
c9ed517

Commits on Mar 24, 2026

spec/MEMW_R: fix address
erik-3milabs
committed
42b6d18