Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
15
Merged
842
Closed
156
All
1,013
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
Draft: IPairing_check_bls12_381 + axioms (Verify-backward-compatibility-instructions-11-14-part-2)
!797
· created
Sep 07, 2022
by
Andrey Klaus
Closed
4
updated
Oct 04, 2022
Draft: Example of specification for read operation of the storage
!841
· created
Sep 30, 2022
by
Guillaume Claret
Closed
2
updated
Oct 04, 2022
Updating Proto_alpha files
!831
· created
Sep 23, 2022
by
Evan Marzion
Closed
2
updated
Oct 04, 2022
Draft: State lemma for backward compatibility on the interpreter with gas cost
!765
· created
Aug 22, 2022
by
Guillaume Claret
Closed
1
updated
Oct 04, 2022
Draft: Validity of matching functions in the data-encoding
!840
· created
Sep 29, 2022
by
Guillaume Claret
387-part-1
Closed
updated
Sep 29, 2022
alpha with removed axioms
!834
· created
Sep 26, 2022
by
Andrey Klaus
Closed
updated
Sep 28, 2022
port migrate function to proto_K_alpha ( Part I )
!817
· created
Sep 19, 2022
by
Natasha Klaus
Closed
26
updated
Sep 25, 2022
Draft: Resolve "Port the migrate functions on the simulations"
!829
· created
Sep 22, 2022
by
Bartłomiej Królikowski
Internal errors (part 2)
Closed
2
updated
Sep 23, 2022
Draft: Completing translation proto alpha
!810
· created
Sep 15, 2022
by
Guillaume Claret
Closed
1
updated
Sep 23, 2022
Fix scripts to translate the protocol for the folder names
!826
· created
Sep 21, 2022
by
Guillaume Claret
Internal errors (part 2)
Closed
1
updated
Sep 21, 2022
Proto alpha : Fix Skip_list_repr proofs
!825
· created
Sep 20, 2022
by
Daniel Hilst
Closed
4
Approved
updated
Sep 21, 2022
Draft: Resolve "Verify view"
!795
· created
Sep 06, 2022
by
Daniel Hilst
Verify the interpreter simulation
sprint-7
Closed
1
updated
Sep 21, 2022
Draft: Fix proofs in proto alpha, part 2
!820
· created
Sep 19, 2022
by
Daniel Hilst
Internal errors (part 2)
385-part-2
Closed
1
updated
Sep 19, 2022
Draft: Verify IBig_map_update
!805
· created
Sep 13, 2022
by
Bartłomiej Królikowski
Verify the interpreter simulation
sprint-7
Closed
4
updated
Sep 14, 2022
Draft: Resolve "Verify dig"
!803
· created
Sep 12, 2022
by
Daniel Hilst
Verify the interpreter simulation
sprint-7
Closed
6
updated
Sep 14, 2022
Draft: Verify backward-compatibility instructions (12/14)
!785
· created
Aug 31, 2022
by
Natasha Klaus
Closed
updated
Sep 02, 2022
Fix master
!787
· created
Sep 01, 2022
by
Andrey Klaus
Closed
updated
Sep 01, 2022
Draft: Verify set
!782
· created
Aug 30, 2022
by
Daniel Hilst
Verify the interpreter simulation
sprint-7
Closed
updated
Aug 30, 2022
Draft: Michelson : Verify IContract
!779
· created
Aug 29, 2022
by
Daniel Hilst
Closed
updated
Aug 30, 2022
Draft: CI : Disable builds of Draft merge requests
!770
· created
Aug 24, 2022
by
Daniel Hilst
Closed
2
updated
Aug 25, 2022
Prev
1
2
3
4
5
6
…
8
Next