Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
Mi-Cho-Coq
Merge requests
Open
27
Merged
105
Closed
45
All
177
Actions
Subscribe to RSS feed
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}}
Priority
The Formal FA2 Standard
!172
· created
Nov 28, 2022
by
Kristina Sojakova
dev
Closed
7
updated
Mar 30, 2023
Draft: Functional verification of the "Multisig Managed State" contract
!166
· created
Nov 10, 2022
by
Raphaël Cauderlier
dev
Closed
2
updated
Jan 09, 2023
[michocoq] Refactor maps to make them more usable.
!158
· created
Aug 09, 2022
by
Kristina Sojakova
dev
Closed
2
updated
Oct 18, 2022
Draft: make Mi-cho-coq maps more usable
!156
· created
Apr 23, 2022
by
Kristina Sojakova
Closed
1
updated
Aug 09, 2022
Adding support for 8.14
!155
· created
Apr 19, 2022
by
Evan Marzion
dev
Closed
3
updated
Nov 10, 2022
Draft: Formalize the FA2 specification and verify implementations
!153
· created
Mar 21, 2022
by
Kristina Sojakova
dev
Closed
3
updated
Mar 30, 2023
[README] fix broken link to Michelson spec
!152
· created
Mar 16, 2022
by
Aurélien Saue
Closed
1
updated
Oct 20, 2022
Kristina@ctez
!149
· created
Dec 15, 2021
by
Kristina Sojakova
dev
Closed
0
updated
Apr 03, 2023
Draft: Update manager.tz
!147
· created
Nov 20, 2021
by
Lilian Castro
Closed
Approved
1
updated
Oct 19, 2022
FA1.2 verification v2
!137
· created
Jun 18, 2021
by
Kristina Sojakova
dev
formalisation
Closed
21
updated
Mar 16, 2023
FA1.2 verification
!136
· created
Jun 18, 2021
by
Kristina Sojakova
Closed
0
updated
Jun 18, 2021
FA1.2 verification of camlCase, Edukera, and Dexter 2 liquidity ledger
!135
· created
Jun 18, 2021
by
Kristina Sojakova
Closed
0
updated
Jun 18, 2021
Draft: Formalize the FA2 specification and verify implementations
!134
· created
Jun 08, 2021
by
Kristina Sojakova
dev
Closed
1
updated
Mar 23, 2022
Draft: Resolve "Formalize the FA2 specification and verify implementations"
!133
· created
Jun 08, 2021
by
Kristina Sojakova
formalisation
smart-contract verification
Closed
0
updated
Jun 15, 2021
Update manager.tz
!126
· created
Apr 23, 2021
by
nmm5055
Closed
1
updated
Apr 23, 2021
Dexter: token_to_token entry-point
!111
· created
Mar 10, 2021
by
Guillaume Claret
dexter_fa12lqt-verification
Closed
1
updated
Mar 10, 2021
Take division by zero into account in the specification
!109
· created
Mar 08, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
Closed
1
updated
Mar 09, 2021
Make mutez more readable by keeping the proof implicit
!106
· created
Mar 03, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
4
updated
Apr 07, 2021
Dexter2: Proof of setManager correctness
!105
· created
Mar 03, 2021
by
Yann Regis-Gianas
dexter_fa12lqt-verification
dexter2
Closed
2
updated
Mar 08, 2021
WIP: Optimize Michelson lexical analysis
!103
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
32
updated
Jun 28, 2022
Prev
1
2
3
Next