Project 'nomadic-labs/coq-tezos-of-ocaml' was moved to 'formal-land/coq-tezos-of-ocaml'. Please update any links and bookmarks that may still have the old path.
Draft: Storage: verify the carbonated indexed storage functor
Merge request reports
Activity
added 30 commits
-
aacdc166...8fe48a5b - 29 commits from branch
master - a445b594 - Storage: wip
-
aacdc166...8fe48a5b - 29 commits from branch
added 6 commits
-
a445b594...9d84bd7a - 4 commits from branch
master - 55a31d60 - Storage: wip
- e21ced41 - WIP: going on a wrong direction with Maybe_missing.Missing values
-
a445b594...9d84bd7a - 4 commits from branch
added 14 commits
-
bb55e44d...c5cd06d5 - 11 commits from branch
master - 3aff4441 - Storage: wip
- e68e885e - WIP: going on a wrong direction with Maybe_missing.Missing values
- 14897127 - Storage: more wip
Toggle commit list-
bb55e44d...c5cd06d5 - 11 commits from branch
added 6 commits
-
f21f97f2...fc231b3a - 2 commits from branch
master - b1a6d829 - Storage: wip
- 3503cda6 - WIP: going on a wrong direction with Maybe_missing.Missing values
- 1a45ee74 - Storage: more wip
- 7ea10a84 - WIP
Toggle commit list-
f21f97f2...fc231b3a - 2 commits from branch
added 8 commits
-
7ea10a84...2495d17d - 4 commits from branch
master - 7d556a25 - Storage: wip
- 1e287492 - WIP: going on a wrong direction with Maybe_missing.Missing values
- efa5b614 - Storage: more wip
- b29c2c04 - WIP
Toggle commit list-
7ea10a84...2495d17d - 4 commits from branch
Please register or sign in to reply