File tree
52 files changed
+82
-62
lines changed- solc
- test
- cmdlineTests
- ast_json_import_wrong_evmVersion
- debug_info_in_yul_and_evm_asm_print_all_and_none
- debug_info_in_yul_and_evm_asm_print_snippet_only
- linker_mode_invalid_option_no_optimize_yul
- linker_mode_invalid_option_optimize_runs
- linker_mode_invalid_option_optimize_yul
- linker_mode_invalid_option_optimize
- linker_mode_invalid_option_yul_optimizations
- linker_mode_output_selection_invalid
- linking_strict_assembly_duplicate_library_name
- model_checker_bmc_loop_iterations_invalid_arg
- model_checker_bmc_loop_iterations_no_argument
- model_checker_contracts_contract_missing
- model_checker_contracts_empty_contract
- model_checker_contracts_empty_source
- model_checker_contracts_one_contract_missing
- model_checker_contracts_source_missing
- model_checker_ext_calls_empty_arg
- model_checker_ext_calls_wrong_arg
- model_checker_invariants_wrong
- model_checker_print_query_no_smtlib2_solver_bmc
- model_checker_print_query_no_smtlib2_solver_chc
- model_checker_print_query_superflous_solver
- model_checker_solvers_wrong2
- model_checker_solvers_wrong
- model_checker_targets_error
- no_cbor_metadata_with_metadata_hash
- optimizer_enabled_invalid_yul_optimizer_enabled_and_disabled
- standard_cli_output_selection_invalid
- standard_file_not_found
- standard_invalid_option_no_optimize_yul
- standard_invalid_option_optimize_runs
- standard_invalid_option_optimize_yul
- standard_invalid_option_optimize
- standard_invalid_option_yul_optimizations
- stop_after_parsing_abi
- strict_asm_debug_info_print_snippet_only
- strict_asm_invalid_option_output_dir
- strict_asm_optimizer_invalid_yul_optimizer_enabled_and_disabled
- strict_asm_options_in_non_asm_mode
- strict_asm_output_selection_invalid
- yul_optimizer_steps_disabled
- yul_optimizer_steps_invalid_abbreviation
- yul_optimizer_steps_nesting_too_deep
- yul_optimizer_steps_unbalanced_closing_bracket
- yul_optimizer_steps_unbalanced_opening_bracket
- ~unknown_options
- solc
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
52 files changed
+82
-62
lines changedLines changed: 1 addition & 0 deletions
Lines changed: 22 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
517 | 517 |
| |
518 | 518 |
| |
519 | 519 |
| |
520 |
| - | |
| 520 | + | |
521 | 521 |
| |
522 | 522 |
| |
523 | 523 |
| |
| |||
527 | 527 |
| |
528 | 528 |
| |
529 | 529 |
| |
530 |
| - | |
| 530 | + | |
531 | 531 |
| |
532 | 532 |
| |
533 | 533 |
| |
| |||
639 | 639 |
| |
640 | 640 |
| |
641 | 641 |
| |
642 |
| - | |
| 642 | + | |
643 | 643 |
| |
644 | 644 |
| |
645 | 645 |
| |
| |||
817 | 817 |
| |
818 | 818 |
| |
819 | 819 |
| |
820 |
| - | |
| 820 | + | |
821 | 821 |
| |
822 | 822 |
| |
823 | 823 |
| |
| |||
1020 | 1020 |
| |
1021 | 1021 |
| |
1022 | 1022 |
| |
1023 |
| - | |
| 1023 | + | |
| 1024 | + | |
| 1025 | + | |
| 1026 | + | |
1024 | 1027 |
| |
1025 | 1028 |
| |
1026 | 1029 |
| |
| |||
1136 | 1139 |
| |
1137 | 1140 |
| |
1138 | 1141 |
| |
1139 |
| - | |
| 1142 | + | |
1140 | 1143 |
| |
1141 | 1144 |
| |
1142 | 1145 |
| |
| |||
1150 | 1153 |
| |
1151 | 1154 |
| |
1152 | 1155 |
| |
1153 |
| - | |
| 1156 | + | |
1154 | 1157 |
| |
1155 | 1158 |
| |
1156 | 1159 |
| |
| |||
1220 | 1223 |
| |
1221 | 1224 |
| |
1222 | 1225 |
| |
| 1226 | + | |
| 1227 | + | |
| 1228 | + | |
| 1229 | + | |
| 1230 | + | |
| 1231 | + | |
| 1232 | + | |
| 1233 | + | |
| 1234 | + | |
| 1235 | + | |
| 1236 | + | |
| 1237 | + | |
1223 | 1238 |
|
Lines changed: 2 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
| 139 | + | |
| 140 | + | |
139 | 141 |
| |
140 | 142 |
| |
141 | 143 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
318 | 318 |
| |
319 | 319 |
| |
320 | 320 |
| |
321 |
| - | |
| 321 | + | |
322 | 322 |
| |
323 | 323 |
| |
324 |
| - | |
| 324 | + | |
325 | 325 |
| |
326 | 326 |
| |
327 |
| - | |
328 |
| - | |
| 327 | + | |
| 328 | + | |
329 | 329 |
| |
330 | 330 |
| |
331 | 331 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
0 commit comments