~james/split

ref: 7a0a28f1bfe33988574bcfd2cea36ee0c2db38aa / d---------
7a0a28f1 — james feat(reuse): preserve zeroed unmapped frames across pool operations 4 months ago
-rw-r--r--
.gitignore
22 bytes
-rw-r--r--
Execution.thy
5.7 KiB
-rw-r--r--
Isolation.thy
3.5 KiB
-rw-r--r--
Model.thy
5.7 KiB
-rw-r--r--
Protocol.thy
4.5 KiB
-rw-r--r--
ROOT
136 bytes
-rw-r--r--
Reuse.thy
10.0 KiB
-rw-r--r--
Snapshot.thy
2.9 KiB