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 馃挮
Repository
Branches
Overview
Active
Stale
All
add-proofs
0fe6de49
·
WIP
·
Jul 18, 2020
update-protocol-2020-08-18
7535f880
·
Add alpha_context.mli
·
Aug 18, 2020
!10
quyen@add_proof_level_storage
a1bf0ba5
·
add correctness proofs for Level_storage.v
·
Dec 01, 2020
quyen@doc_proto_proofs
f09985f0
·
add document for the protocol proofs
·
Dec 04, 2020
add-proofs-parse-unparse-bis
c97bea33
·
Simpler and more general hypothesis for parse_type_annot_unparse_type_annot
·
Dec 10, 2020
update-to-gas-consume
10e48453
·
Update to the gas counting
·
Dec 16, 2020
storage-functor-proofs
d018d49b
·
Header fixes
·
Jan 20, 2021
proto-updates-2021-01-27
99c7a494
·
Add saturated arithmetic
·
Jan 27, 2021
guillaume-claret@bye-bye-annotations
47028fed
·
Updating some of the proofs to go with the removed annotations
·
Jan 29, 2021
storage-functor-proofs-bis
9e2810d1
·
Fix proofs
·
Feb 01, 2021
june-2021
9e45078a
·
Handle signature alias + let and as let in
·
Jun 29, 2021
rafoo@script_ir_translator
b416a0d7
·
Update Script_ir_translator/Comparable_data.v
·
Jul 13, 2021
token-management
8094b09c
·
Add token management
·
Jul 21, 2021
single-data-storage-proofs
c9885f86
·
WIP
·
Jul 24, 2021
storage-functor-proofs-ter
c9885f86
·
WIP
·
Jul 24, 2021
small-proofs
688aca30
·
added combine
·
Aug 19, 2021
corenliu@data-storage
f12dd6e6
·
Merge branch 'master' into corenliu@data-storage
·
Aug 31, 2021
22-convert-the-ruby-to-python
80498fae
·
WIP
·
Oct 25, 2021
check-balance-comparison
9620db87
·
WIP
·
Nov 10, 2021
proof-contract-repr-axioms
cb85dd9e
·
WIP Translate TODO/Contract_repr.v axioms to lemmas.
·
Nov 16, 2021
Prev
1
2
3
4
5
…
10
Next