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}}
Updated date
Adding Mutually calling contracts
!2
· created
Mar 15, 2019
by
Julien
Closed
Approved
updated
Mar 15, 2019
rename contract
!18
· created
Jun 07, 2019
by
Bruno B
Closed
1
updated
Jun 07, 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
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
Backport upstream changes to the opam package
!39
· created
Oct 14, 2019
by
Guillaume Claret
Closed
1
updated
Oct 23, 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
zhenlei's internship report
!36
· created
Sep 26, 2019
by
hu zhenlei
Closed
1
updated
Feb 26, 2020
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: Prove orcle insurance
!11
· created
May 20, 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
WIP: Functor cancellable contract
!38
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
WIP: Functor merge with shared tree
!37
· created
Sep 30, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
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: Improve multisig
!10
· created
Apr 09, 2019
by
hu zhenlei
Closed
6
0 of 3 Approvals
updated
Mar 16, 2020
WIP: Merge contract
!20
· created
Jun 25, 2019
by
hu zhenlei
Closed
updated
Mar 16, 2020
[multisig] add root entrypoint to generic multisig
!80
· created
Aug 19, 2020
by
Tomáš Zemanovič
Closed
5
updated
Aug 29, 2020
Formalize the FA1.2 specification and verify an implementation
!82
· created
Sep 14, 2020
by
Arvid Jakobsson
dev
formalisation
smart-contract verification
Closed
1
updated
Nov 11, 2020
Draft: Resolve "Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)"
!101
· created
Feb 26, 2021
by
Colin González
smart-contract verification
Closed
updated
Mar 04, 2021
Prev
1
2
3
Next