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
9
Merged
41
Closed
19
All
69
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
Draft: Baking Accounts Integration
!255
· created
Jul 22, 2020
by
Tomáš Zemanovič
tomas/baking-accounts-prefix
Protocol
baking-accounts
proto-008
Closed
24
updated
Jan 12, 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
Allow to apply balance updates from migration
!335
· created
Oct 13, 2020
by
Tomáš Zemanovič
Protocol
proto-008
Closed
updated
Jan 05, 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
fix successor period rpc
!390
· created
Nov 20, 2020
by
Sylvain R.
Protocol 008 E
008-must
Protocol
proto-008
Closed
updated
Nov 20, 2020
Proto/Client: fix gas cost of revelation
!365
· created
Nov 09, 2020
by
Ilias Garnier
008-must
proto-008
Closed
7
Approved
updated
Nov 18, 2020
Tickets are back
!326
· created
Oct 08, 2020
by
Raphaël Cauderlier
rafoo@many_small_michelson_stuff
Protocol
proto-008
Closed
2
updated
Nov 17, 2020
Sapling Integration
2 of 3 checklist items completed
!232
· created
Jul 06, 2020
by
Marco Stronati
008-must
Environment V1
Protocol
Sapling
proto-008
Closed
7
updated
Nov 14, 2020
Add a minimimum timestamp check for begin partial application
1 of 1 checklist item completed
!344
· created
Oct 21, 2020
by
François Thiré
proto-008
Closed
2
updated
Nov 13, 2020
Resolve rustc and cargo executables using rustup, if possible
!305
· created
Sep 24, 2020
by
A L Manning
proto-008
Closed
7
Approved
updated
Nov 06, 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 consuming extra minimal_deserialize_cost on code
!351
· created
Oct 27, 2020
by
Mehdi Bouaziz
proto-008
Closed
2
Approved
updated
Oct 28, 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
Draft: add failing_noop operation + client command sign/check arbitrary message
!330
· created
Oct 13, 2020
by
Sylvain R.
Protocol
proto-008
Closed
updated
Oct 13, 2020
Update Error Monad for env v1
!308
· created
Sep 25, 2020
by
Raphaël Proust
marco-proto-proposal-107-43-93-94-234
Environment V1
proto-008
Closed
1
updated
Sep 29, 2020