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
Michelson: verify dep_comparable_ty_eq_eq
!576
· created
Jun 14, 2022
by
Guillaume Claret
Merged
3
Approved
updated
Jun 14, 2022
Add proof for dep_parse_contract_aux_eq, dep_parse_contract_for_script_eq, dep_typecheck_views
!571
· created
Jun 09, 2022
by
Kewerson Hugo
Merged
9
Approved
updated
Jun 14, 2022
Added proofs for substring_l_eq
!568
· created
Jun 09, 2022
by
Rex Yuan
Merged
8
updated
Jun 13, 2022
encoding
!560
· created
Jun 08, 2022
by
Natasha Klaus
Merged
73
Approved
updated
Jun 13, 2022
Doc: add student names to the blog
!574
· created
Jun 13, 2022
by
Guillaume Claret
Merged
updated
Jun 13, 2022
dep_stack_eq_eq + better statements for dep_ty_eq_eq and dep_comparable_ty_eq_eq
!572
· created
Jun 11, 2022
by
Andrey Klaus
Merged
6
Approved
updated
Jun 13, 2022
Added simulation for dep_big_map_get_by_hash
!563
· created
Jun 09, 2022
by
Rex Yuan
Merged
3
updated
Jun 11, 2022
New _Set definitions + verification of simulations in Script_set
!515
· created
May 26, 2022
by
Guillaume Claret
Backward compatibility (part 1)
michelson
Merged
14
Approved
updated
Jun 10, 2022
dep_merge_branches definition
!565
· created
Jun 09, 2022
by
Andrey Klaus
Merged
Approved
updated
Jun 10, 2022
Add simulation for dep_parse_contract_aux
!566
· created
Jun 09, 2022
by
Kewerson Hugo
Merged
Approved
updated
Jun 09, 2022
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
Doc: blog post on PBTs
!558
· created
Jun 07, 2022
by
Guillaume Claret
Merged
4
1
Approved
updated
Jun 08, 2022
encodings
!559
· created
Jun 08, 2022
by
Natasha Klaus
Merged
10
Approved
updated
Jun 08, 2022
Tests: add proof skeletons for saturation
!557
· created
Jun 07, 2022
by
Guillaume Claret
Property-based tests
Merged
updated
Jun 07, 2022
Simulations : Add dep_parse_contract_for_script
!552
· created
Jun 07, 2022
by
Daniel Hilst
Merged
2
Approved
updated
Jun 07, 2022
Resolve "Verify lemmas in TODO in 🧑⚕️ Test_sc_rollup_tick_repr.v"
!556
· created
Jun 07, 2022
by
Guillaume Claret
Property-based tests
tests
Merged
1
Approved
updated
Jun 07, 2022
Tests: add skeletons for the proofs of test tez repr
!555
· created
Jun 07, 2022
by
Guillaume Claret
Merged
updated
Jun 07, 2022
Resolve "Fix definition of arb_tez_sizes in test of Tez_repr"
!554
· created
Jun 07, 2022
by
Guillaume Claret
Property-based tests
coq-of-ocaml
sprint-4
Merged
3
updated
Jun 07, 2022
dep_code_size simulation and proof
!542
· created
Jun 02, 2022
by
Daniel Hilst
Merged
Approved
updated
Jun 07, 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
Prev
1
…
16
17
18
19
20
21
22
23
24
…
43
Next