File tree
200 files changed
+9146
-482
lines changed- test/cmdlineTests
- linking_standard_solidity_quote_in_file_name
- linking_standard_solidity_unresolved_references
- linking_standard_solidity
- linking_standard_yul_quote_in_file_name
- linking_standard_yul_unresolved_references
- linking_standard_yul
- output_selection_all_A1
- output_selection_all_A2
- output_selection_all_blank
- output_selection_all_star
- output_selection_single_A1
- output_selection_single_B1
- output_selection_single_all
- pretty_json_indent_only
- pretty_json_standard_indent
- pretty_json_standard
- recovery_standard_json
- standard_debug_info_in_evm_asm_via_ir_location
- standard_debug_info_in_yul_and_evm_asm_print_all
- standard_debug_info_in_yul_and_evm_asm_print_location_only
- standard_debug_info_in_yul_and_evm_asm_print_none
- standard_debug_info_in_yul_and_evm_asm_print_snippet_only
- standard_debug_info_in_yul_location
- standard_default_success
- standard_empty_file_name
- standard_ewasm_requested_abstract
- standard_ewasm_requested
- standard_function_debug_info
- standard_generatedSources
- standard_immutable_references
- standard_irOptimized_requested
- standard_ir_requested
- standard_json_no_pretty_print
- standard_method_identifiers_requested_empty
- standard_method_identifiers_requested
- standard_missing_key_useLiteralContent
- standard_model_checker_contracts_all_explicit
- standard_model_checker_contracts_all
- standard_model_checker_contracts_empty_array
- standard_model_checker_contracts_empty_contract
- standard_model_checker_contracts_empty_source
- standard_model_checker_contracts_inexistent_contract
- standard_model_checker_contracts_multi_source
- standard_model_checker_contracts_only_one
- standard_model_checker_contracts_wrong_key_sources_2
- standard_model_checker_contracts_wrong_key_sources_3
- standard_model_checker_contracts_wrong_key_sources_4
- standard_model_checker_contracts_wrong_key_sources
- standard_model_checker_divModSlacks_default_all
- standard_model_checker_divModSlacks_default_bmc
- standard_model_checker_divModSlacks_default_chc
- standard_model_checker_divModSlacks_false_all
- standard_model_checker_divModSlacks_false_bmc
- standard_model_checker_divModSlacks_false_chc
- standard_model_checker_divModSlacks_wrong
- standard_model_checker_engine_all
- standard_model_checker_engine_bmc
- standard_model_checker_engine_chc
- standard_model_checker_engine_none
- standard_model_checker_invariants_contract_reentrancy
- standard_model_checker_invariants_contract
- standard_model_checker_invariants_reentrancy
- standard_model_checker_invariants_wrong_key
- standard_model_checker_invariants_wrong_type_2
- standard_model_checker_invariants_wrong_type
- standard_model_checker_show_unproved_default_all_engines
- standard_model_checker_show_unproved_false_all_engines
- standard_model_checker_show_unproved_false_bmc
- standard_model_checker_show_unproved_false_chc
- standard_model_checker_show_unproved_true_all_engines
- standard_model_checker_show_unproved_true_bmc
- standard_model_checker_show_unproved_true_chc
- standard_model_checker_show_unproved_wrong
- standard_model_checker_solvers_all
- standard_model_checker_solvers_none
- standard_model_checker_solvers_smtlib2
- standard_model_checker_solvers_z3_smtlib2
- standard_model_checker_solvers_z3
- standard_model_checker_targets_assert_bmc
- standard_model_checker_targets_assert_chc
- standard_model_checker_targets_balance_bmc
- standard_model_checker_targets_balance_chc
- standard_model_checker_targets_constantCondition_bmc
- standard_model_checker_targets_constantCondition_chc
- standard_model_checker_targets_default_all_engines
- standard_model_checker_targets_default_bmc
- standard_model_checker_targets_default_chc
- standard_model_checker_targets_div_by_zero_bmc
- standard_model_checker_targets_div_by_zero_chc
- standard_model_checker_targets_empty_array
- standard_model_checker_targets_out_of_bounds_bmc
- standard_model_checker_targets_out_of_bounds_chc
- standard_model_checker_targets_overflow_bmc
- standard_model_checker_targets_overflow_chc
- standard_model_checker_targets_pop_empty_bmc
- standard_model_checker_targets_pop_empty_chc
- standard_model_checker_targets_underflow_bmc
- standard_model_checker_targets_underflow_chc
- standard_model_checker_targets_underflow_overflow_assert_bmc
- standard_model_checker_targets_underflow_overflow_assert_chc
- standard_model_checker_targets_underflow_overflow_bmc
- standard_model_checker_targets_underflow_overflow_chc
- standard_model_checker_targets_wrong_target_types_2
- standard_model_checker_targets_wrong_target_types
- standard_model_checker_targets_wrong_targets
- standard_model_checker_timeout_all
- standard_model_checker_timeout_bmc
- standard_model_checker_timeout_chc
- standard_model_checker_timeout_wrong_key
- standard_model_checker_timeout_wrong_value
- standard_no_append_cbor_with_metadata_hash
- standard_no_append_cbor
- standard_only_ast_requested
- standard_optimizer_generatedSources
- standard_optimizer_invalid_detail_type
- standard_optimizer_invalid_details
- standard_optimizer_no_yul
- standard_optimizer_yulDetails_no_object
- standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation
- standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter
- standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters
- standard_optimizer_yulDetails_optimiserSteps_nested_brackets
- standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep
- standard_optimizer_yulDetails_optimiserSteps_type
- standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket
- standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket
- standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence
- standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence
- standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence
- standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence
- standard_optimizer_yulDetails_optimiserSteps
- standard_optimizer_yulDetails_without_yul
- standard_optimizer_yulDetails
- standard_optimizer_yul
- standard_parsing_import_absolute_paths
- standard_secondary_source_location
- standard_urls_existing_and_missing
- standard_urls_missing
- standard_viair_requested
- standard_wrong_key_auxiliary_input
- standard_wrong_key_metadata
- standard_wrong_key_optimizer
- standard_wrong_key_root
- standard_wrong_key_settings
- standard_wrong_key_source
- standard_wrong_type_auxiliary_input_smtlib2responses_member
- standard_wrong_type_auxiliary_input_smtlib2responses
- standard_wrong_type_auxiliary_input
- standard_wrong_type_metadata
- standard_wrong_type_optimizer
- standard_wrong_type_output_selection_contract
- standard_wrong_type_output_selection_file
- standard_wrong_type_output_selection_output
- standard_wrong_type_output_selection
- standard_wrong_type_remappings_entry
- standard_wrong_type_remappings
- standard_wrong_type_root
- standard_wrong_type_settings
- standard_wrong_type_sources
- standard_wrong_type_source
- standard_wrong_type_useLiteralContent
- standard_yul_debug_info_print_all
- standard_yul_debug_info_print_location_only
- standard_yul_debug_info_print_none
- standard_yul_debug_info_print_snippet_only
- standard_yul_embedded_object_name
- standard_yul_immutable_references
- standard_yul_invalid_object_name
- standard_yul_multiple_files_selected
- standard_yul_multiple_files
- standard_yul_object_invalid_sub
- standard_yul_object_name
- standard_yul_object
- standard_yul_optimiserSteps
- standard_yul_optimized
- standard_yul_single_file_via_urls
- standard_yul_stack_opt_disabled
- standard_yul_stack_opt
- standard_yul
- storage_layout_bytes
- storage_layout_dyn_array
- storage_layout_many
- storage_layout_mapping
- storage_layout_smoke_two_contracts
- storage_layout_smoke
- storage_layout_string
- storage_layout_struct_packed
- storage_layout_struct
- storage_layout_value_types_packed
- storage_layout_value_types
- yul_string_format_ascii_bytes32_from_number
- yul_string_format_ascii_bytes32
- yul_string_format_ascii_long
- yul_string_format_ascii
- yul_string_format_hex
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
200 files changed
+9146
-482
lines changedLines changed: 26 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + |
Lines changed: 26 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + |
Lines changed: 42 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + |
Lines changed: 19 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + |
Lines changed: 19 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + |
Lines changed: 31 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + |
Lines changed: 42 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + |
Lines changed: 29 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + |
Lines changed: 13 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + |
Lines changed: 62 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + |
0 commit comments