File tree
202 files changed
+9169
-494
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.
202 files changed
+9169
-494
lines changedLines changed: 7 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
29 | 36 |
| |
30 | 37 |
| |
31 | 38 |
| |
| |||
127 | 134 |
| |
128 | 135 |
| |
129 | 136 |
| |
130 |
| - | |
131 |
| - | |
132 | 137 |
| |
133 | 138 |
| |
134 | 139 |
| |
|
Lines changed: 16 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
186 | 186 |
| |
187 | 187 |
| |
188 | 188 |
| |
189 |
| - | |
| 189 | + | |
190 | 190 |
| |
191 | 191 |
| |
192 | 192 |
| |
193 | 193 |
| |
194 | 194 |
| |
195 |
| - | |
196 |
| - | |
197 |
| - | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
198 | 198 |
| |
199 | 199 |
| |
200 | 200 |
| |
201 |
| - | |
202 |
| - | |
| 201 | + | |
| 202 | + | |
203 | 203 |
| |
204 | 204 |
| |
205 |
| - | |
| 205 | + | |
206 | 206 |
| |
207 |
| - | |
| 207 | + | |
208 | 208 |
| |
209 | 209 |
| |
210 | 210 |
| |
| |||
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
218 |
| - | |
| 218 | + | |
219 | 219 |
| |
220 | 220 |
| |
221 | 221 |
| |
| |||
458 | 458 |
| |
459 | 459 |
| |
460 | 460 |
| |
461 |
| - | |
| 461 | + | |
| 462 | + | |
| 463 | + | |
| 464 | + | |
| 465 | + | |
| 466 | + | |
| 467 | + | |
462 | 468 |
| |
463 | 469 |
| |
464 | 470 |
| |
|
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: 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 | + |
0 commit comments