Repository navigation

docs(formal-verification): DMA memcpy - #926

Open

nicole-graus wants to merge 9 commits into

feat/dma-memcpyfrom

feat/dma-memcpy-formal-verification

Open

docs(formal-verification): DMA memcpy#926
nicole-graus wants to merge 9 commits into
feat/dma-memcpyfrom
feat/dma-memcpy-formal-verification

Commits on Aug 11, 2026
- Add a py model and a z3 soundness gate for DMA memcpy and a transcription audit
  nicole-graus
  committed
  5819f0b
- Bind DmaNext per 32-bit limb in the DMA gate
  nicole-graus
  committed
  8d5130d
Commits on Aug 12, 2026
Commits on Sep 2, 2026
- Correct the DMA gate's README and a stray comment
  jotabulacios
  committed
  81ad3a3
Commits on Sep 3, 2026
- Pin the DMA audit claims to what they name
  jotabulacios
  committed
  3fbb5ff
- Check the DMA trace columns against the oracle
  jotabulacios
  committed
  015fae1
Commits on Sep 4, 2026
- Update the DMA campaign README for the audit fixes
  jotabulacios
  committed
  dfc525b