Repository navigation

Unify memcpy, memmove, memset and commit on one accelerator - #984

Merged

MauroToscano merged 81 commits into

mainfrom

exp/memmove-literal

Oct 23, 2026

Merged

Unify memcpy, memmove, memset and commit on one accelerator#984
MauroToscano merged 81 commits into
mainfrom
exp/memmove-literal

Commits on Jul 29, 2026
- Add a bounded DMA memcpy ecall to the executor
  jotabulacios
  committed
  ed24d6c
- Prove the DMA memcpy ecall with an AIR table
  jotabulacios
  committed
  930a8f1
- Route guest memcpy through the DMA ecall
  jotabulacios
  committed
  b73295d
- Add DMA memcpy tests, fuzz and guests
  jotabulacios
  committed
  206c0c0
- Merge branch 'main' into feat/dma-memcpy
  jotabulacios
  authored
  f9fdd03
- Add DMA table tests and regenerate guest locks
  jotabulacios
  committed
  d8eaec4
- Merge branch 'main' into feat/dma-memcpy
  nicole-graus
  authored
  adb267b
Commits on Jul 30, 2026
- Merge branch 'main' into feat/dma-memcpy
  jotabulacios
  authored
  01cf50f
Commits on Jul 31, 2026
- Clarify no-overflow ADD docstring
  jotabulacios
  committed
  7f29c84
- solve conflicts
  jotabulacios
  committed
  e1b924e
- fix lint
  jotabulacios
  committed
  71da57d
Commits on Aug 1, 2026
- Merge branch 'main' into feat/dma-memcpy
  MauroToscano
  authored
  888f175
Commits on Aug 3, 2026
- Merge branch 'main' into feat/dma-memcpy
  jotabulacios
  authored
  c303daa
Commits on Aug 4, 2026
- feat(dma): prove memset with a dedicated DMA_SET table
  diegokingston
  committed
  1f777c4
- feat(dma): route memmove through the memcpy ecall, no new AIR
  diegokingston
  committed
  77a5467
- Align the DMA memcpy asm stub to 4 bytes
  jotabulacios
  committed
  d94561a
- Count DMA ecalls in execute --cycles
  jotabulacios
  committed
  2f90222
- Merge branch 'main' into feat/dma-memcpy
  diegokingston
  authored
  2605481
- Merge branch 'main' into feat/dma-memcpy
  jotabulacios
  authored
  6b6125e
- Merge feat/dma-memcpy into perf/dma-tail-wide-memset
  diegokingston
  committed
  b7de897
Commits on Aug 5, 2026
- Reformat the prover's AIR import block
  jotabulacios
  committed
  3c7cdce
- Align the new DMA asm stubs to 4 bytes
  jotabulacios
  committed
  ffb2928
- Rename the DMA chunk-too-large error
  jotabulacios
  committed
  4dfd9af
- Add DMA_SET tests and fix review nits
  jotabulacios
  committed
  d1980c6
- Add DMA_SET to the whole-AIR-set test lists
  jotabulacios
  committed
  a85a41b
- Tighten the DMA_SET forgery tests
  jotabulacios
  committed
  13107d4
Commits on Aug 6, 2026
- Widen the memset proptest to the chunk cap
  jotabulacios
  committed
  0cc3228
Commits on Aug 7, 2026
- Define memcpy in the always-linked entrypoint
  jotabulacios
  committed
  d2596b3
- Pin compiler-emitted memcpy to the DMA ecall
  jotabulacios
  committed
  bc72b03
- Report the bytes and rows DMA copies cost
  jotabulacios
  committed
  ee185cb
- solve conflicts
  jotabulacios
  committed
  ef9e752
Commits on Aug 10, 2026
Commits on Aug 24, 2026
- Make the DMA conformance claims true and checked
  jotabulacios
  committed
  6c3bac1
Commits on Aug 27, 2026
Commits on Aug 31, 2026
- Bring #896 memset onto the current DMA head
  jotabulacios
  committed
  3c3a2a5
Commits on Sep 3, 2026
- Unify memcpy, memmove and commit on one chip
  jotabulacios
  committed
  fc8772d
- Route memset through the memmove chip too
  jotabulacios
  committed
  f008f54
- Delete the DMA and DMA_SET tables
  jotabulacios
  committed
  9cf872a
- Fix the sizing pass and cost report for the chip
  jotabulacios
  committed
  8aeab5e
- Split a copy only when both ends can align
  jotabulacios
  committed
  d3c2a44
Commits on Sep 9, 2026
Commits on Sep 10, 2026
Commits on Sep 11, 2026
Commits on Sep 14, 2026
- Retire the comments left behind by the fallback and the alignment split
  nicole-graus
  committed
  73bb746
Commits on Sep 16, 2026
Commits on Sep 17, 2026
- Merge branch 'main' into exp/memmove-literal
  nicole-graus
  committed
  6f95858
- Merge remote-tracking branch 'origin/main' into exp/memmove-literal
  nicole-graus
  committed
  a874db8
Commits on Oct 14, 2026
Commits on Oct 22, 2026
- Forbid copy chains that wrap the address space
  nicole-graus
  committed
  d1cbf52
- Bump the recursion input version for the dropped commit count
  nicole-graus
  committed
  2363da5
Commits on Oct 23, 2026

Commits

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Jul 31, 2026

Commits on Aug 1, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026

Commits on Aug 5, 2026

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Commits on Aug 10, 2026

Commits on Aug 24, 2026

Commits on Aug 27, 2026

Commits on Aug 31, 2026

Commits on Sep 3, 2026

Commits on Sep 9, 2026

Commits on Sep 10, 2026

Commits on Sep 11, 2026

Commits on Sep 14, 2026

Commits on Sep 16, 2026

Commits on Sep 17, 2026

Commits on Oct 14, 2026

Commits on Oct 22, 2026

Commits on Oct 23, 2026