~james/split

1
36fd34c5221ae47ee29e89ecfbab8662ab4fd6f5
main
split/ROOT -rw-r--r--147 bytes ViewLogBlameView rawPermalink d5ec9d43bb feat(export): export checked pager transitions as executable ocaml 4 months ago
1session Split = HOL +
2 options [document = false]
3 theories
4 Model
5 Isolation
6 Execution
7 Protocol
8 Snapshot
9 Reuse
10 Export