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}}
Created date
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
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
protocol: Migrate to a layered context to optimize gas update
!362
· created
Nov 05, 2020
by
Yann Regis-Gianas
yrg@optimize-gas-counting
proto-008
ready for review party 🎉
Closed
7
1
Approved
updated
Dec 15, 2020
protocol: Optimize gas counting
!361
· created
Nov 05, 2020
by
Yann Regis-Gianas
proto-009
ready for review party 🎉
Closed
32
Approved
updated
Dec 02, 2020
Optimize context representation and gas counting
!359
· created
Nov 03, 2020
by
Yann Regis-Gianas
Smart Contract
proto-008
ready for review party 🎉
Closed
22
updated
Nov 05, 2020
Get rid of alloc_mbytes_cost
!355
· created
Oct 30, 2020
by
Mehdi Bouaziz
Protocol 008 E
Smart Contract
proto-008
ready for review party 🎉
5
Approved
updated
Jan 22, 2021
protocol: Remove insertion of NOPs during typechecking/parsing
!350
· created
Oct 27, 2020
by
Yann Regis-Gianas
Smart Contract
proto-008
ready for review party 🎉
Closed
36
Approved
updated
Dec 21, 2020
Testing/Protocol: Refactor testing files with better comments in proto_alpha/lib_protocol (rebased on metastatedev/tezos/proto-proposal)
!318
· created
Oct 01, 2020
by
Hai Nguyen Van
Test
proto-008
ready for review party 🎉
Closed
45
Approved
updated
Dec 17, 2020
Various changes to compile new files in coq
!315
· created
Oct 01, 2020
by
Guillaume Claret
Protocol
Specification
proto-008
ready for review party 🎉
Closed
6
Approved
updated
Feb 02, 2021
Compile `block_header_repr.ml` and `michelson_v1_primitives.ml` in Coq
!314
· created
Sep 30, 2020
by
Guillaume Claret
Protocol
Specification
proto-008
ready for review party 🎉
Closed
8
Approved
updated
Feb 02, 2021
Avoid non-top-level uses of 'let and' constructs for coq-of-ocaml
!313
· created
Sep 30, 2020
by
Guillaume Claret
Protocol
Specification
proto-008
ready for review party 🎉
Closed
1
updated
Oct 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
Add some coq-of-ocaml attributes and minor changes
!310
· created
Sep 30, 2020
by
Guillaume Claret
Protocol
Specification
proto-008
ready for review party 🎉
Closed
3
Approved
updated
Jan 12, 2021