Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Formal Land
Coq Tezos of OCaml 馃挮
Branches
Overview
Active
Stale
All
clarus@proof-of-delegate-service
9c9c760b
·
Repr: add definitions which should help the proofs
·
Nov 17, 2021
proof-of-delegate-service
955ae2e2
·
WIP testing with Contract_repr.encoding
·
Nov 17, 2021
clarus@delegate-service-todo
f48fd7bc
·
Data-encoding: avoid direct lemma about alpha_context values
·
Nov 22, 2021
michelson-bijection-instr
fdb9ff4c
·
WIP
·
Nov 23, 2021
25-use-the-identity-monad-for-lwt
5cc70cfc
·
Define the Lwt monad as the identity
·
Nov 24, 2021
clarus@with-gadts
bc38f814
·
WIP
·
Nov 25, 2021
clarus@script_typed_ir_experiments
a86abf73
·
Hand definition of tags
·
Nov 27, 2021
clarus-single-data-storage
8296aab9
·
WIP
·
Nov 29, 2021
clarus@verify-non_iterable_indexed_data_storage
9a5b874c
·
WIP
·
Dec 11, 2021
clarus@raw_context-spec
465b16a6
·
More WIP
·
Dec 22, 2021
dhilst-translate-protocol
8127b4e4
·
Merge branch 'verify-voting' into 'master'
·
Dec 23, 2021
verify-sapling-services
4881cc10
·
WIP add query_field to Environment/RPC_query
·
Jan 04, 2022
verify-todos-in-gas-limit-repr
05589c1b
·
WIP Repr : Gas_limit_repr TODOs
·
Jan 05, 2022
guillaume-claret@experiments-data-encoding-faster-union
1c0b61fa
·
Experiments
·
Jan 11, 2022
andrey-dep-cost-of-instr-3
4f471517
·
some fixes, thank to Guillaume
·
Jan 14, 2022
nat-75-verify-apply-results
8f62d188
·
Work in progress.
·
Jan 17, 2022
guillaume-claret@WIP-cast-exists
07d8a812
·
WIP
·
Jan 18, 2022
a-dep-cost-of-instr-5
ac9b31f1
·
WIP
·
Jan 21, 2022
guillaume-claret@update-protocol-2022-01-21
70c5542f
·
wip update Environment_modules
·
Jan 24, 2022
guillaume-claret@update-protocol-2022-01-21-bis
237e96eb
·
Update: protocol of 2022-01-21
·
Jan 24, 2022
Prev
1
2
3
4
5
6
…
10
Next