Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Merge requests
Open
125
Merged
2,328
Closed
684
All
3,137
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
WIP: Synthesis of entrypoints dispatcher
albert!10
· created
Feb 17, 2020
by
Julien
beta release
compiler
enhancement
specification
updated
Apr 14, 2020
WIP: Adding protocol specific operations
albert!7
· created
Dec 06, 2019
by
Julien
6
updated
Apr 07, 2020
WIP: AST and intermediate step printer
albert!6
· created
Dec 02, 2019
by
Julien
4
updated
Jun 01, 2023
Draft: WIP: Model crypto nonces generated when operations are forged
mi-cho-coq!28
· created
Jul 08, 2019
by
Raphaël Cauderlier
dev
formalisation
2
1
0 of 1 Approvals
updated
Sep 20, 2023
Draft: WIP: Documentation of the proof of the multisig contract
mi-cho-coq!6
· created
Apr 03, 2019
by
Raphaël Cauderlier
doc
smart-contract verification
7
updated
Sep 20, 2023
Prev
1
…
3
4
5
6
7
Next