Repository navigation

feat(WordRAM): derive global and framed implementation certificates - #2245

Merged

SamuelSchlesinger merged 8 commits into

mainfrom

codex/ram-realization-adapters-c2-20261101

Nov 2, 2026

Merged

feat(WordRAM): derive global and framed implementation certificates#2245
SamuelSchlesinger merged 8 commits into
mainfrom
codex/ram-realization-adapters-c2-20261101

Commits on Nov 1, 2026
Commits on Nov 2, 2026
- feat(WordRAM): derive global and framed implementation certificates
  SamuelSchlesinger
  committed
  04a06b5
- Merge fixed actual main into reviewed WordRAM implementation adapters
  SamuelSchlesinger
  committed
  2f510de