-
coq-tezos-of-ocaml!714 Fix Michelson proofs for Proto K
- Merged
- Approved
updated -
coq-tezos-of-ocaml!718
- Merged
-
- Approved
updated -
coq-tezos-of-ocaml!713
- Merged
- 4
- Approved
updated -
coq-tezos-of-ocaml!717
- Merged
-
- 2
- Approved
updated -
coq-tezos-of-ocaml!712
- Merged
- Approved
updated -
coq-tezos-of-ocaml!705
- Merged
- 3
- Approved
updated -
coq-tezos-of-ocaml!711
- Merged
- 6
updated -
json-data-encoding!8
- Merged
- Approved
updated -
coq-tezos-of-ocaml!707 Verify the _repr.v files for proto K
- Merged
-
- 4
- Approved
updated -
coq-tezos-of-ocaml!710
- Merged
- 1
updated -
coq-tezos-of-ocaml!696
- Merged
-
- 13
- Approved
updated -
coq-tezos-of-ocaml!708
- Merged
- 4
updated -
coq-tezos-of-ocaml!699 Verify the _repr.v files for proto K
- Merged
-
- 11
- Approved
updated -
coq-tezos-of-ocaml!702 verify-time-repr
- Merged
- Approved
updated -
json-data-encoding!6
- Merged
- 4
- Approved
updated -
coq-tezos-of-ocaml!698
- Merged
- Approved
updated -
coq-tezos-of-ocaml!704
- Merged
- 6
- Approved
updated -
coq-tezos-of-ocaml!703
- Merged
-
- Approved
updated -
coq-tezos-of-ocaml!695
- Merged
- 8
- Approved
updated -
coq-tezos-of-ocaml!694
- Merged
- 3
- Approved
updated