Everybody's actions on nomadic-labs/coq-tezos-of-ocaml tests (36)

Resource	Action	Who and why
nomadic-labs/coq-tezos-of-ocaml#154 Translate test_tx_rollup_l2_encoding.ml coq-of-ocaml tests	Solve issue	TinoAlfie is assigned
nomadic-labs/coq-tezos-of-ocaml#198 Tez: Verify test_coherent_mul_proof tests	Solve issue	tudoroscoiu is assigned
nomadic-labs/coq-tezos-of-ocaml#199 Tez: Verify test_coherent_div_proof tests	Solve issue	tudoroscoiu is assigned
nomadic-labs/coq-tezos-of-ocaml#150 Translate test_gas_properties.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#151 Translate test_merkle_list.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#152 Translate test_sampler.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#153 Translate test_script_comparison.ml coq-of-ocaml tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#175 Verify test_to_list_of_list_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#176 Verify test_empty_left_identity_for_merge_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#177 Verify test_empty_right_identity_for_merge_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#178 Verify test_size_merge_self_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#179 Verify test_size_add_one_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#180 Verify test_size_remove_one_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#181 Verify test_merge_against_list_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#182 Verify test_merge_overlaps_left_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#183 Verify test_merge_overlaps_right_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#184 Verify test_merge_overlaps_add_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#185 Verify test_merge_fail_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#186 Verify test_merge_map_keep_existing_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#187 Verify test_merge_map_replace_existing_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#188 Verify test_find_non_existing_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#189 Verify test_find_existing_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#190 Verify test_update_add_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#191 Verify test_update_merge_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#192 Verify test_update_delete_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#193 Verify test_map_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#194 Verify test_fold_empty_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#195 Verify test_fold_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#196 Verify test_fold_to_list_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#197 Verify test_map_fail_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#200 Saturation: Verify tests_add_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#201 Saturation: Verify tests_mul_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#202 Saturation: Verify test_add_commutes_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#203 Saturation: Verify tests_sub_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#204 Saturation: Verify tests_add_sub_proof tests	Solve issue	clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#205 Saturation: Verify tests_boundaries_proof tests	Solve issue	clarus1 opened issue and no one is assigned

Everybody's actions on nomadic-labs/coq-tezos-of-ocaml tests (36)

Repositories

nomadic-labs/coq-tezos-of-ocaml