~james/split

f044a95a6b feat(snapshot): prove promotion preserves unselected snapshot contentsVerified ~james
james · 11 days ago
97648de5fc refactor(layout): relocate proof guest and host build inputsVerified ~james
james · 2 months ago
36fd34c522 test(pager): check recycling preserves isolation after remappingVerified ~james
james · 2 months ago
be965f3fac feat(checker): check guest observations against exported pager semanticsVerified ~james
james · 3 months ago
034f655e01 feat(pager): resolve write faults and recycle scrubbed framesVerified ~james
james · 3 months ago
d5ec9d43bb feat(export): export checked pager transitions as executable ocamlVerified ~james
james · 4 months ago
7a0a28f1bf feat(reuse): preserve zeroed unmapped frames across pool operationsVerified ~james
james · 4 months ago
c0ba93474c feat(snapshot): preserve source frames across valid edit tracesVerified ~james
james · 4 months ago
86650c76e9 feat(protocol): equate fault resolution and retry with atomic storesVerified ~james
james · 5 months ago
72727aec95 feat(execution): enforce access bounds and allocation capacityVerified ~james
james · 5 months ago
087436dffa feat(isolation): refine shared storage to private byte memoriesVerified ~james
james · 6 months ago
8607a1f020 feat(model): formalise writable frame exclusivityVerified ~james
james · 6 months ago