Skip to content

English documentation updates up to v0.8.33-86-g9dc6b2e58 (2026-02-16)#182

Open
github-actions[bot] wants to merge 285 commits intodevelopfrom
sync-v0.8.33-86-g9dc6b2e58
Open

English documentation updates up to v0.8.33-86-g9dc6b2e58 (2026-02-16)#182
github-actions[bot] wants to merge 285 commits intodevelopfrom
sync-v0.8.33-86-g9dc6b2e58

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-02-16 (commit 9dc6b2e5).

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:

nikola-matic and others added 30 commits October 8, 2025 08:48
testing: run yul optimizer tests on all code subobjects
Analyze the SSA CFG regarding which blocks are allowed to introduce junk slots
Use z3-solver python package instead of z3 binaries
Bump evmone version to `0.16.0` in CI
…cript-in-bash

Rewrite PowerShell CI build script in Bash
also resolve a whitespace issue in one test
JPier34 and others added 29 commits February 2, 2026 17:10
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
# 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/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/Instruction.cpp
#	libevmasm/Instruction.h
#	libevmasm/PeepholeOptimiser.cpp
#	libevmasm/SimplificationRule.h
#	liblangutil/EVMVersion.cpp
#	liblangutil/EVMVersion.h
#	libsolidity/analysis/ControlFlowBuilder.h
#	libsolidity/analysis/DocStringTagParser.cpp
#	libsolidity/analysis/PostTypeContractLevelChecker.cpp
#	libsolidity/analysis/SyntaxChecker.cpp
#	libsolidity/analysis/TypeChecker.cpp
#	libsolidity/ast/Types.cpp
#	libsolidity/codegen/ArrayUtils.cpp
#	libsolidity/codegen/ArrayUtils.h
#	libsolidity/codegen/CompilerContext.h
#	libsolidity/codegen/ExpressionCompiler.cpp
#	libsolidity/codegen/YulUtilFunctions.cpp
#	libsolidity/codegen/YulUtilFunctions.h
#	libsolidity/codegen/ir/IRGeneratorForStatements.cpp
#	libsolidity/experimental/analysis/Analysis.cpp
#	libsolidity/interface/ImportRemapper.h
#	libsolidity/interface/Natspec.h
#	libsolidity/interface/OptimiserSettings.h
#	libsolidity/parsing/Parser.cpp
#	libsolutil/Common.h
#	libsolutil/DisjointSet.cpp
#	libsolutil/DisjointSet.h
#	libsolutil/JSON.cpp
#	libsolutil/StringUtils.cpp
#	libsolutil/StringUtils.h
#	libyul/AsmAnalysis.cpp
#	libyul/CMakeLists.txt
#	libyul/YulStack.cpp
#	libyul/backends/evm/EVMDialect.cpp
#	libyul/backends/evm/StackLayoutGenerator.cpp
#	libyul/backends/evm/ssa/ControlFlow.cpp
#	libyul/backends/evm/ssa/ControlFlow.h
#	libyul/backends/evm/ssa/SSACFGBuilder.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
#	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/ci/post_style_errors_on_github.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/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/CommandLineParser.cpp
#	solc/CommandLineParser.h
#	test/CMakeLists.txt
#	test/Common.h
#	test/InteractiveTests.h
#	test/buglistTests.js
#	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_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_outputs_on_compilation_error/output.json
#	test/cmdlineTests/standard_outputs_on_parsing_error/output.json
#	test/cmdlineTests/standard_undeployable_contract_all_outputs/output.json
#	test/cmdlineTests/standard_yul_cfg_json_export/output.json
#	test/cmdlineTests/strict_asm_yul_cfg_json_export/output
#	test/cmdlineTests/viair_abicoder_v1/err
#	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/~bytecode_equivalence_with_unused_contracts/test.py
#	test/cmdlineTests/~deduplicator-verbatim-bug/test.sh
#	test/cmdlineTests/~name_dependent_cse_bug/test.sh
#	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/zeppelin.sh
#	test/formal/README.md
#	test/libevmasm/EVMAssemblyTest.cpp
#	test/libevmasm/EVMAssemblyTest.h
#	test/libsolidity/SemanticTest.cpp
#	test/libsolidity/SolidityEndToEndTest.cpp
#	test/libsolidity/SolidityOptimizer.cpp
#	test/libsolidity/StandardCompiler.cpp
#	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/externalContracts/FixedFeeRegistrar.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/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/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/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/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/libsolutil/DisjointSet.cpp
#	test/libyul/SSAControlFlowGraphTest.cpp
#	test/libyul/YulOptimizerTestCommon.cpp
#	test/libyul/yulOptimizerTests/expressionSimplifier/invalid_match.yul
#	test/libyul/yulOptimizerTests/fullSuite/aztec.yul
#	test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul
#	test/libyul/yulSSAControlFlowGraph/complex.yul
#	test/libyul/yulSSAControlFlowGraph/complex2.yul
#	test/libyul/yulSSAControlFlowGraph/default_initialized_variable.yul
#	test/libyul/yulSSAControlFlowGraph/function.yul
#	test/libyul/yulSSAControlFlowGraph/if.yul
#	test/libyul/yulSSAControlFlowGraph/if_const.yul
#	test/libyul/yulSSAControlFlowGraph/nested_for.yul
#	test/libyul/yulSSAControlFlowGraph/nested_function.yul
#	test/libyul/yulSSAControlFlowGraph/switch.yul
#	test/libyul/yulSSAControlFlowGraph/switch_const.yul
#	test/scripts/test_externalTests_benchmark_downloader.py
#	test/tools/CMakeLists.txt
#	test/tools/ossfuzz/StackReuseCodegenFuzzer.cpp
#	test/tools/ossfuzz/abiV2Proto.proto
#	test/tools/yulInterpreter/EVMInstructionInterpreter.cpp
#	test/tools/yulInterpreter/EVMInstructionInterpreter.h
#	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.