| drwxr-xr-x | media/ | 36fd34c522 test(pager): check recycling preserves isolation after remapping | 2 months ago | |
| -rw-r--r-- | .gitignore | 22 bytes | 8607a1f020 feat(model): formalise writable frame exclusivity | 6 months ago |
| -rw-r--r-- | check.ml | 23.5 KiB | 36fd34c522 test(pager): check recycling preserves isolation after remapping | 2 months ago |
| -rw-r--r-- | client.c | 617 bytes | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |
| -rw-r--r-- | document | 54 bytes | be965f3fac feat(checker): check guest observations against exported pager semantics | 3 months ago |
| -rw-r--r-- | Execution.thy | 5.7 KiB | 72727aec95 feat(execution): enforce access bounds and allocation capacity | 5 months ago |
| -rw-r--r-- | Export.thy | 475 bytes | d5ec9d43bb feat(export): export checked pager transitions as executable ocaml | 4 months ago |
| -rw-r--r-- | Isolation.thy | 3.5 KiB | 087436dffa feat(isolation): refine shared storage to private byte memories | 6 months ago |
| -rw-r--r-- | Makefile | 2.1 KiB | 36fd34c522 test(pager): check recycling preserves isolation after remapping | 2 months ago |
| -rw-r--r-- | microkit.patch | 3.3 KiB | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |
| -rw-r--r-- | Model.thy | 5.7 KiB | 8607a1f020 feat(model): formalise writable frame exclusivity | 6 months ago |
| -rw-r--r-- | pager.c | 9.8 KiB | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |
| -rw-r--r-- | Protocol.thy | 4.5 KiB | 86650c76e9 feat(protocol): equate fault resolution and retry with atomic stores | 5 months ago |
| -rw-r--r-- | README.md | 313 bytes | 36fd34c522 test(pager): check recycling preserves isolation after remapping | 2 months ago |
| -rw-r--r-- | Reuse.thy | 10.0 KiB | 7a0a28f1bf feat(reuse): preserve zeroed unmapped frames across pool operations | 4 months ago |
| -rw-r--r-- | ROOT | 147 bytes | d5ec9d43bb feat(export): export checked pager transitions as executable ocaml | 4 months ago |
| -rw-r--r-- | setup.sh | 934 bytes | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |
| -rw-r--r-- | Snapshot.thy | 2.9 KiB | c0ba93474c feat(snapshot): preserve source frames across valid edit traces | 4 months ago |
| -rw-r--r-- | split.h | 863 bytes | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |
| -rw-r--r-- | split.system | 3.5 KiB | 034f655e01 feat(pager): resolve write faults and recycle scrubbed frames | 3 months ago |