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,335
Closed
684
All
3,144
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}}
Label priority
Don't allow duplicate field names in an object
data-encoding!39
· created
Mar 02, 2021
by
David Feuer
bugfix
7
updated
Oct 30, 2022
lwt_exit: Enhance warning message
lwt-exit!3
· created
Feb 26, 2021
by
François Thiré
2
1
updated
Mar 01, 2021
Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5)
mi-cho-coq!100
· created
Feb 18, 2021
by
Arvid Jakobsson
dev
dexter2
smart-contract verification
updated
Apr 20, 2021
Draft: [dexter/fa2] add a hackish version of fa2 def/spec
mi-cho-coq!99
· created
Feb 12, 2021
by
Arvid Jakobsson
dexter-verification
smart-contract verification
updated
Apr 11, 2022
Dexter 1.1 verification
mi-cho-coq!98
· created
Feb 09, 2021
by
Raphaël Cauderlier
dexter-verification
5
updated
Sep 20, 2023
Draft: Dexter/CPMM verification
mi-cho-coq!95
· created
Feb 02, 2021
by
Arvid Jakobsson
dev
smart-contract verification
updated
Apr 11, 2022
WIP: Add admin-lambda contract
mi-cho-coq!92
· created
Jan 06, 2021
by
Michael J Klein
dev
updated
Oct 19, 2022
WIP: [ott|parser] fix mutez litteral parsing
albert!30
· created
Jul 02, 2020
by
Julien
beta release
bug
2
updated
Jul 04, 2020
Increase coverage
albert!29
· created
Jul 02, 2020
by
Raphaël Cauderlier
dev
Doing
priority
high
test
updated
Sep 20, 2023
WIP: Logging
teztool!4
· created
May 26, 2020
by
Johann Tanzer
8
updated
Sep 29, 2020
WIP: project dunification
albert!27
· created
May 26, 2020
by
Julien
updated
May 26, 2020
Dexter verification
mi-cho-coq!71
· created
May 19, 2020
by
Bruno B
dev
smart-contract verification
1
updated
Sep 19, 2023
Certification of the specialised multisig
mi-cho-coq!70
· created
May 19, 2020
by
Raphaël Cauderlier
smart-contract verification
6
updated
Sep 20, 2023
[build|test] adding counter-examples and their related error logs
albert!25
· created
May 02, 2020
by
Julien
3
updated
May 04, 2020
WIP: preprocessor to handle file location in messages
albert!24
· created
Apr 30, 2020
by
Julien
1
updated
May 03, 2020
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
Prev
1
2
3
4
5
6
7
Next