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
Merge requests
Open
27
Merged
105
Closed
45
All
177
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Adding Mutually calling contracts
!2
· created
Mar 15, 2019
by
Julien
Closed
Approved
updated
Mar 15, 2019
WIP: Improve multisig
!10
· created
Apr 09, 2019
by
hu zhenlei
Closed
6
0 of 3 Approvals
updated
Mar 16, 2020
WIP: Prove orcle insurance
!11
· created
May 20, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
rename contract
!18
· created
Jun 07, 2019
by
Bruno B
Closed
1
updated
Jun 07, 2019
WIP: Merge contract
!20
· created
Jun 25, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
Fix a typing bug occurring when SELF was used in a Michelson origination
!24
· created
Jun 28, 2019
by
Raphaël Cauderlier
bug
Closed
7
0 of 2 Approvals
updated
Oct 22, 2019
manager.tz 'do' entrypoint and 'add_do'/'add_set_delegate' transformations
!29
· created
Jul 11, 2019
by
Tomáš Zemanovič
Closed
3
updated
Aug 07, 2019
Entrypoints
!30
· created
Jul 16, 2019
by
Raphaël Cauderlier
proto-proposal
formalisation
proto proposal
Closed
2
1
0 of 2 Approvals
updated
Nov 15, 2019
WIP: Merge contract
!31
· created
Jul 16, 2019
by
hu zhenlei
Closed
1
updated
Mar 16, 2020
WIP: Contract spend
!32
· created
Jul 16, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
WIP: Merge with shared storage
!34
· created
Jul 29, 2019
by
hu zhenlei
Closed
1
updated
Mar 16, 2020
zhenlei's internship report
!36
· created
Sep 26, 2019
by
hu zhenlei
Closed
1
updated
Feb 26, 2020
WIP: Functor merge with shared tree
!37
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
WIP: Functor cancellable contract
!38
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
Backport upstream changes to the opam package
!39
· created
Oct 14, 2019
by
Guillaume Claret
Closed
1
updated
Oct 23, 2019
WIP: Beginning of import of the evaluation function
!52
· created
Dec 16, 2019
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
updated
Oct 20, 2022
Integrate the output of coq-of-ocaml with the interpreter
!57
· created
Feb 18, 2020
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
4
updated
Oct 20, 2022
Add an entrypoint to self
!60
· created
Mar 09, 2020
by
Guillaume Claret
dev
Closed
3
updated
Mar 10, 2020
Update generic multisig and its proof to use CHAIN_ID
!64
· created
Mar 11, 2020
by
Tomáš Zemanovič
Closed
3
updated
Mar 11, 2020
WIP: Michocoq Syntax: notation to ease annotations
!65
· created
Mar 13, 2020
by
Julien
dev
Closed
1
updated
Sep 04, 2023
Prev
1
2
3
Next