Skip to content

English documentation updates up to v0.8.35-pre.1-156-gafd0d2bad (2026-04-27) - #192

Open
github-actions[bot] wants to merge 505 commits into
developfrom
sync-v0.8.35-pre.1-156-gafd0d2bad
Open

English documentation updates up to v0.8.35-pre.1-156-gafd0d2bad (2026-04-27)#192
github-actions[bot] wants to merge 505 commits into
developfrom
sync-v0.8.35-pre.1-156-gafd0d2bad

Conversation

@github-actions

Copy link
Copy Markdown

This is an automatically-generated sync PR to bring this translation repository up to date with the state of the English documentation as of 2026-04-27 (commit afd0d2ba).

How to work on a sync PR

Resolve conflicts and translate newly added text

  • The PR includes all documentation changes from the main repository since the last time a sync PR was merged. If this translation repository is fully caught up with the English version, translate any newly added English text you see here by pushing more commits to the PR. However, if the translation is incomplete, you may prefer to leave the text added in this PR and add it to your translation checklist to handle at a later time.
  • Scan the PR for merge conflict markers. If there were changes in the English text that has already been translated, the PR will contain merge conflicts that need to be resolved:
    <<<<<<< HEAD
        El valor más grande representable por el tipo ``T``.
    =======
        The smallest value representable by type ``T``.
    >>>>>>> 800088e38b5835ebdc71e9ba5299a70a5accd7c2
    The top part of the conflict is the current translation (corresponding to the old English text), the bottom shows the new English text. To solve the conflict simply translate the new text, possibly reusing parts of the current translation. After doing so, do not forget to remove the conflict markers.
  • You may get conflicts also if there were structual changes that did not affect the meaning of the text and therefore do not require retranslation. For example when text is moved from one page to another, you will find matching conflicts in two places and the solution is to move the translation to the new spot. If only whitespace changed, it may even seem like there was no change at all but if there is a conflict, there is always a reason, however trivial it may be. Be careful, though, because there is a possibility that the text was both moved and modified.

Work on one sync PR at a time

  • Sync PRs are produced by the translation bot in regular intervals as long as there are changes in the English documentation. You will not lose any updates by closing this PR. The next sync PR will also include them. The latest sync PR will always include all changes that need to be done. If you haven't worked on any sync PR yet and there are several open sync PRs in your repo, choose the latest (newest) one to get started.
  • It is recommended to work only on one sync PR at a time. Close this PR if you are already working on a different one.
  • Once you merge this PR, the conflict resolutions and new commits you pushed to it are likely to cause conflicts with other open sync PRs. It is possible solve these conflicts if you are proficient with git and fully understand what changed in which PR, but for simplicity it is recommended to close all pending sync PRs and wait for a fresh one, which will no longer include the merged changes.

Do not squash merge or rebase this PR

Rebasing or squashing a sync PR erases the information about the commits that the changes originally came from, which will result in extra conflicts in the next sync PR.
If you do it by accident, don't worry - simply make sure to handle the next sync PR properly, which will restore the missing commits.

Review checklist

The following files were modified in this pull request. Please review them before merging the PR:

clonker and others added 30 commits February 2, 2026 17:09
Remove CCACHE_KEY from cache keys in CircleCI config
docs: fix import remapping precedence rules in path-resolution
…creation-only-evmasm-tests

Disallow non-default `expectedExecutionsPerDeployment` in evmasm tests when only a creation object is present
- homestead is useful on PRs while prague and petersburg did not introduce any changes in EVM behavior
- Rename the job and explain why we're doing it
…n-value

Remove unused return value from `clearStorageLoop()`
…nightly

Restore EVM version wrongly moved to nightly + adjust to run tests only on meaningfully different EVMs
They do not depend on the callbacks template at all.
Add stack shuffler for ssa cfg based codegen
Update resources.rst - Added link to Aderyn VS Code Extension
Fix `check_style.sh`. Replace `\s` to `[[:space:]]`
Replace the link to the archived remix-live repo with instructions to download Remix Desktop
Introduce DotExporterBase for SSA CFG dot export
rodiazet and others added 29 commits April 20, 2026 15:32
…r (#16563)

Fix O(n²) in VarNameCleaner::findCleanName using per-base-name counter

When many variables share the same stripped base name, findCleanName
would probe name_1, name_2, ..., name_N sequentially for each
variable, resulting in O(n²) calls to isUsedName (which involves
regex matching via isRestrictedIdentifier). This was the dominant
cost in fuzzer timeouts where the optimizer generated many variables.

Track a counter per base name (m_nextSuffix) so we resume from the
last assigned suffix instead of reprobing from 1 each time.
…factoring

Refactor `TypeChecker` visitor for `MemberAccess` expression.
- SpilledVariables class to track what was spilled
- target min counts / required in tail checks exclude spilled variables
SSA CFG populate spill set in target size heuristic
In this case, the shuffler is currently making too many swaps.
When trying to fix the args portion of the stack, before we grow the
stack, we are trying to locally improve by attempting to shuffle
current args to the right place.

We can add one more attempt: If everything else failed, we can try to
fix the top slot, even if it does not fix the slot from which we are
swapping to the top.

The test case `grow_and_shuffle.stack` demonstrates the improvement.
This change also improves the deposit contract.
…aphID

Calls now identify the callee by FunctionGraphID instead of by a
Scope::Function reference:
- SSACFGBuilder allocates the graph slot up front in registerFunctionDefinition
- ControlFlow drops functionGraphMapping and the functionGraph(Scope::Function const*) lookup
- CodeTransform's FunctionLabels are re-keyed by FunctionGraphID
- Dot and JSON exporters thread a ControlFlow reference so names can be resolved from the graph.
SSA CFG: remove Yul Scope::Function and Yul Scope::Variable
ssa cfg: remove FunctionCall yul AST pointers from (Builtin)Calls and drop ghost calls
…-actions

Move coding-style check to GitHub actions
…6-04-27)

# Conflicts:
#	.circleci/compare_bytecode_reports.sh
#	.circleci/config.yml
#	.circleci/osx_install_dependencies.sh
#	.circleci/parallel_bytecode_report.sh
#	.circleci/soltest_all.sh
#	.github/workflows/buildpack-deps.yml
#	.github/workflows/stale.yml
#	.github/workflows/welcome-external-pr.yml
#	.gitignore
#	CODING_STYLE.md
#	Changelog.md
#	README.md
#	ReleaseChecklist.md
#	SECURITY.md
#	cmake/EthDependencies.cmake
#	deps/fmtlib
#	deps/nlohmann-json
#	docs/050-breaking-changes.rst
#	docs/060-breaking-changes.rst
#	docs/070-breaking-changes.rst
#	docs/080-breaking-changes.rst
#	docs/assembly.rst
#	docs/bugs.rst
#	docs/cheatsheet.rst
#	docs/common-patterns.rst
#	docs/contracts/custom-storage-layout.rst
#	docs/contracts/functions.rst
#	docs/contracts/inheritance.rst
#	docs/contributing.rst
#	docs/control-structures.rst
#	docs/examples/blind-auction.rst
#	docs/examples/safe-remote.rst
#	docs/index.rst
#	docs/installing-solidity.rst
#	docs/internals/optimizer.rst
#	docs/layout-of-source-files.rst
#	docs/metadata.rst
#	docs/path-resolution.rst
#	docs/security-considerations.rst
#	docs/smtchecker.rst
#	docs/types/value-types.rst
#	docs/units-and-global-variables.rst
#	docs/using-the-compiler.rst
#	docs/yul.rst
#	libevmasm/AbstractAssemblyStack.h
#	libevmasm/Assembly.cpp
#	libevmasm/CommonSubexpressionEliminator.cpp
#	libevmasm/CommonSubexpressionEliminator.h
#	libevmasm/EVMAssemblyStack.cpp
#	libevmasm/EVMAssemblyStack.h
#	libevmasm/Ethdebug.cpp
#	libevmasm/Ethdebug.h
#	libevmasm/GasMeter.cpp
#	libevmasm/Instruction.cpp
#	libevmasm/Instruction.h
#	libevmasm/PeepholeOptimiser.cpp
#	libevmasm/SimplificationRule.h
#	liblangutil/EVMVersion.cpp
#	liblangutil/EVMVersion.h
#	libsolidity/analysis/ConstantEvaluator.cpp
#	libsolidity/analysis/ConstantEvaluator.h
#	libsolidity/analysis/ControlFlowBuilder.h
#	libsolidity/analysis/DeclarationTypeChecker.cpp
#	libsolidity/analysis/DocStringTagParser.cpp
#	libsolidity/analysis/GlobalContext.cpp
#	libsolidity/analysis/PostTypeContractLevelChecker.cpp
#	libsolidity/analysis/StaticAnalyzer.cpp
#	libsolidity/analysis/SyntaxChecker.cpp
#	libsolidity/analysis/SyntaxChecker.h
#	libsolidity/analysis/TypeChecker.cpp
#	libsolidity/analysis/TypeChecker.h
#	libsolidity/ast/ASTUtils.cpp
#	libsolidity/ast/ASTUtils.h
#	libsolidity/ast/Types.cpp
#	libsolidity/ast/Types.h
#	libsolidity/codegen/ArrayUtils.cpp
#	libsolidity/codegen/ArrayUtils.h
#	libsolidity/codegen/CompilerContext.cpp
#	libsolidity/codegen/CompilerContext.h
#	libsolidity/codegen/CompilerUtils.cpp
#	libsolidity/codegen/ContractCompiler.cpp
#	libsolidity/codegen/ExpressionCompiler.cpp
#	libsolidity/codegen/LValue.cpp
#	libsolidity/codegen/YulUtilFunctions.cpp
#	libsolidity/codegen/YulUtilFunctions.h
#	libsolidity/codegen/ir/IRGeneratorForStatements.cpp
#	libsolidity/experimental/analysis/Analysis.cpp
#	libsolidity/formal/SMTEncoder.cpp
#	libsolidity/interface/CompilerStack.cpp
#	libsolidity/interface/CompilerStack.h
#	libsolidity/interface/GasEstimator.cpp
#	libsolidity/interface/ImportRemapper.h
#	libsolidity/interface/Natspec.h
#	libsolidity/interface/OptimiserSettings.h
#	libsolidity/interface/StandardCompiler.cpp
#	libsolidity/interface/StandardCompiler.h
#	libsolidity/parsing/Parser.cpp
#	libsolutil/Assertions.h
#	libsolutil/Common.h
#	libsolutil/DisjointSet.cpp
#	libsolutil/DisjointSet.h
#	libsolutil/Exceptions.h
#	libsolutil/JSON.cpp
#	libsolutil/StringUtils.cpp
#	libsolutil/StringUtils.h
#	libyul/AsmAnalysis.cpp
#	libyul/CMakeLists.txt
#	libyul/ControlFlowSideEffectsCollector.cpp
#	libyul/ControlFlowSideEffectsCollector.h
#	libyul/FunctionReferenceResolver.h
#	libyul/Object.cpp
#	libyul/ObjectOptimizer.cpp
#	libyul/ObjectOptimizer.h
#	libyul/YulStack.cpp
#	libyul/YulStack.h
#	libyul/backends/evm/ControlFlowGraphBuilder.cpp
#	libyul/backends/evm/ControlFlowGraphBuilder.h
#	libyul/backends/evm/EVMCodeTransform.cpp
#	libyul/backends/evm/EVMDialect.cpp
#	libyul/backends/evm/EVMDialect.h
#	libyul/backends/evm/EVMObjectCompiler.cpp
#	libyul/backends/evm/EVMObjectCompiler.h
#	libyul/backends/evm/StackHelpers.h
#	libyul/backends/evm/StackLayoutGenerator.cpp
#	libyul/backends/evm/ssa/ControlFlowGraphs.cpp
#	libyul/backends/evm/ssa/SSACFGBuilder.h
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.h
#	libyul/backends/evm/ssa/io/JSONExporter.cpp
#	libyul/backends/evm/ssa/traversal/ForwardTopologicalSort.cpp
#	libyul/optimiser/ASTCopier.cpp
#	libyul/optimiser/ConditionalSimplifier.cpp
#	libyul/optimiser/StackLimitEvader.cpp
#	libyul/optimiser/VarNameCleaner.cpp
#	libyul/optimiser/VarNameCleaner.h
#	scripts/ASTImportTest.sh
#	scripts/Dockerfile
#	scripts/Dockerfile_alpine
#	scripts/build.sh
#	scripts/build_emscripten.sh
#	scripts/check_style.sh
#	scripts/ci/build.sh
#	scripts/ci/build_emscripten.sh
#	scripts/ci/build_ossfuzz.sh
#	scripts/ci/buildpack-deps_test_ubuntu2404.arm.sh
#	scripts/ci/docker_upgrade.sh
#	scripts/codespell_whitelist.txt
#	scripts/common.sh
#	scripts/common/rest_api_helpers.py
#	scripts/create_source_tarball.sh
#	scripts/docker/buildpack-deps/Dockerfile.emscripten
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu2404
#	scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.clang
#	scripts/docker_deploy_manual.sh
#	scripts/docs_version_pragma_check.sh
#	scripts/download_ossfuzz_corpus.sh
#	scripts/externalTests/common.sh
#	scripts/externalTests/download_benchmarks.py
#	scripts/externalTests/parse_eth_gas_report.py
#	scripts/externalTests/runners/base.py
#	scripts/gas_diff_stats.py
#	scripts/install_deps.ps1
#	scripts/install_evmone.ps1
#	scripts/run_proofs.sh
#	scripts/solc-bin/bytecode_reports_for_modified_binaries.sh
#	scripts/test_antlr_grammar.sh
#	scripts/tests.sh
#	scripts/wasm-rebuild/docker-scripts/isolate_tests.py
#	scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh
#	solc/CommandLineInterface.cpp
#	solc/CommandLineInterface.h
#	solc/CommandLineParser.cpp
#	solc/CommandLineParser.h
#	test/CMakeLists.txt
#	test/Common.h
#	test/EVMHost.cpp
#	test/InteractiveTests.h
#	test/TestCase.cpp
#	test/buglistTests.js
#	test/cmdlineTests.sh
#	test/cmdlineTests/asm_json_import_sourcelist_with_null_elements/args
#	test/cmdlineTests/asm_json_yul_export_evm_asm_import/args
#	test/cmdlineTests/ast_ir/args
#	test/cmdlineTests/ast_json_import_wrong_evmVersion/args
#	test/cmdlineTests/eof_unavailable_before_osaka/args
#	test/cmdlineTests/ethdebug_eof_container_osaka/args
#	test/cmdlineTests/ethdebug_eof_container_osaka/output
#	test/cmdlineTests/ethdebug_on_abstract/args
#	test/cmdlineTests/ethdebug_on_abstract/output
#	test/cmdlineTests/ethdebug_on_interface/args
#	test/cmdlineTests/ethdebug_on_interface/output
#	test/cmdlineTests/import_asm_json_all_valid_flags/args
#	test/cmdlineTests/import_asm_json_difficulty_prevrandao/args
#	test/cmdlineTests/import_asm_json_eof_unavailable_before_osaka/args
#	test/cmdlineTests/import_asm_json_hex_subassembly_indices/args
#	test/cmdlineTests/import_asm_json_invalid_data_not_hex/args
#	test/cmdlineTests/import_asm_json_invalid_data_not_object/args
#	test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/args
#	test/cmdlineTests/import_asm_json_invalid_value/args
#	test/cmdlineTests/import_asm_json_missing_subobject_indices/args
#	test/cmdlineTests/import_asm_json_no_optimize/args
#	test/cmdlineTests/import_asm_json_no_value/args
#	test/cmdlineTests/import_asm_json_non_unique_sources/args
#	test/cmdlineTests/import_asm_json_optimize/args
#	test/cmdlineTests/import_asm_json_out_of_range_data_index/args
#	test/cmdlineTests/import_asm_json_random_order_data_index/args
#	test/cmdlineTests/import_asm_json_unrecognized_field/args
#	test/cmdlineTests/import_asm_json_untagged_jumpdest/args
#	test/cmdlineTests/import_asm_json_verbatim/args
#	test/cmdlineTests/import_asm_json_yul_more_subobjects/args
#	test/cmdlineTests/import_asm_json_yul_subobjects/args
#	test/cmdlineTests/metadata/output
#	test/cmdlineTests/model_checker_targets_all_all_engines/err
#	test/cmdlineTests/model_checker_targets_all_bmc/err
#	test/cmdlineTests/model_checker_targets_all_chc/err
#	test/cmdlineTests/model_checker_targets_assert_bmc/err
#	test/cmdlineTests/model_checker_targets_assert_chc/err
#	test/cmdlineTests/model_checker_targets_assert_chc/input.sol
#	test/cmdlineTests/model_checker_targets_balance_bmc/err
#	test/cmdlineTests/model_checker_targets_balance_chc/err
#	test/cmdlineTests/model_checker_targets_constant_condition_bmc/err
#	test/cmdlineTests/model_checker_targets_constant_condition_chc/input.sol
#	test/cmdlineTests/model_checker_targets_default_all_engines/err
#	test/cmdlineTests/model_checker_targets_default_bmc/err
#	test/cmdlineTests/model_checker_targets_default_chc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_bmc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_chc/err
#	test/cmdlineTests/model_checker_targets_div_by_zero_chc/input.sol
#	test/cmdlineTests/model_checker_targets_error/input.sol
#	test/cmdlineTests/model_checker_targets_out_of_bounds_chc/err
#	test/cmdlineTests/model_checker_targets_out_of_bounds_chc/input.sol
#	test/cmdlineTests/model_checker_targets_overflow_bmc/err
#	test/cmdlineTests/model_checker_targets_overflow_chc/err
#	test/cmdlineTests/model_checker_targets_overflow_chc/input.sol
#	test/cmdlineTests/model_checker_targets_pop_empty_chc/err
#	test/cmdlineTests/model_checker_targets_pop_empty_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/input.sol
#	test/cmdlineTests/model_checker_targets_underflow_overflow_bmc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_chc/err
#	test/cmdlineTests/model_checker_targets_underflow_overflow_chc/input.sol
#	test/cmdlineTests/standard_cli_import_ast_storage_layout_specifier_missing_expression/args
#	test/cmdlineTests/standard_import_asm_json/input.json
#	test/cmdlineTests/standard_import_asm_json_immutable_references/input.json
#	test/cmdlineTests/standard_import_asm_json_invalid_opcode/input.json
#	test/cmdlineTests/standard_import_asm_json_link_references/input.json
#	test/cmdlineTests/standard_import_asm_json_no_optimize/input.json
#	test/cmdlineTests/standard_import_asm_json_no_optimize/output.json
#	test/cmdlineTests/standard_import_asm_json_no_output_selection/input.json
#	test/cmdlineTests/standard_import_asm_json_optimize/input.json
#	test/cmdlineTests/standard_import_asm_json_optimize/output.json
#	test/cmdlineTests/standard_import_ast/input.json
#	test/cmdlineTests/standard_import_ast_select_bytecode/input.json
#	test/cmdlineTests/standard_import_with_comments/input.json
#	test/cmdlineTests/standard_import_with_comments_simple/input.json
#	test/cmdlineTests/standard_irOptimized_ast_requested/input.json
#	test/cmdlineTests/standard_ir_ast_requested/input.json
#	test/cmdlineTests/standard_metadata/output.json
#	test/cmdlineTests/standard_model_checker_targets_assert_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_assert_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_assert_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_balance_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_balance_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_constantCondition_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_constantCondition_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_default_all_engines/output.json
#	test/cmdlineTests/standard_model_checker_targets_default_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_default_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_empty_array/input.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_overflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_bmc/output.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/input.json
#	test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/output.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_target_types/input.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_target_types_2/input.json
#	test/cmdlineTests/standard_model_checker_targets_wrong_targets/input.json
#	test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_metadata/output.json
#	test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_whitespaces_metadata/output.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible/input.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_incompatible/output.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/input.json
#	test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/output.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_bytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_iroptimized/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_optimize_ir/input.json
#	test/cmdlineTests/standard_output_selection_ethdebug_optimize_iroptimized/input.json
#	test/cmdlineTests/standard_outputs_on_compilation_error/output.json
#	test/cmdlineTests/standard_outputs_on_parsing_error/output.json
#	test/cmdlineTests/standard_undeployable_contract_all_outputs/input.json
#	test/cmdlineTests/standard_undeployable_contract_all_outputs/output.json
#	test/cmdlineTests/standard_yul_cfg_json_export/input.json
#	test/cmdlineTests/standard_yul_cfg_json_export/output.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output/input.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/input.json
#	test/cmdlineTests/standard_yul_debug_info_ethdebug_verbatim_unimplemented/input.json
#	test/cmdlineTests/standard_yul_ethdebug_assign_immutable/input.json
#	test/cmdlineTests/standard_yul_ethdebug_assign_immutable/output.json
#	test/cmdlineTests/standard_yul_ethdebug_bytecode_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_bytecode_iroptimized/input.json
#	test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode/input.json
#	test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode_and_bytecode/input.json
#	test/cmdlineTests/standard_yul_ethdebug_eof/input.json
#	test/cmdlineTests/standard_yul_ethdebug_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_iroptimize/input.json
#	test/cmdlineTests/standard_yul_ethdebug_optimize_ir/input.json
#	test/cmdlineTests/standard_yul_ethdebug_optimize_iroptimized/input.json
#	test/cmdlineTests/standard_yul_ethdebug_resources/args
#	test/cmdlineTests/standard_yul_ethdebug_resources/in.yul
#	test/cmdlineTests/strict_asm_eof_container_osaka/args
#	test/cmdlineTests/strict_asm_eof_dataloadn_osaka/args
#	test/cmdlineTests/strict_asm_eof_unavailable_before_osaka/args
#	test/cmdlineTests/strict_asm_yul_cfg_json_export/args
#	test/cmdlineTests/strict_asm_yul_cfg_json_export/output
#	test/cmdlineTests/undeployable_contract_empty_outputs/args
#	test/cmdlineTests/viair_abicoder_v1/err
#	test/cmdlineTests/yul_cfg_json_export/args
#	test/cmdlineTests/yul_cfg_json_export/output
#	test/cmdlineTests/yul_optimizer_disabled_sequence_empty/output
#	test/cmdlineTests/yul_optimizer_steps_invalid_substitution_in_expression_simplifier/input.sol
#	test/cmdlineTests/yul_optimizer_steps_without_optimize_empty_sequence/output
#	test/cmdlineTests/~assembler_modes/test.sh
#	test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py
#	test/cmdlineTests/~deduplicator-verbatim-bug/test.sh
#	test/cmdlineTests/~name_dependent_cse_bug/test.sh
#	test/ethdebugSchemaTests/input_file.json
#	test/ethdebugSchemaTests/input_file_eof.json
#	test/evmc/README.md
#	test/evmc/evmc.h
#	test/externalTests/euler.sh
#	test/externalTests/gp2.sh
#	test/externalTests/pool-together.sh
#	test/externalTests/prb-math.py
#	test/externalTests/yield-liquidator.sh
#	test/externalTests/zeppelin.sh
#	test/formal/README.md
#	test/libevmasm/EVMAssemblyTest.cpp
#	test/libevmasm/EVMAssemblyTest.h
#	test/libevmasm/Optimiser.cpp
#	test/libsolidity/Assembly.cpp
#	test/libsolidity/FunctionDependencyGraphTest.cpp
#	test/libsolidity/FunctionDependencyGraphTest.h
#	test/libsolidity/InlineAssembly.cpp
#	test/libsolidity/Metadata.cpp
#	test/libsolidity/SemanticTest.cpp
#	test/libsolidity/SemanticTest.h
#	test/libsolidity/SolidityEndToEndTest.cpp
#	test/libsolidity/SolidityExecutionFramework.cpp
#	test/libsolidity/SolidityExecutionFramework.h
#	test/libsolidity/SolidityExpressionCompiler.cpp
#	test/libsolidity/SolidityOptimizer.cpp
#	test/libsolidity/StandardCompiler.cpp
#	test/libsolidity/SyntaxTest.cpp
#	test/libsolidity/SyntaxTest.h
#	test/libsolidity/semanticTests/abiEncodeDecode/abi_decode_simple_storage.sol
#	test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol
#	test/libsolidity/semanticTests/abiEncoderV1/struct/struct_storage_ptr.sol
#	test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_modifier_used_in_v1_contract.sol
#	test/libsolidity/semanticTests/abiEncoderV2/calldata_array.sol
#	test/libsolidity/semanticTests/abiEncoderV2/calldata_overlapped_dynamic_arrays.sol
#	test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol
#	test/libsolidity/semanticTests/array/array_storage_length_access.sol
#	test/libsolidity/semanticTests/array/array_storage_push_empty_length_address.sol
#	test/libsolidity/semanticTests/array/array_storage_push_pop.sol
#	test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol
#	test/libsolidity/semanticTests/array/byte_array_storage_layout.sol
#	test/libsolidity/semanticTests/array/bytes_length_member.sol
#	test/libsolidity/semanticTests/array/constant_var_as_array_length.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dyn_dyn.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol
#	test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol
#	test/libsolidity/semanticTests/array/copying/array_elements_to_mapping.sol
#	test/libsolidity/semanticTests/array/copying/array_nested_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_nested_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic.sol
#	test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic_different_mutability.sol
#	test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/array_to_mapping.sol
#	test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol
#	test/libsolidity/semanticTests/array/copying/bytes_storage_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/calldata_1d_array_into_2d_memory_array_element.sol
#	test/libsolidity/semanticTests/array/copying/calldata_array_dynamic_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.sol
#	test/libsolidity/semanticTests/array/copying/copy_byte_array_in_struct_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_byte_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_function_internal_storage_array.sol
#	test/libsolidity/semanticTests/array/copying/copy_internal_function_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/copy_removes_bytes_data.sol
#	test/libsolidity/semanticTests/array/copying/copying_bytes_multiassign.sol
#	test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/function_type_array_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/memory_dyn_2d_bytes_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_element_storage_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_of_structs_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_array_of_structs_memory_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol
#	test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol
#	test/libsolidity/semanticTests/array/delete/bytes_delete_element.sol
#	test/libsolidity/semanticTests/array/delete/delete_bytes_array.sol
#	test/libsolidity/semanticTests/array/delete/delete_storage_array_packed.sol
#	test/libsolidity/semanticTests/array/dynamic_array_cleanup.sol
#	test/libsolidity/semanticTests/array/fixed_array_cleanup.sol
#	test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol
#	test/libsolidity/semanticTests/array/nested_calldata_storage2.sol
#	test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol
#	test/libsolidity/semanticTests/array/pop/byte_array_pop_copy_long.sol
#	test/libsolidity/semanticTests/array/push/array_push_nested_from_calldata.sol
#	test/libsolidity/semanticTests/array/push/array_push_packed_array.sol
#	test/libsolidity/semanticTests/array/push/array_push_struct.sol
#	test/libsolidity/semanticTests/array/push/nested_bytes_push.sol
#	test/libsolidity/semanticTests/array/push/push_no_args_2d.sol
#	test/libsolidity/semanticTests/calldata/copy_from_calldata_removes_bytes_data.sol
#	test/libsolidity/semanticTests/cleanup/byte_array_to_storage_cleanup.sol
#	test/libsolidity/semanticTests/cleanup/indexed_log_topic_during_explicit_downcast_during_emissions.sol
#	test/libsolidity/semanticTests/constants/asm_address_constant_regression.sol
#	test/libsolidity/semanticTests/constructor/arrays_in_constructors.sol
#	test/libsolidity/semanticTests/constructor/bytes_in_constructors_packer.sol
#	test/libsolidity/semanticTests/constructor/bytes_in_constructors_unpacker.sol
#	test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol
#	test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol
#	test/libsolidity/semanticTests/events/event_indexed_mixed.sol
#	test/libsolidity/semanticTests/events/event_signature_in_library.sol
#	test/libsolidity/semanticTests/experimental/stub.sol
#	test/libsolidity/semanticTests/experimental/type_class.sol
#	test/libsolidity/semanticTests/externalContracts/FixedFeeRegistrar.sol
#	test/libsolidity/semanticTests/externalContracts/base64.sol
#	test/libsolidity/semanticTests/externalContracts/deposit_contract.sol
#	test/libsolidity/semanticTests/externalContracts/prbmath_signed.sol
#	test/libsolidity/semanticTests/externalContracts/prbmath_unsigned.sol
#	test/libsolidity/semanticTests/externalContracts/ramanujan_pi.sol
#	test/libsolidity/semanticTests/externalContracts/snark.sol
#	test/libsolidity/semanticTests/externalContracts/strings.sol
#	test/libsolidity/semanticTests/fallback/call_forward_bytes.sol
#	test/libsolidity/semanticTests/functionCall/send_zero_ether.sol
#	test/libsolidity/semanticTests/functionTypes/store_function.sol
#	test/libsolidity/semanticTests/inheritance/address_overload_resolution.sol
#	test/libsolidity/semanticTests/inheritance/inherited_function_calldata_calldata_interface.sol
#	test/libsolidity/semanticTests/inheritance/inherited_function_calldata_memory_interface.sol
#	test/libsolidity/semanticTests/inheritance/interface_inheritance_conversions.sol
#	test/libsolidity/semanticTests/inlineAssembly/keccak_yul_optimization.sol
#	test/libsolidity/semanticTests/libraries/using_library_structs.sol
#	test/libsolidity/semanticTests/operators/userDefined/operator_making_pure_external_call.sol
#	test/libsolidity/semanticTests/operators/userDefined/operator_making_view_external_call.sol
#	test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol
#	test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_dynamic_array.sol
#	test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_from_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_from_storage.sol
#	test/libsolidity/semanticTests/structs/copy_struct_array_from_storage.sol
#	test/libsolidity/semanticTests/structs/copy_substructures_from_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_substructures_to_mapping.sol
#	test/libsolidity/semanticTests/structs/copy_to_mapping.sol
#	test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_nested_small.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_with_array.sol
#	test/libsolidity/semanticTests/structs/struct_delete_storage_with_arrays_small.sol
#	test/libsolidity/semanticTests/types/mapping/copy_from_mapping_to_mapping.sol
#	test/libsolidity/semanticTests/userDefinedValueType/calldata.sol
#	test/libsolidity/semanticTests/userDefinedValueType/calldata_to_storage.sol
#	test/libsolidity/semanticTests/userDefinedValueType/erc20.sol
#	test/libsolidity/semanticTests/userDefinedValueType/memory_to_storage.sol
#	test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_elementary.sol
#	test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_userdefined.sol
#	test/libsolidity/semanticTests/various/address_code.sol
#	test/libsolidity/semanticTests/various/codebalance_assembly.sol
#	test/libsolidity/semanticTests/various/contract_binary_dependencies.sol
#	test/libsolidity/semanticTests/various/create_calldata.sol
#	test/libsolidity/semanticTests/various/destructuring_assignment.sol
#	test/libsolidity/semanticTests/various/erc20.sol
#	test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/balance_spend.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/balance_spend_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/decreasing_balance.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/free_function_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/library_internal_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/library_public_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_1.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_2.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_3.sol
#	test/libsolidity/smtCheckerTests/blockchain_state/transfer_4.sol
#	test/libsolidity/smtCheckerTests/bmc_coverage/funds.sol
#	test/libsolidity/smtCheckerTests/deployment/deploy_trusted_addresses.sol
#	test/libsolidity/smtCheckerTests/deployment/deploy_untrusted_addresses.sol
#	test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_2.sol
#	test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_5.sol
#	test/libsolidity/smtCheckerTests/functions/functions_external_2.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_1.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_2.sol
#	test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_3.sol
#	test/libsolidity/smtCheckerTests/functions/getters/contract.sol
#	test/libsolidity/smtCheckerTests/functions/getters/struct_4.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_abstract.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_1.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_2.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_3.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_4.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_1.sol
#	test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_2.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_2.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_3.sol
#	test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol
#	test/libsolidity/smtCheckerTests/types/contract.sol
#	test/libsolidity/smtCheckerTests/types/contract_2.sol
#	test/libsolidity/smtCheckerTests/types/contract_3.sol
#	test/libsolidity/smtCheckerTests/types/contract_address_conversion_2.sol
#	test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol
#	test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol
#	test/libsolidity/syntaxTests/abiEncoder/select_v1.sol
#	test/libsolidity/syntaxTests/abiEncoder/select_v1_quoted_string.sol
#	test/libsolidity/syntaxTests/abiEncoder/selected_twice.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v1_type.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v2_type.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v1_library_function_accepting_storage_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_constructor_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_accepting_struct_via_named_argument.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_pointer_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_dynamic_string_array.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct_with_dynamic_array.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_event_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_attached_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_accepting_storage_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_constructor_with_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_calling_v2_function.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_event.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_accepting_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_returning_struct.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_emitting_v2_event.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_modifier_overriding_v2_modifier.sol
#	test/libsolidity/syntaxTests/abiEncoder/v1_v2_v1_modifier_mix.sol
#	test/libsolidity/syntaxTests/abiEncoder/v2_v1_v1_modifier_sandwich.sol
#	test/libsolidity/syntaxTests/abiEncoder/v2_v1_v2_modifier_sandwich.sol
#	test/libsolidity/syntaxTests/array/calldata_multi_dynamic_V1.sol
#	test/libsolidity/syntaxTests/array/concat/bytes_concat_valid_type_literal.sol
#	test/libsolidity/syntaxTests/array/concat/bytes_concat_wrong_type_empty_string_literal.sol
#	test/libsolidity/syntaxTests/array/copy_from_function_type.sol
#	test/libsolidity/syntaxTests/constants/initialization/abi_encoding_builtin_const_args.sol
#	test/libsolidity/syntaxTests/constants/initialization/addmod_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/addmod_mulmod_rational_arg.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_1.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_2.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_3.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_4.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_5.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file_and_library.sol
#	test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_library.sol
#	test/libsolidity/syntaxTests/constants/initialization/division_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/function_pointer_call.sol
#	test/libsolidity/syntaxTests/constants/initialization/modulo_by_zero.sol
#	test/libsolidity/syntaxTests/constants/initialization/mulmod_by_zero.sol
#	test/libsolidity/syntaxTests/constructor/nonabiv2_type.sol
#	test/libsolidity/syntaxTests/constructor/nonabiv2_type_abstract.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/implemented_without_placeholder.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_different_functions.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_override.sol
#	test/libsolidity/syntaxTests/controlFlow/modifiers/non_implemented_modifier.sol
#	test/libsolidity/syntaxTests/conversion/implicit_conversion_of_super_in_comparison.sol
#	test/libsolidity/syntaxTests/errors/no_structs_in_abiv1.sol
#	test/libsolidity/syntaxTests/events/event_nested_array.sol
#	test/libsolidity/syntaxTests/events/event_nested_array_in_struct.sol
#	test/libsolidity/syntaxTests/events/event_struct.sol
#	test/libsolidity/syntaxTests/events/event_struct_indexed.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_duplicate.sol
#	test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_unknown.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_function.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_quantified_function.sol
#	test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_type_class.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_multisource_not_all_enable.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_1.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_2.sol
#	test/libsolidity/syntaxTests/experimental/import/experimental_solidity_wrong_evm_version.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_1.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_2.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_3.sol
#	test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_4.sol
#	test/libsolidity/syntaxTests/experimental/inference/import_and_call_stdlib_function.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_invalid_type_constructor.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_member_type_does_not_match_declaration.sol
#	test/libsolidity/syntaxTests/experimental/inference/instantiation_not_for_class.sol
#	test/libsolidity/syntaxTests/experimental/inference/invalid_type_referenced.sol
#	test/libsolidity/syntaxTests/experimental/inference/monomorphic_function_call_type_mismatch.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_let_polymorphism.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_type_mismatch.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_abs_and_rep.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_instantiation_and_operators.sol
#	test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameter_and_return.sol
#	test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameters.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_no_type_var.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_with_sorts.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_type_class.sol
#	test/libsolidity/syntaxTests/experimental/parsing/forall_type_class_instantiation.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_constructor.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_fallback.sol
#	test/libsolidity/syntaxTests/freeFunctions/free_receive.sol
#	test/libsolidity/syntaxTests/getter/nested_structs.sol
#	test/libsolidity/syntaxTests/immutable/inheritance_virtual_modifiers.sol
#	test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_1.sol
#	test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_2.sol
#	test/libsolidity/syntaxTests/inheritance/dataLocation/modifier_parameter_data_location_change_illegal_internal.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous_fail.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature.sol
#	test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature_override.sol
#	test/libsolidity/syntaxTests/inheritance/override/nonintermediate_common_base_and_unique_implementation_modifier.sol
#	test/libsolidity/syntaxTests/inheritance/virtual/modifier_virtual_err.sol
#	test/libsolidity/syntaxTests/inheritance/virtual/simple.sol
#	test/libsolidity/syntaxTests/inlineAssembly/memory_safe_dialect_string_and_comment.sol
#	test/libsolidity/syntaxTests/inlineAssembly/natspec_multi.sol
#	test/libsolidity/syntaxTests/inlineAssembly/natspec_multi_swallowed.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_contract.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_contract_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_interface.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_library.sol
#	test/libsolidity/syntaxTests/modifiers/definition_in_library_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/empty_modifier_body.sol
#	test/libsolidity/syntaxTests/modifiers/empty_modifier_err.sol
#	test/libsolidity/syntaxTests/modifiers/legal_modifier_override.sol
#	test/libsolidity/syntaxTests/modifiers/modifier_abstract_override.sol
#	test/libsolidity/syntaxTests/modifiers/multiple_inheritance_unimplemented_override.sol
#	test/libsolidity/syntaxTests/modifiers/unimplemented_function_and_modifier.sol
#	test/libsolidity/syntaxTests/modifiers/unimplemented_override_unimplemented.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_from_base.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_on_overridden_func.sol
#	test/libsolidity/syntaxTests/modifiers/use_unimplemented_static.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/045_returning_multi_dimensional_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/046_returning_multi_dimensional_static_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/048_returning_arrays_in_structs_arrays.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/346_unused_return_value_send.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/405_address_checksum_type_deduction.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/413_address_methods.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/466_does_not_error_transfer_payable_fallback.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/535_address_overload_resolution.sol
#	test/libsolidity/syntaxTests/nameAndTypeResolution/585_abi_decode_with_unsupported_types.sol
#	test/libsolidity/syntaxTests/parsing/unexpected.sol
#	test/libsolidity/syntaxTests/pragma/experimental_pragma_duplicate.sol
#	test/libsolidity/syntaxTests/pragma/experimental_test_warning.sol
#	test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large_abiencoder_v1.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encodePacked_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encode_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abi_encode_structs.sol
#	test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_nested_dynamic_array.sol
#	test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_struct.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/abi_decode.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/address.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/array_literal.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/bitwise_negation_after_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/boolean.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_its_negation.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_zero.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_from_base_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/enum.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/function_defined_in_other_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/function_selector.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_address.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_bytes.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_constant_in_expression.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_bytes_concat.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_function_empty_call_options.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_interface_id.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_kecak256.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_module.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_other_contract.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_type.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/literal_cast.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/precompiles.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/rational_number_without_fractional_part.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/string.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/ternary_operator.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/tuple.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/type_uint_max.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_unwrap.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_wrap.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_array_literal.sol
#	test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_bytes.sol
#	test/libsolidity/syntaxTests/structs/recursion/recursive_struct_nested_mapping_memory.sol
#	test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol
#	test/libsolidity/syntaxTests/viewPureChecker/builtin_functions_view_fail.sol
#	test/libsolidity/syntaxTests/viewPureChecker/eof/builtin_functions.sol
#	test/libsolidity/util/TestFileParser.cpp
#	test/libsolutil/DisjointSet.cpp
#	test/libyul/Common.cpp
#	test/libyul/EVMCodeTransformTest.cpp
#	test/libyul/ObjectParser.cpp
#	test/libyul/YulOptimizerTestCommon.cpp
#	test/libyul/ssa/ControlFlowGraphTest.cpp
#	test/libyul/ssa/ControlFlowGraphTest.h
#	test/libyul/ssa/controlFlowGraph/complex.yul
#	test/libyul/ssa/controlFlowGraph/complex2.yul
#	test/libyul/ssa/controlFlowGraph/default_initialized_variable.yul
#	test/libyul/ssa/controlFlowGraph/function.yul
#	test/libyul/ssa/controlFlowGraph/if.yul
#	test/libyul/ssa/controlFlowGraph/if_const.yul
#	test/libyul/ssa/controlFlowGraph/nested_for.yul
#	test/libyul/ssa/controlFlowGraph/switch.yul
#	test/libyul/ssa/controlFlowGraph/switch_const.yul
#	test/libyul/yulOptimizerTests/expressionSimplifier/invalid_match.yul
#	test/libyul/yulOptimizerTests/fullSuite/aztec.yul
#	test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul
#	test/lsp.py
#	test/scripts/test_externalTests_benchmark_downloader.py
#	test/scripts/test_gas_diff_stats.py
#	test/solc/CommandLineInterface.cpp
#	test/solc/CommandLineParser.cpp
#	test/tools/CMakeLists.txt
#	test/tools/ossfuzz/StackReuseCodegenFuzzer.cpp
#	test/tools/ossfuzz/YulEvmoneInterface.h
#	test/tools/ossfuzz/abiV2Proto.proto
#	test/tools/ossfuzz/strictasm_assembly_ossfuzz.cpp
#	test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp
#	test/tools/ossfuzz/strictasm_opt_ossfuzz.cpp
#	test/tools/ossfuzz/yulProtoFuzzer.cpp
#	test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp
#	test/tools/yulInterpreter/EVMInstructionInterpreter.cpp
#	test/tools/yulInterpreter/EVMInstructionInterpreter.h
#	test/tools/yulrun.cpp
#	tools/yulPhaser/README.md
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.