| .. | | 03-May-2022 | - |
| abiencoderv2_no_warning/ | H | 03-May-2022 | - | 16 | 12 |
| asm_json/ | H | 20-Dec-2021 | - | 1,599 | 1,594 |
| ast_compact_json_with_base_path/ | H | 20-Dec-2021 | - | 106 | 98 |
| ast_json_import_wrong_evmVersion/ | H | 07-May-2022 | - | 124 | 121 |
| combined_json_generated_sources/ | H | 20-Dec-2021 | - | 946 | 942 |
| combined_json_with_base_path/ | H | 20-Dec-2021 | - | 14 | 8 |
| constant_optimizer_yul/ | H | 03-May-2022 | - | 59 | 55 |
| debug_info_in_yul_and_evm_asm_print_all/ | H | 20-Dec-2021 | - | 225 | 182 |
| debug_info_in_yul_and_evm_asm_print_all_and_none/ | H | 07-May-2022 | - | 4 | 2 |
| debug_info_in_yul_and_evm_asm_print_location_only/ | H | 20-Dec-2021 | - | 224 | 181 |
| debug_info_in_yul_and_evm_asm_print_none/ | H | 20-Dec-2021 | - | 213 | 169 |
| debug_info_in_yul_and_evm_asm_print_snippet_only/ | H | 07-May-2022 | - | 11 | 7 |
| debug_info_in_yul_snippet_escaping/ | H | 20-Dec-2021 | - | 582 | 462 |
| dup_opt_peephole/ | H | 20-Dec-2021 | - | 69 | 63 |
| error_codes/ | H | 07-May-2022 | - | 39 | 31 |
| evm_to_wasm/ | H | 20-Dec-2021 | - | 105 | 87 |
| evm_to_wasm_break/ | H | 20-Dec-2021 | - | 597 | 549 |
| evm_to_wasm_output_selection_asm_only/ | H | 20-Dec-2021 | - | 12 | 7 |
| evm_to_wasm_output_selection_ewasm_ir_only/ | H | 20-Dec-2021 | - | 44 | 37 |
| evm_to_wasm_output_selection_ewasm_only/ | H | 20-Dec-2021 | - | 64 | 52 |
| evm_to_wasm_unsupported_translation/ | H | 07-May-2022 | - | 8 | 5 |
| exp_base_literal/ | H | 03-May-2022 | - | 446 | 348 |
| function_debug_info/ | H | 03-May-2022 | - | 78 | 75 |
| function_debug_info_via_yul/ | H | 03-May-2022 | - | 35 | 32 |
| inline_assembly_function_name_clash/ | H | 20-Dec-2021 | - | 194 | 191 |
| ir_compiler_inheritance_nosubobjects/ | H | 20-Dec-2021 | - | 78 | 73 |
| ir_compiler_subobjects/ | H | 20-Dec-2021 | - | 141 | 134 |
| ir_with_assembly_no_memoryguard_creation/ | H | 20-Dec-2021 | - | 54 | 50 |
| ir_with_assembly_no_memoryguard_runtime/ | H | 20-Dec-2021 | - | 55 | 51 |
| keccak_optimization_deploy_code/ | H | 03-May-2022 | - | 66 | 59 |
| keccak_optimization_low_runs/ | H | 03-May-2022 | - | 54 | 49 |
| linker_mode_invalid_option_no_optimize_yul/ | H | 07-May-2022 | - | 4 | 2 |
| linker_mode_invalid_option_optimize/ | H | 07-May-2022 | - | 4 | 2 |
| linker_mode_invalid_option_optimize_runs/ | H | 07-May-2022 | - | 4 | 2 |
| linker_mode_invalid_option_optimize_yul/ | H | 07-May-2022 | - | 4 | 2 |
| linker_mode_invalid_option_yul_optimizations/ | H | 07-May-2022 | - | 4 | 2 |
| linker_mode_output_selection_invalid/ | H | 07-May-2022 | - | 4 | 2 |
| linking_qualified_library_name/ | H | 20-Dec-2021 | - | 29 | 20 |
| linking_solidity/ | H | 20-Dec-2021 | - | 28 | 21 |
| linking_solidity_unresolved_references/ | H | 20-Dec-2021 | - | 48 | 37 |
| linking_standard_solidity/ | H | 20-Dec-2021 | - | 36 | 32 |
| linking_standard_solidity_quote_in_file_name/ | H | 20-Dec-2021 | - | 36 | 32 |
| linking_standard_solidity_unresolved_references/ | H | 20-Dec-2021 | - | 44 | 39 |
| linking_standard_yul/ | H | 20-Dec-2021 | - | 23 | 21 |
| linking_standard_yul_quote_in_file_name/ | H | 20-Dec-2021 | - | 23 | 21 |
| linking_standard_yul_unresolved_references/ | H | 20-Dec-2021 | - | 23 | 21 |
| linking_strict_assembly/ | H | 20-Dec-2021 | - | 38 | 29 |
| linking_strict_assembly_duplicate_library_name/ | H | 07-May-2022 | - | 11 | 8 |
| linking_strict_assembly_qualified_library_qualified_reference/ | H | 20-Dec-2021 | - | 33 | 24 |
| linking_strict_assembly_qualified_library_unqualified_reference/ | H | 20-Dec-2021 | - | 33 | 24 |
| linking_strict_assembly_same_library_name_different_files/ | H | 20-Dec-2021 | - | 51 | 42 |
| linking_strict_assembly_same_library_name_different_files_in_link_references/ | H | 20-Dec-2021 | - | 51 | 42 |
| linking_strict_assembly_unqualified_library_qualified_reference/ | H | 20-Dec-2021 | - | 33 | 24 |
| linking_strict_assembly_unqualified_library_unqualified_reference/ | H | 20-Dec-2021 | - | 33 | 24 |
| linking_strict_assembly_unresolved_references/ | H | 20-Dec-2021 | - | 51 | 42 |
| linking_unqualified_library_name/ | H | 20-Dec-2021 | - | 60 | 41 |
| message_format/ | H | 20-Dec-2021 | - | 155 | 53 |
| message_format_utf8/ | H | 20-Dec-2021 | - | 49 | 38 |
| model_checker_contracts_all/ | H | 20-Dec-2021 | - | 40 | 33 |
| model_checker_contracts_all_explicit/ | H | 20-Dec-2021 | - | 40 | 33 |
| model_checker_contracts_contract_missing/ | H | 07-May-2022 | - | 16 | 14 |
| model_checker_contracts_empty_contract/ | H | 07-May-2022 | - | 16 | 14 |
| model_checker_contracts_empty_source/ | H | 07-May-2022 | - | 16 | 14 |
| model_checker_contracts_inexistent_contract/ | H | 20-Dec-2021 | - | 16 | 14 |
| model_checker_contracts_inexistent_source/ | H | 20-Dec-2021 | - | 16 | 14 |
| model_checker_contracts_one_contract_missing/ | H | 07-May-2022 | - | 16 | 14 |
| model_checker_contracts_only_one/ | H | 20-Dec-2021 | - | 40 | 33 |
| model_checker_contracts_source_missing/ | H | 07-May-2022 | - | 16 | 14 |
| model_checker_divModSlacks_default_all/ | H | 20-Dec-2021 | - | 11 | 9 |
| model_checker_divModSlacks_default_bmc/ | H | 20-Dec-2021 | - | 11 | 9 |
| model_checker_divModSlacks_default_chc/ | H | 20-Dec-2021 | - | 11 | 9 |
| model_checker_divModSlacks_false_all/ | H | 20-Dec-2021 | - | 25 | 20 |
| model_checker_divModSlacks_false_bmc/ | H | 20-Dec-2021 | - | 11 | 9 |
| model_checker_divModSlacks_false_chc/ | H | 20-Dec-2021 | - | 25 | 20 |
| model_checker_engine_all/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_engine_bmc/ | H | 20-Dec-2021 | - | 20 | 17 |
| model_checker_engine_chc/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_engine_none/ | H | 20-Dec-2021 | - | 11 | 8 |
| model_checker_invariants_all/ | H | 20-Dec-2021 | - | 29 | 26 |
| model_checker_invariants_contract/ | H | 20-Dec-2021 | - | 13 | 11 |
| model_checker_invariants_contract_reentrancy/ | H | 20-Dec-2021 | - | 29 | 26 |
| model_checker_invariants_reentrancy/ | H | 20-Dec-2021 | - | 22 | 19 |
| model_checker_invariants_wrong/ | H | 07-May-2022 | - | 12 | 10 |
| model_checker_show_unproved_default_all_engines/ | H | 20-Dec-2021 | - | 19 | 15 |
| model_checker_show_unproved_default_bmc/ | H | 20-Dec-2021 | - | 17 | 14 |
| model_checker_show_unproved_default_chc/ | H | 20-Dec-2021 | - | 17 | 14 |
| model_checker_show_unproved_true_all_engines/ | H | 20-Dec-2021 | - | 28 | 24 |
| model_checker_show_unproved_true_bmc/ | H | 20-Dec-2021 | - | 22 | 19 |
| model_checker_show_unproved_true_chc/ | H | 20-Dec-2021 | - | 21 | 18 |
| model_checker_solvers_all/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_solvers_all_implicit/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_solvers_smtlib2/ | H | 20-Dec-2021 | - | 17 | 12 |
| model_checker_solvers_wrong/ | H | 07-May-2022 | - | 11 | 9 |
| model_checker_solvers_wrong2/ | H | 07-May-2022 | - | 11 | 9 |
| model_checker_solvers_z3/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_solvers_z3_smtlib2/ | H | 20-Dec-2021 | - | 22 | 18 |
| model_checker_targets_all_all_engines/ | H | 20-Dec-2021 | - | 126 | 110 |
| model_checker_targets_all_bmc/ | H | 20-Dec-2021 | - | 87 | 75 |
| model_checker_targets_all_chc/ | H | 20-Dec-2021 | - | 107 | 94 |
| model_checker_targets_assert_bmc/ | H | 20-Dec-2021 | - | 29 | 26 |
| model_checker_targets_assert_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_balance_bmc/ | H | 20-Dec-2021 | - | 29 | 26 |
| model_checker_targets_balance_chc/ | H | 20-Dec-2021 | - | 19 | 16 |
| model_checker_targets_constant_condition_bmc/ | H | 20-Dec-2021 | - | 24 | 22 |
| model_checker_targets_constant_condition_chc/ | H | 20-Dec-2021 | - | 19 | 16 |
| model_checker_targets_default_all_engines/ | H | 20-Dec-2021 | - | 96 | 84 |
| model_checker_targets_default_bmc/ | H | 20-Dec-2021 | - | 61 | 53 |
| model_checker_targets_default_chc/ | H | 20-Dec-2021 | - | 77 | 68 |
| model_checker_targets_div_by_zero_bmc/ | H | 20-Dec-2021 | - | 30 | 27 |
| model_checker_targets_div_by_zero_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_error/ | H | 07-May-2022 | - | 19 | 17 |
| model_checker_targets_out_of_bounds_bmc/ | H | 20-Dec-2021 | - | 19 | 16 |
| model_checker_targets_out_of_bounds_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_overflow_bmc/ | H | 20-Dec-2021 | - | 30 | 27 |
| model_checker_targets_overflow_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_pop_empty_bmc/ | H | 20-Dec-2021 | - | 19 | 16 |
| model_checker_targets_pop_empty_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_underflow_bmc/ | H | 20-Dec-2021 | - | 30 | 27 |
| model_checker_targets_underflow_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| model_checker_targets_underflow_overflow_assert_bmc/ | H | 20-Dec-2021 | - | 55 | 48 |
| model_checker_targets_underflow_overflow_assert_chc/ | H | 20-Dec-2021 | - | 62 | 55 |
| model_checker_targets_underflow_overflow_bmc/ | H | 20-Dec-2021 | - | 43 | 38 |
| model_checker_targets_underflow_overflow_chc/ | H | 20-Dec-2021 | - | 47 | 42 |
| model_checker_timeout_all/ | H | 20-Dec-2021 | - | 17 | 14 |
| model_checker_timeout_bmc/ | H | 20-Dec-2021 | - | 15 | 13 |
| model_checker_timeout_chc/ | H | 20-Dec-2021 | - | 15 | 13 |
| name_simplifier/ | H | 20-Dec-2021 | - | 163 | 155 |
| object_compiler/ | H | 20-Dec-2021 | - | 88 | 78 |
| optimize_full_storage_write/ | H | 20-Dec-2021 | - | 80 | 73 |
| optimizer_BlockDeDuplicator/ | H | 20-Dec-2021 | - | 112 | 103 |
| optimizer_array_sload/ | H | 20-Dec-2021 | - | 98 | 92 |
| optimizer_inliner_add/ | H | 20-Dec-2021 | - | 107 | 99 |
| optimizer_inliner_call_from_constructor/ | H | 20-Dec-2021 | - | 93 | 86 |
| optimizer_inliner_dynamic_reference/ | H | 20-Dec-2021 | - | 240 | 232 |
| optimizer_inliner_dynamic_reference_constructor/ | H | 20-Dec-2021 | - | 245 | 237 |
| optimizer_inliner_inc/ | H | 20-Dec-2021 | - | 104 | 96 |
| optimizer_inliner_multireturn/ | H | 20-Dec-2021 | - | 110 | 102 |
| optimizer_user_yul/ | H | 20-Dec-2021 | - | 129 | 115 |
| output_selection_all_A1/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_all_A2/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_all_blank/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_all_star/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_ewasm_ir_only/ | H | 07-May-2022 | - | 9 | 5 |
| output_selection_single_A1/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_single_B1/ | H | 20-Dec-2021 | - | 24 | 22 |
| output_selection_single_all/ | H | 20-Dec-2021 | - | 24 | 22 |
| pretty_json_combined/ | H | 20-Dec-2021 | - | 17 | 14 |
| pretty_json_indent_only/ | H | 03-May-2022 | - | 23 | 20 |
| pretty_json_standard/ | H | 20-Dec-2021 | - | 23 | 20 |
| pretty_json_standard_indent/ | H | 20-Dec-2021 | - | 33 | 29 |
| recovery_ast_constructor/ | H | 20-Dec-2021 | - | 224 | 212 |
| recovery_ast_empty_contract/ | H | 20-Dec-2021 | - | 14 | 10 |
| recovery_standard_json/ | H | 20-Dec-2021 | - | 33 | 29 |
| require_overload/ | H | 07-May-2022 | - | 16 | 14 |
| revert_strings/ | H | 20-Dec-2021 | - | 382 | 275 |
| standard_cli_output_selection_invalid/ | H | 07-May-2022 | - | 5 | 2 |
| standard_debug_info_in_evm_asm_via_ir_location/ | H | 20-Dec-2021 | - | 972 | 965 |
| standard_debug_info_in_yul_and_evm_asm_print_all/ | H | 20-Dec-2021 | - | 256 | 215 |
| standard_debug_info_in_yul_and_evm_asm_print_location_only/ | H | 20-Dec-2021 | - | 255 | 214 |
| standard_debug_info_in_yul_and_evm_asm_print_none/ | H | 20-Dec-2021 | - | 244 | 202 |
| standard_debug_info_in_yul_and_evm_asm_print_snippet_only/ | H | 20-Dec-2021 | - | 36 | 31 |
| standard_debug_info_in_yul_location/ | H | 20-Dec-2021 | - | 1,615 | 1,297 |
| standard_default_success/ | H | 20-Dec-2021 | - | 13 | 11 |
| standard_empty_file_name/ | H | 20-Dec-2021 | - | 15 | 12 |
| standard_ewasm_requested/ | H | 20-Dec-2021 | - | 178 | 158 |
| standard_ewasm_requested_abstract/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_file_not_found/ | H | 07-May-2022 | - | 4 | 2 |
| standard_function_debug_info/ | H | 20-Dec-2021 | - | 21 | 19 |
| standard_generatedSources/ | H | 20-Dec-2021 | - | 148 | 113 |
| standard_immutable_references/ | H | 20-Dec-2021 | - | 21 | 19 |
| standard_invalid_option_no_optimize_yul/ | H | 07-May-2022 | - | 5 | 2 |
| standard_invalid_option_optimize/ | H | 07-May-2022 | - | 5 | 2 |
| standard_invalid_option_optimize_runs/ | H | 07-May-2022 | - | 5 | 2 |
| standard_invalid_option_optimize_yul/ | H | 07-May-2022 | - | 5 | 2 |
| standard_invalid_option_yul_optimizations/ | H | 07-May-2022 | - | 5 | 2 |
| standard_irOptimized_requested/ | H | 20-Dec-2021 | - | 96 | 93 |
| standard_ir_requested/ | H | 20-Dec-2021 | - | 134 | 99 |
| standard_method_identifiers_requested/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_missing_key_useLiteralContent/ | H | 20-Dec-2021 | - | 22 | 20 |
| standard_model_checker_contracts_all/ | H | 20-Dec-2021 | - | 71 | 59 |
| standard_model_checker_contracts_all_explicit/ | H | 20-Dec-2021 | - | 75 | 63 |
| standard_model_checker_contracts_empty_array/ | H | 20-Dec-2021 | - | 35 | 33 |
| standard_model_checker_contracts_empty_contract/ | H | 20-Dec-2021 | - | 35 | 33 |
| standard_model_checker_contracts_empty_source/ | H | 20-Dec-2021 | - | 35 | 33 |
| standard_model_checker_contracts_inexistent_contract/ | H | 20-Dec-2021 | - | 37 | 34 |
| standard_model_checker_contracts_multi_source/ | H | 20-Dec-2021 | - | 106 | 89 |
| standard_model_checker_contracts_only_one/ | H | 20-Dec-2021 | - | 75 | 63 |
| standard_model_checker_contracts_wrong_key_sources/ | H | 20-Dec-2021 | - | 37 | 34 |
| standard_model_checker_contracts_wrong_key_sources_2/ | H | 20-Dec-2021 | - | 32 | 30 |
| standard_model_checker_contracts_wrong_key_sources_3/ | H | 20-Dec-2021 | - | 35 | 33 |
| standard_model_checker_contracts_wrong_key_sources_4/ | H | 20-Dec-2021 | - | 35 | 33 |
| standard_model_checker_divModSlacks_default_all/ | H | 20-Dec-2021 | - | 89 | 85 |
| standard_model_checker_divModSlacks_default_bmc/ | H | 20-Dec-2021 | - | 171 | 165 |
| standard_model_checker_divModSlacks_default_chc/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_model_checker_divModSlacks_false_all/ | H | 20-Dec-2021 | - | 210 | 201 |
| standard_model_checker_divModSlacks_false_bmc/ | H | 20-Dec-2021 | - | 164 | 158 |
| standard_model_checker_divModSlacks_false_chc/ | H | 20-Dec-2021 | - | 40 | 35 |
| standard_model_checker_divModSlacks_wrong/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_model_checker_engine_all/ | H | 20-Dec-2021 | - | 40 | 33 |
| standard_model_checker_engine_bmc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_engine_chc/ | H | 20-Dec-2021 | - | 40 | 33 |
| standard_model_checker_engine_none/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_model_checker_invariants_contract/ | H | 20-Dec-2021 | - | 32 | 28 |
| standard_model_checker_invariants_contract_reentrancy/ | H | 20-Dec-2021 | - | 54 | 49 |
| standard_model_checker_invariants_reentrancy/ | H | 20-Dec-2021 | - | 43 | 38 |
| standard_model_checker_invariants_wrong_key/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_model_checker_invariants_wrong_type/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_model_checker_invariants_wrong_type_2/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_model_checker_show_unproved_default_all_engines/ | H | 20-Dec-2021 | - | 130 | 123 |
| standard_model_checker_show_unproved_false_all_engines/ | H | 20-Dec-2021 | - | 131 | 124 |
| standard_model_checker_show_unproved_false_bmc/ | H | 20-Dec-2021 | - | 117 | 111 |
| standard_model_checker_show_unproved_false_chc/ | H | 20-Dec-2021 | - | 32 | 29 |
| standard_model_checker_show_unproved_true_all_engines/ | H | 20-Dec-2021 | - | 140 | 133 |
| standard_model_checker_show_unproved_true_bmc/ | H | 20-Dec-2021 | - | 122 | 116 |
| standard_model_checker_show_unproved_true_chc/ | H | 20-Dec-2021 | - | 36 | 33 |
| standard_model_checker_show_unproved_wrong/ | H | 20-Dec-2021 | - | 30 | 28 |
| standard_model_checker_solvers_all/ | H | 20-Dec-2021 | - | 40 | 33 |
| standard_model_checker_solvers_none/ | H | 20-Dec-2021 | - | 25 | 21 |
| standard_model_checker_solvers_smtlib2/ | H | 20-Dec-2021 | - | 176 | 130 |
| standard_model_checker_solvers_z3/ | H | 20-Dec-2021 | - | 41 | 34 |
| standard_model_checker_solvers_z3_smtlib2/ | H | 20-Dec-2021 | - | 41 | 34 |
| standard_model_checker_targets_assert_bmc/ | H | 20-Dec-2021 | - | 103 | 98 |
| standard_model_checker_targets_assert_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_balance_bmc/ | H | 20-Dec-2021 | - | 103 | 98 |
| standard_model_checker_targets_balance_chc/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_constantCondition_bmc/ | H | 20-Dec-2021 | - | 90 | 85 |
| standard_model_checker_targets_constantCondition_chc/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_default_all_engines/ | H | 20-Dec-2021 | - | 275 | 255 |
| standard_model_checker_targets_default_bmc/ | H | 20-Dec-2021 | - | 303 | 289 |
| standard_model_checker_targets_default_chc/ | H | 20-Dec-2021 | - | 128 | 114 |
| standard_model_checker_targets_div_by_zero_bmc/ | H | 20-Dec-2021 | - | 107 | 102 |
| standard_model_checker_targets_div_by_zero_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_empty_array/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_out_of_bounds_bmc/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_out_of_bounds_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_overflow_bmc/ | H | 20-Dec-2021 | - | 107 | 102 |
| standard_model_checker_targets_overflow_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_pop_empty_bmc/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_pop_empty_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_underflow_bmc/ | H | 20-Dec-2021 | - | 107 | 102 |
| standard_model_checker_targets_underflow_chc/ | H | 20-Dec-2021 | - | 57 | 52 |
| standard_model_checker_targets_underflow_overflow_assert_bmc/ | H | 20-Dec-2021 | - | 251 | 240 |
| standard_model_checker_targets_underflow_overflow_assert_chc/ | H | 20-Dec-2021 | - | 105 | 94 |
| standard_model_checker_targets_underflow_overflow_bmc/ | H | 20-Dec-2021 | - | 181 | 173 |
| standard_model_checker_targets_underflow_overflow_chc/ | H | 20-Dec-2021 | - | 81 | 73 |
| standard_model_checker_targets_wrong_target_types/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_wrong_target_types_2/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_targets_wrong_targets/ | H | 20-Dec-2021 | - | 33 | 31 |
| standard_model_checker_timeout_all/ | H | 20-Dec-2021 | - | 337 | 326 |
| standard_model_checker_timeout_bmc/ | H | 20-Dec-2021 | - | 543 | 529 |
| standard_model_checker_timeout_chc/ | H | 20-Dec-2021 | - | 23 | 20 |
| standard_model_checker_timeout_wrong_key/ | H | 20-Dec-2021 | - | 21 | 19 |
| standard_model_checker_timeout_wrong_value/ | H | 20-Dec-2021 | - | 21 | 19 |
| standard_only_ast_requested/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_optimizer_generatedSources/ | H | 20-Dec-2021 | - | 66 | 64 |
| standard_optimizer_invalid_detail_type/ | H | 20-Dec-2021 | - | 32 | 27 |
| standard_optimizer_invalid_details/ | H | 20-Dec-2021 | - | 32 | 27 |
| standard_optimizer_no_yul/ | H | 20-Dec-2021 | - | 32 | 27 |
| standard_optimizer_yul/ | H | 20-Dec-2021 | - | 31 | 26 |
| standard_optimizer_yulDetails/ | H | 20-Dec-2021 | - | 34 | 29 |
| standard_optimizer_yulDetails_no_object/ | H | 20-Dec-2021 | - | 37 | 32 |
| standard_optimizer_yulDetails_optimiserSteps/ | H | 20-Dec-2021 | - | 36 | 31 |
| standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation/ | H | 20-Dec-2021 | - | 39 | 34 |
| standard_optimizer_yulDetails_optimiserSteps_nested_brackets/ | H | 20-Dec-2021 | - | 36 | 31 |
| standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep/ | H | 20-Dec-2021 | - | 39 | 34 |
| standard_optimizer_yulDetails_optimiserSteps_type/ | H | 20-Dec-2021 | - | 39 | 34 |
| standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket/ | H | 20-Dec-2021 | - | 39 | 34 |
| standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket/ | H | 20-Dec-2021 | - | 39 | 34 |
| standard_optimizer_yulDetails_without_yul/ | H | 20-Dec-2021 | - | 33 | 28 |
| standard_parsing_import_absolute_paths/ | H | 20-Dec-2021 | - | 83 | 80 |
| standard_secondary_source_location/ | H | 20-Dec-2021 | - | 29 | 26 |
| standard_viair_requested/ | H | 20-Dec-2021 | - | 306 | 224 |
| standard_wrong_key_auxiliary_input/ | H | 20-Dec-2021 | - | 17 | 15 |
| standard_wrong_key_metadata/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_wrong_key_optimizer/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_wrong_key_root/ | H | 20-Dec-2021 | - | 14 | 12 |
| standard_wrong_key_settings/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_wrong_key_source/ | H | 20-Dec-2021 | - | 14 | 12 |
| standard_wrong_type_auxiliary_input/ | H | 20-Dec-2021 | - | 14 | 12 |
| standard_wrong_type_auxiliary_input_smtlib2responses/ | H | 20-Dec-2021 | - | 23 | 21 |
| standard_wrong_type_auxiliary_input_smtlib2responses_member/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_wrong_type_metadata/ | H | 20-Dec-2021 | - | 22 | 20 |
| standard_wrong_type_optimizer/ | H | 20-Dec-2021 | - | 21 | 19 |
| standard_wrong_type_output_selection/ | H | 20-Dec-2021 | - | 14 | 12 |
| standard_wrong_type_output_selection_contract/ | H | 20-Dec-2021 | - | 19 | 17 |
| standard_wrong_type_output_selection_file/ | H | 20-Dec-2021 | - | 16 | 14 |
| standard_wrong_type_output_selection_output/ | H | 20-Dec-2021 | - | 19 | 17 |
| standard_wrong_type_remappings/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_wrong_type_remappings_entry/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_wrong_type_root/ | H | 20-Dec-2021 | - | 4 | 2 |
| standard_wrong_type_settings/ | H | 20-Dec-2021 | - | 26 | 24 |
| standard_wrong_type_source/ | H | 20-Dec-2021 | - | 15 | 13 |
| standard_wrong_type_sources/ | H | 20-Dec-2021 | - | 7 | 5 |
| standard_wrong_type_useLiteralContent/ | H | 20-Dec-2021 | - | 24 | 22 |
| standard_yul/ | H | 20-Dec-2021 | - | 48 | 46 |
| standard_yul_debug_info_print_all/ | H | 20-Dec-2021 | - | 68 | 62 |
| standard_yul_debug_info_print_location_only/ | H | 20-Dec-2021 | - | 68 | 62 |
| standard_yul_debug_info_print_none/ | H | 20-Dec-2021 | - | 66 | 60 |
| standard_yul_debug_info_print_snippet_only/ | H | 20-Dec-2021 | - | 44 | 38 |
| standard_yul_embedded_object_name/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_yul_invalid_object_name/ | H | 20-Dec-2021 | - | 20 | 18 |
| standard_yul_multiple_files/ | H | 20-Dec-2021 | - | 24 | 22 |
| standard_yul_multiple_files_selected/ | H | 20-Dec-2021 | - | 24 | 22 |
| standard_yul_object/ | H | 20-Dec-2021 | - | 50 | 48 |
| standard_yul_object_invalid_sub/ | H | 20-Dec-2021 | - | 25 | 23 |
| standard_yul_object_name/ | H | 20-Dec-2021 | - | 65 | 62 |
| standard_yul_optimiserSteps/ | H | 20-Dec-2021 | - | 52 | 50 |
| standard_yul_optimized/ | H | 20-Dec-2021 | - | 44 | 42 |
| standard_yul_single_file_via_urls/ | H | 20-Dec-2021 | - | 29 | 26 |
| standard_yul_stack_opt/ | H | 20-Dec-2021 | - | 53 | 51 |
| standard_yul_stack_opt_disabled/ | H | 20-Dec-2021 | - | 56 | 54 |
| stdin/ | H | 07-May-2022 | - | 5 | 3 |
| storage_layout_bytes/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_dyn_array/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_many/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_mapping/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_smoke/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_smoke_two_contracts/ | H | 20-Dec-2021 | - | 22 | 20 |
| storage_layout_string/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_struct/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_struct_packed/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_user_defined/ | H | 20-Dec-2021 | - | 27 | 22 |
| storage_layout_value_types/ | H | 20-Dec-2021 | - | 19 | 17 |
| storage_layout_value_types_packed/ | H | 20-Dec-2021 | - | 19 | 17 |
| strict_asm_debug_info_print_all/ | H | 20-Dec-2021 | - | 53 | 42 |
| strict_asm_debug_info_print_location_only/ | H | 20-Dec-2021 | - | 53 | 42 |
| strict_asm_debug_info_print_none/ | H | 20-Dec-2021 | - | 49 | 38 |
| strict_asm_debug_info_print_snippet_only/ | H | 07-May-2022 | - | 20 | 15 |
| strict_asm_invalid_option_optimize_yul/ | H | 07-May-2022 | - | 8 | 5 |
| strict_asm_invalid_option_output_dir/ | H | 07-May-2022 | - | 8 | 5 |
| strict_asm_jump/ | H | 07-May-2022 | - | 9 | 8 |
| strict_asm_only_cr/ | H | 07-May-2022 | - | 9 | 7 |
| strict_asm_optimizer_steps/ | H | 20-Dec-2021 | - | 118 | 107 |
| strict_asm_options_in_non_asm_mode/ | H | 07-May-2022 | - | 12 | 8 |
| strict_asm_output_selection_asm_only/ | H | 20-Dec-2021 | - | 22 | 16 |
| strict_asm_output_selection_bin_only/ | H | 20-Dec-2021 | - | 15 | 9 |
| strict_asm_output_selection_ewasm_ir_only/ | H | 20-Dec-2021 | - | 12 | 7 |
| strict_asm_output_selection_ewasm_only/ | H | 20-Dec-2021 | - | 12 | 7 |
| strict_asm_output_selection_invalid/ | H | 07-May-2022 | - | 4 | 2 |
| strict_asm_output_selection_ir_optimized_only/ | H | 20-Dec-2021 | - | 17 | 11 |
| structured_documentation_source_location/ | H | 07-May-2022 | - | 22 | 19 |
| too_long_line/ | H | 07-May-2022 | - | 14 | 11 |
| too_long_line_both_sides_short/ | H | 07-May-2022 | - | 15 | 12 |
| too_long_line_edge_in/ | H | 07-May-2022 | - | 14 | 11 |
| too_long_line_edge_out/ | H | 07-May-2022 | - | 14 | 11 |
| too_long_line_left_short/ | H | 07-May-2022 | - | 14 | 11 |
| too_long_line_multiline/ | H | 07-May-2022 | - | 23 | 20 |
| too_long_line_right_short/ | H | 07-May-2022 | - | 15 | 12 |
| viair_abicoder_v1/ | H | 20-Dec-2021 | - | 155 | 114 |
| viair_subobjects/ | H | 20-Dec-2021 | - | 153 | 144 |
| wasm_to_wasm_function_returning_multiple_values/ | H | 20-Dec-2021 | - | 96 | 79 |
| wasm_to_wasm_memory_instructions_alignment/ | H | 20-Dec-2021 | - | 41 | 30 |
| yul_function_name_clashes/ | H | 20-Dec-2021 | - | 87 | 80 |
| yul_function_name_clashes_different_params/ | H | 20-Dec-2021 | - | 116 | 107 |
| yul_optimize_runs/ | H | 20-Dec-2021 | - | 70 | 60 |
| yul_optimizer_steps/ | H | 20-Dec-2021 | - | 53 | 48 |
| yul_optimizer_steps_disabled/ | H | 07-May-2022 | - | 12 | 8 |
| yul_optimizer_steps_invalid_abbreviation/ | H | 07-May-2022 | - | 12 | 8 |
| yul_optimizer_steps_nested_brackets/ | H | 20-Dec-2021 | - | 443 | 438 |
| yul_optimizer_steps_nesting_too_deep/ | H | 07-May-2022 | - | 12 | 8 |
| yul_optimizer_steps_unbalanced_closing_bracket/ | H | 07-May-2022 | - | 12 | 8 |
| yul_optimizer_steps_unbalanced_opening_bracket/ | H | 07-May-2022 | - | 12 | 8 |
| yul_string_format_ascii/ | H | 20-Dec-2021 | - | 235 | 175 |
| yul_string_format_ascii_bytes32/ | H | 20-Dec-2021 | - | 159 | 118 |
| yul_string_format_ascii_bytes32_from_number/ | H | 20-Dec-2021 | - | 172 | 127 |
| yul_string_format_ascii_long/ | H | 20-Dec-2021 | - | 239 | 177 |
| yul_string_format_hex/ | H | 20-Dec-2021 | - | 172 | 127 |
| yul_to_wasm_source_location_crash/ | H | 20-Dec-2021 | - | 44 | 37 |
| yul_verbatim/ | H | 20-Dec-2021 | - | 75 | 66 |
| yul_verbatim_msize/ | H | 20-Dec-2021 | - | 46 | 38 |