Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
0
Merged
14
Closed
5
All
19
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
Resolve "Translate test_gas_properties.ml"
!646
· created
Jul 06, 2022
by
7A1T
Property-based tests
coq-of-ocaml
tests
Merged
9
updated
Jul 13, 2022
Resolve "Saturation: Verify test_add_commutes_proof"
!591
· created
Jun 17, 2022
by
7A1T
Property-based tests
tests
Merged
updated
Jun 19, 2022
Test_tez_repr.v proofs help
!580
· created
Jun 15, 2022
by
Tudor Roșcoiu
Property-based tests
tests
Merged
Approved
updated
Jun 19, 2022
Completed test_coherent_mul_proof
!584
· created
Jun 16, 2022
by
Tudor Roșcoiu
Property-based tests
tests
Merged
Approved
updated
Jun 19, 2022
Fix non-termination case of lia
!578
· created
Jun 14, 2022
by
Guillaume Claret
Property-based tests
Merged
updated
Jun 14, 2022
Tests: add proof skeletons for saturation
!557
· created
Jun 07, 2022
by
Guillaume Claret
Property-based tests
Merged
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
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
Resolve "Translate test_tez_repr.ml"
!526
· created
May 28, 2022
by
7A1T
Property-based tests
coq-of-ocaml
Merged
6
Approved
updated
Jun 07, 2022
Test carbonated maps proofs
!530
· created
May 30, 2022
by
Guillaume Claret
Property-based tests
Merged
1
updated
Jun 07, 2022
Translate test carbonated map
!500
· created
May 23, 2022
by
Guillaume Claret
Property-based tests
coq-of-ocaml
tests
Merged
updated
May 23, 2022
Resolve "Verify 🧑⚕️ Test_bitset.v"
!485
· created
May 13, 2022
by
Guillaume Claret
Property-based tests
tests
Merged
3
Approved
updated
May 16, 2022
QCheck.v: defined triple_value, Test_sc: see QCheck for triple_value; replaced Z.op_plus with add to fix definition
!479
· created
May 09, 2022
by
7A1T
Property-based tests
tests
Merged
1
Approved
updated
May 13, 2022
Resolve "Translate test_bistset.ml"
!477
· created
May 08, 2022
by
Guillaume Claret
Property-based tests
coq-of-ocaml
Merged
updated
May 08, 2022