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
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
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
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
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
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