Repository navigation

Spec: COPY accelerator - #986

Merged

RobinJadoul merged 32 commits into

spec/mainfrom

spec/unify-accelerators

Oct 12, 2026

Merged

Spec: COPY accelerator#986
RobinJadoul merged 32 commits into
spec/mainfrom
spec/unify-accelerators

Commits on Oct 2, 2026
- Specify the unified MEMMOVE accelerator
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  181df49
- Correct the MEMW_A admission condition and the memset limb-boundary contract
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  1d9d6e8
- tighten the chapter
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  a432246
- Align the chapter with conventions
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  463875b
- Update spec/chapters/memmove.typ
  
  nicole-graus
  and
  erik-3milabs
  committed
  0b91690
- Merge tail and count_lt8 into one single bit
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  eaa5f1a
- Route the commit write through MEMW by deriving its memory domain from the functionality selector
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  6e06e36
- Derive the top halfword of each position increment instead of storing it
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  e41c266
- change 'not discharged' by 'no guarantee'
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  da84f64
- reword 'line' by 'linear function'
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  8d517ce
- fix link
  
  nicole-graus
  authored and
  erik-3milabs
  committed
  cbcee41
- rename MEMMOVE as COPY
  erik-3milabs
  committed
  4276da1
- complete rewrite
  erik-3milabs
  committed
  55fec43
- Update standardization section
  erik-3milabs
  committed
  567a0d8
- various fixes
  erik-3milabs
  committed
  defbd4e
- Apply batched suggestions from code review
  
  erik-3milabs
  and
  RobinJadoul
  committed
  1430e98
- Move memset to -31
  erik-3milabs
  committed
  c3b0430
- drop add_nw
  erik-3milabs
  committed
  4e681b3
- drop old COMMIT chip
  erik-3milabs
  committed
  6cd3a2e
- address comments
  erik-3milabs
  committed
  5a46c38
- exactly when
  erik-3milabs
  committed
  00d0bd7
- Apply suggestion from @erik-3milabs
  
  RobinJadoul
  and
  erik-3milabs
  committed
  707f2cf
- Apply batched suggestions from code review
  
  erik-3milabs
  and
  RobinJadoul
  committed
  3f73300
- address review comments
  erik-3milabs
  committed
  58ce060
- fix borrow
  erik-3milabs
  committed
  47302e4
- address "compile" remark
  erik-3milabs
  committed
  0284bbd
- fix issue
  erik-3milabs
  committed
  a6ecb78
Commits on Oct 5, 2026
- Minor textual improvements
  RobinJadoul
  committed
  f70170f
- Full pass
  RobinJadoul
  committed
  16e8c1a
- Remove double mult and double signature
  RobinJadoul
  committed
  1cfe1c0
Commits on Oct 8, 2026
- Bring back higher-level explanation of committing
  RobinJadoul
  committed
  720e67a
Commits on Oct 12, 2026
- Apply batched suggestions from code review
  
  RobinJadoul
  and
  erik-3milabs
  authored
  6f5f9f6

Commits

Commits on Oct 2, 2026

Commits on Oct 5, 2026

Commits on Oct 8, 2026

Commits on Oct 12, 2026