History of ROOT on d5ec9d43bb40f942cd275ec0d52561516d6446ea

d5ec9d43bb feat(export): export checked pager transitions as executable ocaml

~james · 4 months ago

7a0a28f1bf feat(reuse): preserve zeroed unmapped frames across pool operations

~james · 4 months ago

c0ba93474c feat(snapshot): preserve source frames across valid edit traces

~james · 4 months ago

86650c76e9 feat(protocol): equate fault resolution and retry with atomic stores

~james · 5 months ago

72727aec95 feat(execution): enforce access bounds and allocation capacity

~james · 5 months ago

087436dffa feat(isolation): refine shared storage to private byte memories

~james · 6 months ago

8607a1f020 feat(model): formalise writable frame exclusivity

~james · 6 months ago