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}}
Created date
Doc: add guide to translate the protocol
!613
· created
Jun 23, 2022
by
Guillaume Claret
Merged
updated
Jun 23, 2022
Dep parse view returning
!612
· created
Jun 22, 2022
by
Natasha Klaus
Merged
Approved
updated
Jun 24, 2022
Doc: add header with the kind of file for each page
!611
· created
Jun 22, 2022
by
Guillaume Claret
Merged
updated
Jun 22, 2022
More definitions compiling from proto-j
!610
· created
Jun 22, 2022
by
Guillaume Claret
Merged
12
updated
Jun 30, 2022
more work on dep_parse_data_aux
!609
· created
Jun 22, 2022
by
Andrey Klaus
Merged
3
Approved
updated
Jun 22, 2022
moving up finished
!608
· created
Jun 21, 2022
by
Andrey Klaus
Merged
Approved
updated
Jun 21, 2022
moving code up
!607
· created
Jun 21, 2022
by
Andrey Klaus
Merged
3
Approved
updated
Jun 21, 2022
Draft: verify dep_well_formed_entrypoints
!606
· created
Jun 21, 2022
by
Shubham Kumar
Closed
12
updated
Jul 01, 2022
removing unnecessary comments and a bit of duplicating code
!605
· created
Jun 21, 2022
by
Andrey Klaus
Merged
1
Approved
updated
Jun 21, 2022
Simulation of Gas_monad.v with one Proof
!604
· created
Jun 21, 2022
by
Natasha Klaus
Merged
3
Approved
updated
Jun 21, 2022
Import from proto J files that were on the black list
!603
· created
Jun 21, 2022
by
Guillaume Claret
Merged
updated
Jun 22, 2022
Doc: update links to the OCaml fork
!602
· created
Jun 21, 2022
by
Guillaume Claret
Merged
updated
Jun 21, 2022
Doc: add assigned people in sprints
!601
· created
Jun 21, 2022
by
Guillaume Claret
Merged
updated
Jun 21, 2022
add definition for [dep_well_formed_entrypoints] in Script_ir_translator.v
!600
· created
Jun 21, 2022
by
Shubham Kumar
Merged
2
updated
Jun 21, 2022
Michelson: add comment for the dep_ty_eq_eq proof
!599
· created
Jun 21, 2022
by
Guillaume Claret
Merged
updated
Jun 22, 2022
Draft: Michelson: add proof for the simulation 'dep_diff_of_big_map'
!598
· created
Jun 21, 2022
by
Rex Yuan
3
updated
Jun 24, 2022
dep_parse_view_name, parse_contract and parse_returning
!597
· created
Jun 21, 2022
by
Andrey Klaus
Closed
updated
Jun 24, 2022
Doc: a weight in status of sprints
!596
· created
Jun 20, 2022
by
Guillaume Claret
Merged
updated
Jun 20, 2022
Add sprint-5 in status page
!595
· created
Jun 20, 2022
by
Guillaume Claret
Merged
updated
Jun 20, 2022
Michelson: add definition for the simulation 'dep_diff_of_big_map'
!594
· created
Jun 20, 2022
by
Rex Yuan
Merged
4
Approved
updated
Jun 21, 2022
Prev
1
…
17
18
19
20
21
22
23
24
25
…
51
Next