Sign in
Join now
split
james.dad.town
/
Star
Starred
Star
8
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
seL4 pager with proven memory isolation and frame reuse
Star
Starred
Star
8
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
split
/
proof
8 files
at
main
james.dad.town
·
feat(snapshot): prove promotion preserves unselected snapshot contents
·
1w ago
f044a95a
Execution.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
Export.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
Isolation.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
Model.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
Protocol.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
Reuse.thy
refactor(layout): relocate proof guest and host build inputs
2mo ago
ROOT
refactor(layout): relocate proof guest and host build inputs
2mo ago
Snapshot.thy
feat(snapshot): prove promotion preserves unselected snapshot contents
1w ago
