Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
This is an archived project. Repository and other project resources are read-only.
Metastate
tezos
Merge requests
Open
1
Merged
3
Closed
9
All
13
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
Add typing rule for MUL to allow building Fr elements from naturals
!367
· created
Nov 09, 2020
by
Danny Willems
008-must
Crypto
proto-008
ready for review party 🎉
Merged
111
Approved
updated
Nov 19, 2020
Compile the protocol's environment with coq-of-ocaml
!311
· created
Sep 30, 2020
by
Guillaume Claret
008-must
Protocol
Specification
proto-008
ready for review party 🎉
Merged
22
Approved
updated
Nov 18, 2020
Ilias' better accounting set map literals
!376
· created
Nov 16, 2020
by
Raphaël Cauderlier
008-must
Protocol
Smart Contract
proto-008
ready for review party 🎉
Merged
7
Approved
updated
Nov 18, 2020