File tree
470 files changed
+4707
-9427
lines changed- libsolutil
- test
- cmdlineTests
- abi_via_ir
- asm_json
- ast_compact_json_with_base_path
- ast_ir
- combined_json_abi
- combined_json_generated_sources
- combined_json_stop_after_parsing
- combined_json_with_base_path
- combined_json_with_devdoc
- combined_json_with_userdoc
- events_in_abi
- function_debug_info
- function_debug_info_via_yul
- import_asm_json_all_valid_flags
- inline_assembly_function_name_clash
- linking_standard_solidity
- linking_standard_solidity_quote_in_file_name
- linking_standard_solidity_unresolved_references
- linking_standard_yul
- linking_standard_yul_quote_in_file_name
- linking_standard_yul_unresolved_references
- no_contract_combined_json
- 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
- pretty_json_standard_indent
- 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_evm_version_byzantium
- standard_evm_version_constantinople
- standard_function_debug_info
- standard_generatedSources
- standard_immutable_references
- standard_import_asm_json
- standard_import_asm_json_immutable_references
- standard_import_asm_json_invalid_input_array
- standard_import_asm_json_invalid_key_inside_source
- standard_import_asm_json_invalid_key_other_source
- standard_import_asm_json_invalid_no_source
- standard_import_asm_json_invalid_opcode
- standard_import_asm_json_invalid_two_sources
- standard_import_asm_json_link_references
- standard_import_asm_json_multiple_keys_inside_source
- standard_import_ast
- standard_import_ast_select_bytecode
- standard_import_with_comments
- standard_import_with_comments_simple
- standard_import_with_invalid_utf8
- standard_irOptimized_ast_requested
- standard_irOptimized_requested
- standard_ir_ast_requested
- standard_ir_requested
- standard_metadata
- standard_method_identifiers_requested
- standard_method_identifiers_requested_empty
- standard_missing_key_useLiteralContent
- standard_model_checker_bmc_loop_iterations
- standard_model_checker_bmc_loop_iterations_invalid_arg
- standard_model_checker_contracts_all
- standard_model_checker_contracts_all_explicit
- 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
- 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_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_ext_calls_empty_arg
- standard_model_checker_ext_calls_trusted_chc
- standard_model_checker_ext_calls_untrusted_chc
- standard_model_checker_ext_calls_wrong_arg_1
- standard_model_checker_ext_calls_wrong_arg_2
- standard_model_checker_invariants_contract
- standard_model_checker_invariants_contract_reentrancy
- standard_model_checker_invariants_reentrancy
- standard_model_checker_invariants_wrong_key
- standard_model_checker_invariants_wrong_type
- standard_model_checker_invariants_wrong_type_2
- standard_model_checker_print_query_all
- standard_model_checker_print_query_bmc
- standard_model_checker_print_query_chc
- standard_model_checker_print_query_invalid_arg
- standard_model_checker_print_query_no_smtlib2_solver
- standard_model_checker_print_query_superflous_solver
- standard_model_checker_show_proved_safe_default_all_engines
- standard_model_checker_show_proved_safe_default_bmc
- standard_model_checker_show_proved_safe_default_chc
- standard_model_checker_show_proved_safe_false_all_engines
- standard_model_checker_show_proved_safe_false_bmc
- standard_model_checker_show_proved_safe_false_chc
- standard_model_checker_show_proved_safe_true_all_engines
- standard_model_checker_show_proved_safe_true_bmc
- standard_model_checker_show_proved_safe_true_chc
- standard_model_checker_show_proved_safe_wrong
- 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_show_unsupported_default_all_engines
- standard_model_checker_show_unsupported_default_bmc
- standard_model_checker_show_unsupported_default_chc
- standard_model_checker_show_unsupported_false_all_engines
- standard_model_checker_show_unsupported_false_bmc
- standard_model_checker_show_unsupported_false_chc
- standard_model_checker_show_unsupported_true_all_engines
- standard_model_checker_show_unsupported_true_bmc
- standard_model_checker_show_unsupported_true_chc
- standard_model_checker_show_unsupported_wrong
- standard_model_checker_solvers_none
- standard_model_checker_solvers_smtlib2
- standard_model_checker_solvers_z3
- standard_model_checker_solvers_z3_smtlib2
- 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
- standard_model_checker_targets_wrong_target_types_2
- 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
- standard_no_append_cbor_with_metadata_hash
- standard_no_import_callback
- standard_non_utf8_filename
- standard_non_utf8_filename2
- standard_only_ast_requested
- standard_optimizer_generatedSources
- standard_optimizer_invalid_detail_type
- standard_optimizer_invalid_details
- standard_optimizer_no_yul
- standard_optimizer_yul
- standard_optimizer_yulDetails
- standard_optimizer_yulDetails_no_object
- standard_optimizer_yulDetails_optimiserSteps
- standard_optimizer_yulDetails_optimiserSteps_empty_sequence_metadata
- standard_optimizer_yulDetails_optimiserSteps_empty_sequence_whitespaces_metadata
- 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_no_yul
- standard_optimizer_yulDetails_optimiserSteps_no_yul_empty_string
- standard_optimizer_yulDetails_optimiserSteps_no_yul_whitespaces
- 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_with_empty_sequence_no_yul
- standard_optimizer_yulDetails_optimiserSteps_with_whitespace_newline_sequence_no_yul
- standard_optimizer_yulDetails_without_yul
- standard_outputs_on_analysis_error_fatal
- standard_outputs_on_analysis_error_fatal_after_current_step
- standard_outputs_on_analysis_error_non_fatal
- standard_outputs_on_compilation_error
- standard_outputs_on_parsing_error
- standard_parsing_import_absolute_paths
- standard_raw_utf16_filename
- standard_secondary_source_location
- standard_stop_after_parsing_ast_requested
- standard_stop_after_parsing_bytecode_requested
- standard_stop_after_parsing_non_binary_output_requested
- 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
- standard_wrong_type_auxiliary_input_smtlib2responses
- standard_wrong_type_auxiliary_input_smtlib2responses_member
- standard_wrong_type_metadata
- standard_wrong_type_optimizer
- standard_wrong_type_output_selection
- standard_wrong_type_output_selection_contract
- standard_wrong_type_output_selection_file
- standard_wrong_type_output_selection_output
- standard_wrong_type_remappings
- standard_wrong_type_remappings_entry
- standard_wrong_type_root
- standard_wrong_type_settings
- standard_wrong_type_source
- standard_wrong_type_sources
- standard_wrong_type_useLiteralContent
- standard_yul
- 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_evm_version_byzantium
- standard_yul_immutable_references
- standard_yul_multiple_files
- standard_yul_multiple_files_selected
- standard_yul_object
- standard_yul_object_invalid_sub
- standard_yul_object_name
- standard_yul_optimiserSteps
- standard_yul_optimized
- standard_yul_single_file_via_urls
- standard_yul_stack_opt
- standard_yul_stack_opt_disabled
- stop_after_parsing_ast
- storage_layout_bytes
- storage_layout_dyn_array
- storage_layout_many
- storage_layout_mapping
- storage_layout_smoke
- storage_layout_smoke_two_contracts
- storage_layout_string
- storage_layout_struct
- storage_layout_struct_packed
- storage_layout_user_defined
- storage_layout_value_types
- storage_layout_value_types_packed
- strict_asm_ast_compact_json
- yul_string_format_ascii
- yul_string_format_ascii_bytes32
- yul_string_format_ascii_bytes32_from_number
- yul_string_format_ascii_long
- yul_string_format_hex
- libsolidity/ABIJson
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
470 files changed
+4707
-9427
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
28 |
| - | |
29 | 28 |
| |
30 |
| - | |
31 | 29 |
| |
32 | 30 |
| |
33 | 31 |
| |
| |||
65 | 63 |
| |
66 | 64 |
| |
67 | 65 |
| |
68 |
| - | |
69 |
| - | |
70 |
| - | |
71 |
| - | |
72 |
| - | |
73 |
| - | |
74 |
| - | |
75 |
| - | |
76 |
| - | |
77 |
| - | |
78 |
| - | |
79 |
| - | |
80 |
| - | |
81 |
| - | |
82 |
| - | |
83 |
| - | |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 |
| - | |
89 |
| - | |
90 |
| - | |
91 |
| - | |
92 |
| - | |
93 |
| - | |
94 |
| - | |
95 |
| - | |
96 |
| - | |
97 |
| - | |
98 |
| - | |
99 |
| - | |
100 |
| - | |
101 |
| - | |
102 |
| - | |
103 |
| - | |
104 |
| - | |
105 |
| - | |
106 |
| - | |
107 |
| - | |
108 |
| - | |
109 |
| - | |
110 |
| - | |
111 |
| - | |
112 |
| - | |
113 |
| - | |
114 |
| - | |
115 |
| - | |
116 |
| - | |
117 |
| - | |
118 |
| - | |
119 |
| - | |
120 |
| - | |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 | 66 |
| |
127 | 67 |
| |
128 | 68 |
| |
| |||
201 | 141 |
| |
202 | 142 |
| |
203 | 143 |
| |
204 |
| - | |
205 |
| - | |
206 |
| - | |
207 |
| - | |
208 | 144 |
| |
209 | 145 |
| |
210 | 146 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
7 |
| - | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
| |
| |||
20 | 19 |
| |
21 | 20 |
| |
22 | 21 |
| |
23 |
| - | |
24 |
| - | |
| 22 | + | |
25 | 23 |
| |
26 | 24 |
| |
27 | 25 |
| |
| |||
32 | 30 |
| |
33 | 31 |
| |
34 | 32 |
| |
35 |
| - | |
36 |
| - | |
| 33 | + | |
37 | 34 |
| |
38 | 35 |
| |
39 | 36 |
| |
| |||
45 | 42 |
| |
46 | 43 |
| |
47 | 44 |
| |
48 |
| - | |
49 |
| - | |
| 45 | + | |
50 | 46 |
| |
51 | 47 |
| |
52 | 48 |
| |
| |||
59 | 55 |
| |
60 | 56 |
| |
61 | 57 |
| |
62 |
| - | |
63 |
| - | |
| 58 | + | |
64 | 59 |
| |
65 | 60 |
| |
66 | 61 |
| |
| |||
73 | 68 |
| |
74 | 69 |
| |
75 | 70 |
| |
76 |
| - | |
77 |
| - | |
| 71 | + | |
78 | 72 |
| |
79 | 73 |
| |
80 | 74 |
| |
| |||
86 | 80 |
| |
87 | 81 |
| |
88 | 82 |
| |
89 |
| - | |
90 |
| - | |
| 83 | + | |
91 | 84 |
| |
92 |
| - | |
93 |
| - | |
| 85 | + | |
94 | 86 |
| |
95 | 87 |
| |
96 | 88 |
| |
| |||
113 | 105 |
| |
114 | 106 |
| |
115 | 107 |
| |
116 |
| - | |
117 |
| - | |
| 108 | + | |
118 | 109 |
| |
119 | 110 |
| |
120 | 111 |
| |
| |||
125 | 116 |
| |
126 | 117 |
| |
127 | 118 |
| |
128 |
| - | |
129 |
| - | |
| 119 | + | |
130 | 120 |
| |
131 | 121 |
| |
132 | 122 |
| |
| |||
138 | 128 |
| |
139 | 129 |
| |
140 | 130 |
| |
141 |
| - | |
142 |
| - | |
| 131 | + | |
143 | 132 |
| |
144 | 133 |
| |
145 | 134 |
| |
| |||
152 | 141 |
| |
153 | 142 |
| |
154 | 143 |
| |
155 |
| - | |
156 |
| - | |
| 144 | + | |
157 | 145 |
| |
158 | 146 |
| |
159 | 147 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
6 |
| - | |
| 5 | + | |
7 | 6 |
| |
8 | 7 |
| |
9 | 8 |
| |
| |||
140 | 139 |
| |
141 | 140 |
| |
142 | 141 |
| |
143 |
| - | |
144 |
| - | |
145 |
| - | |
146 |
| - | |
| 142 | + | |
| 143 | + | |
147 | 144 |
| |
148 |
| - | |
149 |
| - | |
| 145 | + | |
150 | 146 |
| |
151 | 147 |
| |
152 | 148 |
| |
| |||
1570 | 1566 |
| |
1571 | 1567 |
| |
1572 | 1568 |
| |
1573 |
| - | |
1574 |
| - | |
| 1569 | + | |
1575 | 1570 |
| |
1576 | 1571 |
| |
1577 | 1572 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
| 7 | + | |
| 8 | + | |
11 | 9 |
| |
12 | 10 |
| |
13 | 11 |
| |
14 | 12 |
| |
15 | 13 |
| |
16 | 14 |
| |
17 |
| - | |
18 |
| - | |
| 15 | + | |
19 | 16 |
| |
20 | 17 |
| |
21 |
| - | |
22 |
| - | |
| 18 | + | |
23 | 19 |
| |
24 | 20 |
| |
25 | 21 |
| |
| |||
35 | 31 |
| |
36 | 32 |
| |
37 | 33 |
| |
38 |
| - | |
39 |
| - | |
| 34 | + | |
40 | 35 |
| |
41 | 36 |
| |
42 | 37 |
| |
| |||
54 | 49 |
| |
55 | 50 |
| |
56 | 51 |
| |
57 |
| - | |
58 |
| - | |
59 |
| - | |
60 |
| - | |
| 52 | + | |
| 53 | + | |
61 | 54 |
| |
62 | 55 |
| |
63 | 56 |
| |
64 | 57 |
| |
65 | 58 |
| |
66 | 59 |
| |
67 |
| - | |
68 |
| - | |
| 60 | + | |
69 | 61 |
| |
70 | 62 |
| |
71 |
| - | |
72 |
| - | |
| 63 | + | |
73 | 64 |
| |
74 | 65 |
| |
75 | 66 |
| |
|
0 commit comments