Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Branches
Overview
Active
Stale
All
specialised-multisig
5cc7cbdb
·
Mi-Cho-Coq/Contracts: formal proof of the specialised multisig
·
Sep 20, 2023
!70
kristina@cfmm-rebase-on-dev
c0c91810
·
[build] Drop support for Coq v8.14 and v8.15
·
Apr 07, 2023
kristina@ctez-rebase-on-comparison
6ec64d48
·
[build] Drop support for Coq v8.14 and v8.15
·
Apr 04, 2023
kristina@fa12-verification-rebase-on-comparison
6b510e35
·
Removing unused lemmas from base.v
·
Apr 04, 2023
comparison
86b2035e
·
Removed unused lemmas from base.v
·
Apr 03, 2023
kristina@fa2-verification-rebase-on-comparison
46d687e9
·
Removing FA1.2 files.
·
Mar 30, 2023
rafoo@comparison
911205b7
·
[michocoq] simplify a bit set.v
·
Jan 13, 2023
rafoo@timestamp_lemmas
57a9a782
·
[michocoq] trivial lemmas on timestamp comparison
·
Dec 01, 2022
rafoo@multisig_managed_state
ebba3bb0
·
[multisig_manage_state] Update script
·
Nov 29, 2022
rafoo@simplify-extraction
93f13424
·
Remove, now unused, stdlibInt.mli file
·
Nov 22, 2022
dev
protected
3f10dd70
·
CI and opam for coq v8.16
·
Nov 22, 2022
dexter-verification
b3e7a857
·
WIP: rebase
·
Nov 09, 2022
!69
master
default
protected
cae725e5
·
Make LICENSE recognizable by Gitlab
·
Nov 08, 2022
aurelien@fa2-parametrized-tests
5cf8d68c
·
Parametrized tests initial commit
·
Jul 07, 2022
aurelien@fa2-tests
52a1df44
·
FA2 tests tactic tactics v4
·
Jun 29, 2022
rafoo@michelson2micheline2michelson
bdd68d54
·
WIP [skip-ci] michelson2micheline2michelson roundtrip
·
Dec 13, 2021
rafoo@code_is_not_seq
a6ea62e6
·
[michocoq] use instruction instead of instruction_seq for the code part of scripts
·
Dec 13, 2021
rafoo@micheline_serialization_roundtrip
b031c436
·
WIP: roundtrip proof for {de,}serialize_micheline
·
Nov 26, 2021
enlin@serialization
f1d92af6
·
complet serialization support and test componets
·
Oct 20, 2021
rafoo@typeclasses_comparable
84c4efba
·
WIP: typeclasses for comparable types
·
Oct 12, 2021
Prev
1
2
3
4
5
6
Next