feat/dma memcpy - #874

Open

jotabulacios wants to merge 29 commits into

mainfrom

feat/dma-memcpy

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

Commits on Aug 7, 2026

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 Sep 3, 2026

Merge branch 'main' into feat/dma-memcpy
jotabulacios
authored
ca0278f