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
230
Merged
2,414
Closed
686
All
3,330
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 Bruno@coverage
albert!23
· created
Apr 30, 2020
by
Bruno B
beta release
coverage
Doing
priority
high
test
updated
Nov 04, 2021
Draft: WIP: Tzt support
6 of 12 checklist items completed
mi-cho-coq!67
· created
Apr 11, 2020
by
Raphaël Cauderlier
dev
Doing
formalisation
test
1
updated
Nov 09, 2023
WIP: add upnp
teztool!2
· created
Apr 03, 2020
by
Johann Tanzer
Functional proof of guestbook contract and simple lifetime property
mi-cho-coq!62
· created
Mar 10, 2020
by
Arvid Jakobsson
smart-contract verification
3
updated
Sep 19, 2023
Add specialized multisig source
mi-cho-coq!59
· created
Mar 04, 2020
by
Michael J Klein
doc
smart-contract verification
14
updated
Sep 20, 2023
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
…
8
9
10
11
12
Next