Skip to content

English documentation updates up to v0.8.33-35-g81070d398 (2026-02-02)#180

Open
github-actions[bot] wants to merge 234 commits intodevelopfrom
sync-v0.8.33-35-g81070d398
Open

English documentation updates up to v0.8.33-35-g81070d398 (2026-02-02)#180
github-actions[bot] wants to merge 234 commits intodevelopfrom
sync-v0.8.33-35-g81070d398

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Feb 2, 2026

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-02 (commit 81070d39).

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 August 28, 2025 15:11
Update links to github org as argotorg and ipsilon where appropriate
…missions

Update permissions for welcome-external-pr bot commenting
Pin actions-comment-pull-request action to specific commit and update to the latest version
re-enable full prb-math preset matrix
Nightly foundry for prb math and docs build dependencies`
dockerfiles: bump emscripten to v21 containing boost 1.83.0
…windows builds and of GCC and Clang to 13.3 and 18.1.3, respectively.

Fixes infinite recursion on `boost::rational` comparison affecting compiler binaries built with GCC<14.0 and Boost<1.75.
Bump boost, gcc, clang for non-windows builds and add CI job with these versions
Move ssa pipeline things into own subdirectory
If a variable is referenced downstream, a counter gets incremented. If it gets used different amount of times in different branches, we take the max of these. The number reflects how many times a value is going to be used downstream _at most_.
r0qs and others added 29 commits December 22, 2025 11:26
Fix external tests for hardhat-gas-reporter v2 compatibility
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
ci:  Replace `t_ubu_soltest_all` with `t_ubu_soltest`
Add Slippy to the list of Solidity tools
Remove unused errs assignment in jsonParseStrict success path
…i_parser

CLI Parser: Use defaulted comparison operators for options
…d ahead of time and only merged after release
…-update

Post-0.8.33 release checklist update
Replace `transfer` (deprecated) occurrences with `call` in smt tests
…idity

Mention unofficial Nix builds in Installing Solidity
…s-from-default-sequence

Remove redundant prerequisite steps from the default optimizer sequence
…utable

Theoretically, loadimmutable inserts a placeholder into the contract to be deployed which is then replaced by setimmutable once the runtime code is loaded into memory.

The interpreter is mainly used for differential fuzzing so we should satisfy that correct code never fails and we can still detect bugs otherwise, most of the time.

Therefore loadimmutable is decoupled from setimmutable and just returns a random value (hash of the identifier), setimmutable is treated as a no-op.
…iss_immutables

EVM instruction interpreter: Add loadimmutable and setimmutable mocks, improve linkersymbol
perf: opt SimplePeepholeOptimizerMethod
# 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/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/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/DisjointSet.cpp
#	libsolutil/DisjointSet.h
#	libsolutil/JSON.cpp
#	libyul/AsmAnalysis.cpp
#	libyul/CMakeLists.txt
#	libyul/YulStack.cpp
#	libyul/backends/evm/EVMDialect.cpp
#	libyul/backends/evm/ssa/ControlFlow.cpp
#	libyul/backends/evm/ssa/ControlFlow.h
#	libyul/backends/evm/ssa/SSACFG.cpp
#	libyul/backends/evm/ssa/SSACFG.h
#	libyul/backends/evm/ssa/SSACFGBuilder.cpp
#	libyul/backends/evm/ssa/SSACFGBuilder.h
#	libyul/backends/evm/ssa/SSACFGJsonExporter.cpp
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp
#	libyul/backends/evm/ssa/SSACFGLoopNestingForest.h
#	libyul/backends/evm/ssa/SSACFGTopologicalSort.cpp
#	libyul/backends/evm/ssa/SSACFGTopologicalSort.h
#	scripts/Dockerfile
#	scripts/Dockerfile_alpine
#	scripts/build.sh
#	scripts/build_emscripten.sh
#	scripts/ci/build.sh
#	scripts/ci/build_emscripten.sh
#	scripts/ci/buildpack-deps_test_ubuntu2404.arm.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_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/Common.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/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/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.