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
Add definitions for dep_parse_view_returning, dep_typecheck_views, dep_parse_returning, dep_parse_toplevel_aux
!553
· created
Jun 07, 2022
by
Kewerson Hugo
Merged
12
Approved
updated
Jun 09, 2022
Simulations : Add dep_parse_contract_for_script
!552
· created
Jun 07, 2022
by
Daniel Hilst
Merged
2
Approved
updated
Jun 07, 2022
Doc: add sprint 4
!551
· created
Jun 06, 2022
by
Guillaume Claret
Merged
updated
Jun 06, 2022
Suggestion
!550
· created
Jun 06, 2022
by
Guillaume Claret
guillaume-claret@clean-set-implementation
Closed
1
updated
Jun 09, 2022
Finish the proof of dep_fold_lazy_storage_eq
!549
· created
Jun 06, 2022
by
Daniel Hilst
Merged
3
Approved
updated
Jun 16, 2022
More simulation cases for the interpreter
!548
· created
Jun 06, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
7
Approved
updated
Jun 17, 2022
dep_typecheck_code_inner_eq
!547
· created
Jun 04, 2022
by
Andrey Klaus
Merged
7
Approved
updated
Jun 06, 2022
Add simulations and proofs for dep_parse_code and dep_parse_storage
!546
· created
Jun 04, 2022
by
Kewerson Hugo
Merged
9
updated
Jun 07, 2022
Michelson: add more simulations for the big_map functions
!545
· created
Jun 03, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
Approved
updated
Jun 03, 2022
dep_parse_script_eq proof (from 60-69)
!544
· created
Jun 03, 2022
by
Andrey Klaus
Merged
Approved
updated
Jun 03, 2022
Blog post plan backward compatibility
!543
· created
Jun 03, 2022
by
Guillaume Claret
Merged
3
updated
Jun 06, 2022
dep_code_size simulation and proof
!542
· created
Jun 02, 2022
by
Daniel Hilst
Merged
Approved
updated
Jun 07, 2022
Draft: Resolve "Translate test_tez_repr.ml"
!541
· created
Jun 02, 2022
by
7A1T
Property-based tests
coq-of-ocaml
Closed
updated
Jun 03, 2022
Draft: Resolve "Translate test_tez_repr.ml"
!540
· created
Jun 02, 2022
by
7A1T
Property-based tests
coq-of-ocaml
Closed
updated
Jun 02, 2022
Small addition for 170
!539
· created
Jun 02, 2022
by
Andrey Klaus
Merged
3
Approved
updated
Jun 02, 2022
Doc: fix the computation of the number of lines
!538
· created
Jun 02, 2022
by
Guillaume Claret
Merged
1
updated
Jun 02, 2022
Simulations of smart consturctions in script_typed_ir
!537
· created
Jun 01, 2022
by
Andrey Klaus
Backward compatibility (part 1)
michelson
Merged
Approved
updated
Jun 01, 2022
More simulation interpreter proofs using Valid predicate
!536
· created
May 31, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
Approved
updated
Jul 13, 2022
Michelson: state all the simulation lemmas
!535
· created
May 31, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
Approved
updated
May 31, 2022
Michelson: state more simulation lemmas
!534
· created
May 31, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
2
Approved
updated
May 31, 2022
Prev
1
…
20
21
22
23
24
25
26
27
28
…
51
Next