Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
28
Merged
105
Closed
45
All
178
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: Add admin-lambda contract
!92
· created
Jan 06, 2021
by
Michael J Klein
dev
updated
Oct 19, 2022
Dexter verification
!71
· created
May 19, 2020
by
Bruno B
dev
smart-contract verification
1
updated
Sep 19, 2023
Certification of the specialised multisig
!70
· created
May 19, 2020
by
Raphaël Cauderlier
smart-contract verification
6
updated
Sep 20, 2023
Draft: WIP: Tzt support
6 of 12 checklist items completed
!67
· created
Apr 11, 2020
by
Raphaël Cauderlier
dev
Doing
formalisation
test
1
updated
Nov 09, 2023
Functional proof of guestbook contract and simple lifetime property
!62
· created
Mar 10, 2020
by
Arvid Jakobsson
smart-contract verification
3
updated
Sep 19, 2023
Add specialized multisig source
!59
· created
Mar 04, 2020
by
Michael J Klein
doc
smart-contract verification
14
updated
Sep 20, 2023
Draft: WIP: Model crypto nonces generated when operations are forged
!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
!6
· created
Apr 03, 2019
by
Raphaël Cauderlier
doc
smart-contract verification
7
updated
Sep 20, 2023
Prev
1
2
Next