Skip to content
GitLab
Next
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
463
Merged
2,589
Closed
691
All
3,743
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
Dexter2: Proof of ep_tokenToXTZ
mi-cho-coq!107
· created
Mar 05, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
smart-contract verification
Merged
2
updated
Mar 10, 2021
fix for indexer v9
mezos!22
· created
Mar 05, 2021
by
Philippe Wang
Merged
updated
Mar 17, 2021
Document some of the encoding constructors
data-encoding!40
· created
Mar 05, 2021
by
David Feuer
Merged
1
updated
May 21, 2021
Make mutez more readable by keeping the proof implicit
mi-cho-coq!106
· created
Mar 03, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
4
updated
Apr 07, 2021
Dexter2: Proof of setManager correctness
mi-cho-coq!105
· created
Mar 03, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
Closed
2
updated
Mar 08, 2021
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
Avoid parsing 3 three times source file
mi-cho-coq!104
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
Merged
1
Approved
updated
Mar 02, 2021
WIP: Optimize Michelson lexical analysis
mi-cho-coq!103
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
32
updated
Jun 28, 2022
v9.1.0
12 of 13 checklist items completed
tezos-indexer!118
· created
Mar 02, 2021
by
Philippe Wang
Merged
2
updated
Mar 17, 2021
Bug fix: no self-messages, but self & baker endorsing
tenderbake-simulator!20
· created
Mar 01, 2021
by
Divesh Otwani
Merged
updated
Mar 01, 2021
Update tokens API + fix sequential database schema
tezos-indexer!117
· created
Mar 01, 2021
by
Pierrick Couderc
Merged
updated
Mar 02, 2021
Dexter 2: Proof for ep_default correct.
mi-cho-coq!102
· created
Feb 26, 2021
by
Colin González
dexter_fa12lqt-verification
dexter2
smart-contract verification
Closed
3
updated
Mar 08, 2021
Draft: Resolve "Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)"
mi-cho-coq!101
· created
Feb 26, 2021
by
Colin González
smart-contract verification
Closed
updated
Mar 04, 2021
lwt_exit: Enhance warning message
lwt-exit!3
· created
Feb 26, 2021
by
François Thiré
2
1
updated
Mar 01, 2021
Predicate Testing in Simulator (e.g., for safety and liveness checks)
tenderbake-simulator!19
· created
Feb 26, 2021
by
Divesh Otwani
Merged
10
updated
Mar 08, 2021
v9.0.4
tezos-indexer!116
· created
Feb 25, 2021
by
Philippe Wang
Merged
updated
Feb 25, 2021
Test for when exit_and_wait is called outside of wrap_and_*
lwt-exit!2
· created
Feb 25, 2021
by
Raphaël Proust
Merged
updated
Feb 26, 2021
Remove forge commands
mezos!21
· created
Feb 25, 2021
by
Pierrick Couderc
Closed
2
updated
Mar 18, 2021
Delay model
tenderbake-simulator!18
· created
Feb 24, 2021
by
Divesh Otwani
Merged
17
updated
Feb 25, 2021
Small fixes in documentation of maps and sets
ringo!12
· created
Feb 23, 2021
by
Raphaël Proust
Merged
12
updated
Apr 01, 2021
Prev
1
…
155
156
157
158
159
160
161
162
163
…
188
Next