Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Open
1
Merged
9
Closed
2
All
12
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
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
Draft: test_to_list_of_list_proof
!631
· created
Jul 04, 2022
by
7A1T
Tests carbonated maps
tests
2
updated
Jul 05, 2022
Resolve "Saturation: Verify test_add_commutes_proof"
!591
· created
Jun 17, 2022
by
7A1T
Property-based tests
tests
Merged
updated
Jun 19, 2022
Draft: Resolve "Saturation: Verify tests_boundaries_proof"
!585
· created
Jun 16, 2022
by
7A1T
Property-based tests
tests
Closed
updated
Jun 16, 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
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
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
Translate test carbonated map
!500
· created
May 23, 2022
by
Guillaume Claret
Property-based tests
coq-of-ocaml
tests
Merged
updated
May 23, 2022
Draft: Resolve "Verify lemmas in TODO in 🧑⚕️ Test_sc_rollup_tick_repr.v"
!498
· created
May 20, 2022
by
TinoAlfie
Property-based tests
tests
Closed
1
updated
Jun 07, 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
Tests: add example of generated Test_sc_rollup_tick_repr.v
!407
· created
Apr 11, 2022
by
Guillaume Claret
tests
Merged
1
updated
Apr 11, 2022