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}}
Updated date
WIP: Michocoq Syntax: notation to ease annotations
!65
· created
Mar 13, 2020
by
Julien
dev
Closed
1
updated
Sep 04, 2023
Kristina@ctez
!149
· created
Dec 15, 2021
by
Kristina Sojakova
dev
Closed
updated
Apr 03, 2023
Draft: Formalize the FA2 specification and verify implementations
!153
· created
Mar 21, 2022
by
Kristina Sojakova
dev
Closed
3
updated
Mar 30, 2023
The Formal FA2 Standard
!172
· created
Nov 28, 2022
by
Kristina Sojakova
dev
Closed
7
updated
Mar 30, 2023
FA1.2 verification v2
!137
· created
Jun 18, 2021
by
Kristina Sojakova
dev
formalisation
Closed
21
updated
Mar 16, 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
Adding support for 8.14
!155
· created
Apr 19, 2022
by
Evan Marzion
dev
Closed
3
updated
Nov 10, 2022
[README] fix broken link to Michelson spec
!152
· created
Mar 16, 2022
by
Aurélien Saue
Closed
1
updated
Oct 20, 2022
WIP: Beginning of import of the evaluation function
!52
· created
Dec 16, 2019
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
updated
Oct 20, 2022
Integrate the output of coq-of-ocaml with the interpreter
!57
· created
Feb 18, 2020
by
Guillaume Claret
dev
coq-of-ocaml 🐓
Closed
4
updated
Oct 20, 2022
Draft: Update manager.tz
!147
· created
Nov 20, 2021
by
Lilian Castro
Closed
1
Approved
updated
Oct 19, 2022
[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
WIP: Optimize Michelson lexical analysis
!103
· created
Mar 02, 2021
by
Yann Regis-Gianas
dev
dexter2
Closed
32
updated
Jun 28, 2022
Draft: Formalize the FA2 specification and verify implementations
!134
· created
Jun 08, 2021
by
Kristina Sojakova
dev
Closed
1
updated
Mar 23, 2022
FA1.2 formalization and cross verification
!97
· created
Feb 08, 2021
by
Arvid Jakobsson
dev
smart-contract verification
Closed
14
updated
Dec 13, 2021
FA1.2 verification
!136
· created
Jun 18, 2021
by
Kristina Sojakova
Closed
updated
Jun 18, 2021
FA1.2 verification of camlCase, Edukera, and Dexter 2 liquidity ledger
!135
· created
Jun 18, 2021
by
Kristina Sojakova
Closed
updated
Jun 18, 2021
Draft: Resolve "Formalize the FA2 specification and verify implementations"
!133
· created
Jun 08, 2021
by
Kristina Sojakova
formalisation
smart-contract verification
Closed
updated
Jun 15, 2021
Update manager.tz
!126
· created
Apr 23, 2021
by
nmm5055
Closed
1
updated
Apr 23, 2021
Prev
1
2
3
Next