English documentation updates up to v0.8.35-131-g2dfc9a434 (2026-06-15) by github-actions[bot] · Pull Request #200 · solidity-docs/ja-japanese

github-actions · 2026-06-15T06:06:30Z

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-06-15 (commit 2dfc9a43).

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:

…l-contracts Tests: Run SSA-CFG on external contracts in semantic tests

Arch Linux boost 1.90.0 moved static libraries from the `boost` package to `boost-libs` and dropped the dependency between them

CI: Add explicit boost-libs to Arch Linux build dependencies

When shuffling we can check if the stack would require shrinking at some point in the future and if that is the case, we can try to shrink it immediately. We can check if shrinking will be required in the following way: For each non-junk element we know what is it's minimal count in the target stack. If the current count of an element is lower then the minimal count, we have a "deficit" for this element. We will need more of it so it will require that the stack will grow. If the total deficit is larger than the space we have available (target size - current size), we are sure the stack will require shrinking at some point.

SSA: Shrink stack preemptively in shuffler

It seems that we do not need to dup slots we will need in advance. We can first swap them into tail, and only dup them later when we have more information.

SSA: Do not dup prematurely in shuffler

Improve performance of solThrow

Previously we would only update the stack size if the cost associated with that size would strictly improve over the previously found cost. However, if the cost is the same, but we have smaller size, we should prefer the smaller size. This in general keeps the stack smaller during the whole stack layout generation and avoids some of stack-too-deep situations.

…er-stacks SSA: Prefer smaller stacks when searching for best stack size

…ulti-entry blocks

SSACFG: Add run gas-accumulating callback implementation and add EVMDialect to SSACFG

…ficiency In SSA stack layout generation, improve multi-entry stack-in selection

…eeded

…lock successor proposals per-edge

Refactor SSA Stack layout to have an exit stack in

SSA unify jumpi handling

Co-authored-by: Heath Dutton <heathdutton@gmail.com>

Test: Enable SSA-CFG by default for all semantic tests

Remove pnmp pin in edr external test and bump rust image

…illing

Dual to `dupDeepSlotIfRequired`: A deep, still-incorrect target slot whose wanted value is not on the stack at all. A push/dup grows the stack, pushing that slot one deeper. So if the deepest incorrect args slot would be pushed out of reach by growing, shrink first to keep it reachable.

…ng what to swap into a specific offset

…ocks

SSA CFG: stack to memory spilling

…bles

…ducer SSA CFG: Spill set resolves producer for projection instructions

Store `ASTNode::id` as `int64_t` instead of `size_t`

Remove EOF: libevmasm

Remove EOF: Testing infrastructure

When CFG is requested to return an Const instruction for a literal, we need to know whether the literal was deduplicated, or if a new instruction has been allocated. In the latter case, we need to insert the instruction into the entry block. Previously, this was relying on checking the number of instructions in the instruction store, but this would give incorrect information in case a new instruction was allocated, but it took place of some tombstoned instruction.

SSA-CFG: Propagate information about deduplication of literals

…ion in LinkerObject.

Remove EOF: Replace code sections with one section in `Assembly` `and LinkerObject`.

# 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 # .gitmodules # 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/introduction-to-smart-contracts.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/Assembly.h # libevmasm/AssemblyItem.cpp # libevmasm/AssemblyItem.h # libevmasm/BlockDeduplicator.cpp # libevmasm/CommonSubexpressionEliminator.cpp # libevmasm/CommonSubexpressionEliminator.h # libevmasm/ConstantOptimiser.cpp # libevmasm/EVMAssemblyStack.cpp # libevmasm/EVMAssemblyStack.h # libevmasm/Ethdebug.cpp # libevmasm/Ethdebug.h # libevmasm/EthdebugSchema.cpp # libevmasm/EthdebugSchema.h # libevmasm/GasMeter.cpp # libevmasm/Instruction.cpp # libevmasm/Instruction.h # libevmasm/JumpdestRemover.cpp # libevmasm/LinkerObject.h # libevmasm/PeepholeOptimiser.cpp # libevmasm/SemanticInformation.cpp # libevmasm/SimplificationRule.h # liblangutil/EVMVersion.cpp # liblangutil/EVMVersion.h # liblangutil/Token.cpp # liblangutil/Token.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/NameAndTypeResolver.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/AST.cpp # libsolidity/ast/AST.h # libsolidity/ast/ASTJsonExporter.cpp # libsolidity/ast/ASTJsonImporter.cpp # libsolidity/ast/ASTJsonImporter.h # libsolidity/ast/ASTUtils.cpp # libsolidity/ast/ASTUtils.h # libsolidity/ast/Types.cpp # libsolidity/ast/Types.h # libsolidity/codegen/ABIFunctions.h # libsolidity/codegen/ArrayUtils.cpp # libsolidity/codegen/ArrayUtils.h # libsolidity/codegen/Compiler.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/IRGenerationContext.cpp # libsolidity/codegen/ir/IRGenerationContext.h # libsolidity/codegen/ir/IRGenerator.cpp # libsolidity/codegen/ir/IRGenerator.h # libsolidity/codegen/ir/IRGeneratorForStatements.cpp # libsolidity/experimental/analysis/Analysis.cpp # libsolidity/experimental/codegen/IRGenerator.cpp # libsolidity/experimental/codegen/IRGenerator.h # 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 # libsolidity/parsing/Parser.h # libsolutil/Assertions.h # libsolutil/Common.h # libsolutil/DisjointSet.cpp # libsolutil/DisjointSet.h # libsolutil/Exceptions.h # libsolutil/JSON.cpp # libsolutil/StringUtils.cpp # libsolutil/StringUtils.h # libsolutil/Whiskers.cpp # libsolutil/picosha2.h # libyul/AsmAnalysis.cpp # libyul/AsmAnalysis.h # 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/AbstractAssembly.h # libyul/backends/evm/AsmCodeGen.cpp # libyul/backends/evm/AsmCodeGen.h # libyul/backends/evm/ControlFlowGraphBuilder.cpp # libyul/backends/evm/ControlFlowGraphBuilder.h # libyul/backends/evm/EVMBuiltins.cpp # libyul/backends/evm/EVMBuiltins.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/EthAssemblyAdapter.cpp # libyul/backends/evm/EthAssemblyAdapter.h # libyul/backends/evm/NoOutputAssembly.cpp # libyul/backends/evm/NoOutputAssembly.h # libyul/backends/evm/OptimizedEVMCodeTransform.cpp # libyul/backends/evm/OptimizedEVMCodeTransform.h # libyul/backends/evm/StackHelpers.h # libyul/backends/evm/StackLayoutGenerator.cpp # libyul/backends/evm/StackLayoutGenerator.h # libyul/backends/evm/ssa/ControlFlowGraphs.cpp # libyul/backends/evm/ssa/LivenessAnalysis.h # libyul/backends/evm/ssa/SSACFGBuilder.h # libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp # libyul/backends/evm/ssa/SSACFGLoopNestingForest.h # libyul/backends/evm/ssa/traversal/ForwardTopologicalSort.cpp # libyul/optimiser/ASTCopier.cpp # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/OptimizerUtilities.cpp # libyul/optimiser/StackCompressor.cpp # libyul/optimiser/StackLimitEvader.cpp # libyul/optimiser/Suite.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/splitSources.py # 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.cpp # test/Common.h # test/EVMHost.cpp # test/ExecutionFramework.cpp # test/InteractiveTests.h # test/TestCase.cpp # test/TestCase.h # 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/ethdebug_debuginfo_ssa_cfg/exit # test/cmdlineTests/ethdebug_debuginfo_ssa_cfg/input.sol # test/cmdlineTests/ethdebug_debuginfo_without_experimental_flag/exit # 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/evm_version_future_no_experimental_mode/exit # test/cmdlineTests/import_asm_json_all_valid_flags/args # test/cmdlineTests/import_asm_json_difficulty_prevrandao/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_debug_info_in_yul_location/output.json # 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_metadata_experimental/args # 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_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_compilation/args # test/cmdlineTests/standard_yul_ethdebug_compilation/in.yul # 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_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_yul_cfg_json_export/args # test/cmdlineTests/strict_asm_yul_cfg_json_export/output # test/cmdlineTests/undeployable_contract_empty_outputs/args # test/cmdlineTests/via_ssa_cfg_ethdebug/input.sol # 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/conftest.py # test/ethdebugSchemaTests/input_file.json # test/ethdebugSchemaTests/test_ethdebug_schema_conformity.py # 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/Assembler.cpp # test/libevmasm/EVMAssemblyTest.cpp # test/libevmasm/EVMAssemblyTest.h # test/libevmasm/Optimiser.cpp # test/libsolidity/ASTJSONTest.cpp # test/libsolidity/AnalysisFramework.cpp # test/libsolidity/Assembly.cpp # test/libsolidity/FunctionDependencyGraphTest.cpp # test/libsolidity/FunctionDependencyGraphTest.h # test/libsolidity/InlineAssembly.cpp # test/libsolidity/Metadata.cpp # test/libsolidity/SMTCheckerTest.cpp # test/libsolidity/SemanticTest.cpp # test/libsolidity/SemanticTest.h # test/libsolidity/SolidityCompiler.cpp # test/libsolidity/SolidityEndToEndTest.cpp # test/libsolidity/SolidityExecutionFramework.cpp # test/libsolidity/SolidityExecutionFramework.h # test/libsolidity/SolidityExpressionCompiler.cpp # test/libsolidity/SolidityOptimizer.cpp # test/libsolidity/SolidityParser.cpp # test/libsolidity/StandardCompiler.cpp # test/libsolidity/SyntaxTest.cpp # test/libsolidity/SyntaxTest.h # test/libsolidity/ViewPureChecker.cpp # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_dynamic_array.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_static_array.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_calldata_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_memory_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_from_storage_struct_v2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_2.sol # test/libsolidity/semanticTests/abicoder/abi_decode_offset_overflow_in_array_3.sol # test/libsolidity/semanticTests/abicoder/abi_decode_overlapping_dynamic_arrays.sol # test/libsolidity/semanticTests/abicoder/abi_decode_simple.sol # test/libsolidity/semanticTests/abicoder/abi_decode_simple_storage.sol # test/libsolidity/semanticTests/abicoder/abi_decode_slice.sol # test/libsolidity/semanticTests/abicoder/abi_decode_trivial.sol # test/libsolidity/semanticTests/abicoder/abi_encode.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_declaration_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_is_consistent_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_memory_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_special_args_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_uint_bytes.sol # test/libsolidity/semanticTests/abicoder/abi_encode_call_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_calldata_slice.sol # test/libsolidity/semanticTests/abicoder/abi_encode_decode_simple.sol # test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_not_bytes0.sol # test/libsolidity/semanticTests/abicoder/abi_encode_empty_string_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_memory_dynamic_array_and_calldata_bytes_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_rational.sol # test/libsolidity/semanticTests/abicoder/abi_encode_storage_array_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_function_inherited_in_v1_contract.sol # test/libsolidity/semanticTests/abicoder/abi_encode_v2_in_modifier_used_in_v1_contract.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_selector_v2.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v1.sol # test/libsolidity/semanticTests/abicoder/abi_encode_with_signature_v2.sol # test/libsolidity/semanticTests/abicoder/bug_abi_encoder_v2_head_overflow_with_static_array_cleanup.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/byte_arrays.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_2d_dynamic_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_uint_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_of_value_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_in_library_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_decode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_dynamic_static_short_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_function_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_1d_2d_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_3d_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_indexing_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_length_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_multi_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_slicing_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_dynamic_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_uint_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_static_of_value_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_struct_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_array_two_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_bytes_bytes32_arrays_v1.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_dynamic_array_to_memory_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_nested_array_static_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_dynamic_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_overlapping_nested_dynamic_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_string_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/calldata_struct_array_reencode_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_arrays_static.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_bytes.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_array_and_calldata_static_array.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_arrays.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_dynamic_nested_arrays_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/array/memory_params_in_external_function.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/copy_from_calldata_removes_bytes_data.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/mediocre_static_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic2_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_multiple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_dynamic_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_array_static_mulitple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_external_function_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/member_offset_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/multiple_structs_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_3_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_static_4_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_bytes_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/nested_with_dynamic_struct_array_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/short_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_short_types_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_multiple_fields_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/simple_single_field_v2.sol # test/libsolidity/semanticTests/abicoder/calldataDecoding/struct/struct_and_ints_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/address_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bool_with_sanity_check_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/bytesx_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/cleanup_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/dynamic_array_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/enum_v1.sol # test/libsolidity/semanticTests/abicoder/cleanup/enum_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/function_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/intx_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/reencoded_calldata_string.sol # test/libsolidity/semanticTests/abicoder/cleanup/static_array_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/struct2_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/struct_v2.sol # test/libsolidity/semanticTests/abicoder/cleanup/uintx_v2.sol # test/libsolidity/semanticTests/abicoder/contract_array.sol # test/libsolidity/semanticTests/abicoder/contract_array_v2.sol # test/libsolidity/semanticTests/abicoder/libraryABI/storage_ptr.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_advanced.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_homestead.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_out_of_range_post_homestead.sol # test/libsolidity/semanticTests/abicoder/return_dynamic_types_cross_call_simple.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_no_revert_string.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_calldatasize_v2.sol # test/libsolidity/semanticTests/abicoder/validation/array_exceeds_size_limit_for_calldata_types_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_static_middle_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_array_dynamic_invalid_v2.sol # test/libsolidity/semanticTests/abicoder/validation/calldata_with_garbage_v2.sol # test/libsolidity/semanticTests/abicoder/validation/external_function_type_inside_struct_v2.sol # test/libsolidity/semanticTests/abicoder/validation/static_struct_v2.sol # test/libsolidity/semanticTests/array/array_memory_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_boundary_test.sol # test/libsolidity/semanticTests/array/array_storage_index_zeroed_test.sol # test/libsolidity/semanticTests/array/array_storage_length_access.sol # test/libsolidity/semanticTests/array/array_storage_push_empty.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/byte_array_transitional_2.sol # test/libsolidity/semanticTests/array/bytes_length_member.sol # test/libsolidity/semanticTests/array/calldata_array_bounds_check_nested_bytes.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_storage_to_memory_nested.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_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_struct_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_storage_multi_items_per_slot.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/calldata_array_to_mapping.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_calldata_to_memory.sol # test/libsolidity/semanticTests/array/copying/nested_array_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_dynamic_dynamic_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_dynamic_static_calldata_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_memory_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_array_of_structs_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_storage_to_memory.sol # test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_from_pointer.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_struct.sol # test/libsolidity/semanticTests/array/copying/storage_memory_packed_dyn.sol # test/libsolidity/semanticTests/array/create_memory_array.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/dynamic_arrays_in_storage.sol # test/libsolidity/semanticTests/array/dynamic_multi_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_arrays_as_return_type.sol # test/libsolidity/semanticTests/array/fixed_arrays_in_constructors.sol # test/libsolidity/semanticTests/array/function_array_cross_calls.sol # test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol # test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint16_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint24_transition.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_copy_long.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty_garbage_ref.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_masking_long.sol # test/libsolidity/semanticTests/array/push/array_push.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/array_push_struct_from_calldata.sol # test/libsolidity/semanticTests/array/push/byte_array_push_transition.sol # test/libsolidity/semanticTests/array/push/nested_bytes_push.sol # test/libsolidity/semanticTests/array/push/push_no_args_2d.sol # test/libsolidity/semanticTests/array/push/push_no_args_bytes.sol # test/libsolidity/semanticTests/array/reusing_memory.sol # test/libsolidity/semanticTests/array/slices/calldata_array_slicing.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/base_constructor_arguments.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_packer.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_unpacker.sol # test/libsolidity/semanticTests/constructor/callvalue_check.sol # test/libsolidity/semanticTests/constructor/constructor_arguments_external.sol # test/libsolidity/semanticTests/constructor/constructor_arguments_internal.sol # test/libsolidity/semanticTests/constructor/constructor_function_argument.sol # test/libsolidity/semanticTests/constructor/constructor_function_complex.sol # test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol # test/libsolidity/semanticTests/constructor/evm_exceptions_in_constructor_call_fail.sol # test/libsolidity/semanticTests/constructor/function_usage_in_constructor_arguments.sol # test/libsolidity/semanticTests/constructor/functions_called_by_constructor.sol # test/libsolidity/semanticTests/constructor/functions_called_by_constructor_through_dispatch.sol # test/libsolidity/semanticTests/constructor/inline_member_init_inheritence_without_constructor.sol # test/libsolidity/semanticTests/constructor/no_callvalue_check.sol # test/libsolidity/semanticTests/constructor/order_of_evaluation.sol # test/libsolidity/semanticTests/constructor/payable_constructor.sol # test/libsolidity/semanticTests/constructor/store_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/store_function_in_constructor_packed.sol # test/libsolidity/semanticTests/constructor/store_internal_unused_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/store_internal_unused_library_function_in_constructor.sol # test/libsolidity/semanticTests/constructor/transient_state_variable_initialization.sol # test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory.sol # test/libsolidity/semanticTests/conversions/calldata_bytes_to_memory_reencode.sol # test/libsolidity/semanticTests/deployedCodeExclusion/bound_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/library_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/module_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/static_base_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/subassembly_deduplication.sol # test/libsolidity/semanticTests/deployedCodeExclusion/super_function.sol # test/libsolidity/semanticTests/deployedCodeExclusion/virtual_function.sol # test/libsolidity/semanticTests/ecrecover/ecrecover.sol # test/libsolidity/semanticTests/errors/small_error_optimization.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_emit_from_other_contract.sol # test/libsolidity/semanticTests/events/event_indexed_mixed.sol # test/libsolidity/semanticTests/events/event_indexed_string.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/calldata_and_memory_arguments.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_external_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_dynamic_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_bytes.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_dynamic_struct_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_library_static_struct_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_multi_static_array_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_as_memory_v2.sol # test/libsolidity/semanticTests/functionCall/calldata_argument_internal_struct_v2.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_args.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_salt.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting_debugstrings.sol # test/libsolidity/semanticTests/functionCall/failed_create.sol # test/libsolidity/semanticTests/functionCall/gas_and_value_basic.sol # test/libsolidity/semanticTests/functionCall/mapping_array_internal_argument.sol # test/libsolidity/semanticTests/functionCall/send_zero_ether.sol # test/libsolidity/semanticTests/functionTypes/internal_function_pointer_with_calldata_args.sol # test/libsolidity/semanticTests/functionTypes/store_function.sol # test/libsolidity/semanticTests/immutable/immutable_tag_too_large_bug.sol # test/libsolidity/semanticTests/immutable/multi_creation.sol # test/libsolidity/semanticTests/immutable/stub.sol # test/libsolidity/semanticTests/immutable/use_scratch.sol # test/libsolidity/semanticTests/inheritance/address_overload_resolution.sol # test/libsolidity/semanticTests/inheritance/constructor_inheritance_init_order.sol # test/libsolidity/semanticTests/inheritance/constructor_inheritance_init_order_2.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params_diamond_inheritance.sol # test/libsolidity/semanticTests/inheritance/constructor_with_params_inheritance.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/inheritance/value_for_constructor.sol # test/libsolidity/semanticTests/inlineAssembly/inline_assembly_in_modifiers.sol # test/libsolidity/semanticTests/inlineAssembly/keccak_yul_optimization.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_low_level_calls.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_selfdestruct.sol # test/libsolidity/semanticTests/inlineAssembly/tstore_hidden_staticcall.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_dynamic_array_or_slice_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_static_array_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_struct_v2.sol # test/libsolidity/semanticTests/libraries/attached_internal_library_function_accepting_calldata_v2.sol # test/libsolidity/semanticTests/libraries/attached_public_library_function_accepting_calldata.sol # test/libsolidity/semanticTests/libraries/internal_types_in_library.sol # test/libsolidity/semanticTests/libraries/library_address.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_public.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_return.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/saltedCreate/salted_create.sol # test/libsolidity/semanticTests/saltedCreate/salted_create_with_value.sol # test/libsolidity/semanticTests/smoke/constructor.sol # test/libsolidity/semanticTests/state/blockhash_basic.sol # test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol # test/libsolidity/semanticTests/storage/packed_storage_structs_bytes.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/constructor.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/delete.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/dynamic_array_storage_end.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/mapping_storage_end.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/multiple_inheritance.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_dynamic_array.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_mapping.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/storage_reference_array.sol # test/libsolidity/semanticTests/structs/conversion/recursive_storage_memory.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_struct_with_nested_struct_from_calldata_to_memory.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/memory_structs_nested_load.sol # test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol # test/libsolidity/semanticTests/structs/struct_copy.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_bytes_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_dynamic_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_nested_static_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_tuple.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_memory_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_nested_dynamic_array_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_calldata_to_storage_v2.sol # test/libsolidity/semanticTests/structs/struct_copy_via_local.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/structs/struct_memory_to_storage_function_ptr.sol # test/libsolidity/semanticTests/structs/structs.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/code_access_create.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/different_call_type_transient.sol # test/libsolidity/semanticTests/various/erc20.sol # test/libsolidity/semanticTests/various/many_subassemblies.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_multiple_beneficiaries.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_redeploy.sol # test/libsolidity/semanticTests/various/senders_balance.sol # test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol # test/libsolidity/semanticTests/various/staticcall_for_view_and_pure.sol # test/libsolidity/semanticTests/various/swap_in_storage_overwrite.sol # test/libsolidity/semanticTests/viaYul/copy_struct_invalid_ir_bug.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/constant_state_variable_named_transient.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/dataLocations/data_location_in_function_type_fail.sol # test/libsolidity/syntaxTests/dataLocations/externalFunction/function_argument_location_specifier_test_external_transient.sol # test/libsolidity/syntaxTests/dataLocations/internalFunction/function_argument_location_specifier_test_internal_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraries/library_function_with_data_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraryExternalFunction/function_argument_location_specifier_test_external_transient.sol # test/libsolidity/syntaxTests/dataLocations/libraryInternalFunction/function_argument_location_specifier_test_internal_transient.sol # test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_parameters_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/privateFunction/private_function_return_parameters_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/publicFunction/function_argument_location_specifier_test_public_transient.sol # test/libsolidity/syntaxTests/dataLocations/publicFunction/public_function_return_parameters_location_transient.sol # test/libsolidity/syntaxTests/dataLocations/transient_function_type_parameter.sol # test/libsolidity/syntaxTests/duplicateFunctions/illegal_names_exception.sol # test/libsolidity/syntaxTests/errors/no_structs_in_abiv1.sol # test/libsolidity/syntaxTests/errors/struct_named_error.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/events/illegal_names_exception.sol # test/libsolidity/syntaxTests/events/illegal_names_exception_file_level.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/ex…

blishko and others added 30 commits March 27, 2026 15:30

Merge pull request #16558 from argotorg/enable-ssa-cfg-on-all-externa…

e4a5b77

…l-contracts Tests: Run SSA-CFG on external contracts in semantic tests

CI: Add explicit boost-libs to Arch Linux build dependencies

5be42bf

Arch Linux boost 1.90.0 moved static libraries from the `boost` package to `boost-libs` and dropped the dependency between them

Merge pull request #16564 from argotorg/ci-fix-arch-linux-boost-dep

821d9e0

CI: Add explicit boost-libs to Arch Linux build dependencies

Merge pull request #16559 from argotorg/ssa-shuffler-shrink-preemptively

6421f0e

SSA: Shrink stack preemptively in shuffler

SSA: Do not dup prematurely in shuffler

70c495e

It seems that we do not need to dup slots we will need in advance. We can first swap them into tail, and only dup them later when we have more information.

Merge pull request #16551 from argotorg/ssa-update-shuffler-algorithm

3c6aad3

SSA: Do not dup prematurely in shuffler

Optimize solThrow

abe1561

Work around maybe-uninitialized FP in ConditionalSimplifier

71cee36

Merge pull request #16553 from argotorg/optimize-solthrow

8d3267a

Improve performance of solThrow

Merge pull request #16567 from argotorg/ssa-stack-layout-prefer-small…

15ee820

…er-stacks SSA: Prefer smaller stacks when searching for best stack size

Remove unused include from SSACFG

1f9577a

Store EVMDialect in SSACFG

dab4347

SSACFG: use op counts to decide for a target stack size and gas for m…

2e274f8

…ulti-entry blocks

Merge pull request #16566 from argotorg/ssa-use-gas-to-find-stack-size

4daa7ab

SSACFG: Add run gas-accumulating callback implementation and add EVMDialect to SSACFG

Fix SSACFG stack layout generator stack-in inefficiency

a05041a

Merge pull request #16568 from argotorg/ssa-fix-stack-layout-gen-inef…

0164881

…ficiency In SSA stack layout generation, improve multi-entry stack-in selection

Only use gas accumulating callbacks in stack layout generator where n…

0cbd39c

…eeded

Change SSA stack layout to have exitIn instead of stackOut and save b…

a431a66

…lock successor proposals per-edge

Add "exitIn" to codespell whitelist

c9f62ba

Merge pull request #16569 from argotorg/ssa-stack-layout-has-exit-in

cecb78e

Refactor SSA Stack layout to have an exit stack in

handle conditional jump exits uniformly

d211fb2

Merge pull request #16571 from argotorg/ssa-unify-jumpi-handling

449363e

SSA unify jumpi handling

Move coding-style check to GitHub actions

ca7d54c

Co-authored-by: Heath Dutton <heathdutton@gmail.com>

ssa stack shuffler returns status

c3466bb

ssa shuffler tests report final shuffler status

f180112

allow broader columns in the ssa shuffler test output table

2bc5e30

add tests with cycles to ssa shuffler tests

8b505c3

Add ssa shuffler tests that run into stack too deep

a379310

blishko and others added 29 commits June 9, 2026 16:33

Merge pull request #16786 from argotorg/ssa-cfg-semantic-tests

e84f82c

Test: Enable SSA-CFG by default for all semantic tests

Bump rust-node image

0402a7c

Merge pull request #16787 from argotorg/remove-pnpm-pin-in-edr

1b095c7

Remove pnmp pin in edr external test and bump rust image

SSA CFG: Add spill set

ec5e769

SSA CFG: Add global memory addressing for spilling

0350029

SSA CFG: Add spill emitter

9baf8a2

SSA CFG: hook spilling into code transform

16bb226

SSA CFG: stack layout generator validates back edges for potential sp…

4b827a9

…illing

SSA CFG: add spill test

e2c4ab7

SSA CFG Stack shuffler: fix args slot considers spill set when decidi…

42769f9

…ng what to swap into a specific offset

SSA CFG: Stack layout generator populates spill set on multi-entry bl…

c48728e

…ocks

Merge pull request #16767 from argotorg/ssa-cfg-kiss-memspill

1c4e9a5

SSA CFG: stack to memory spilling

SSA CFG Testing: Add spill test for a function with many return varia…

54f5591

…bles

SSA CFG: Spill set resolves producer instruction for projections

8e42482

Merge pull request #16789 from argotorg/ssa-cfg-spill-set-resolve-pro…

2377ba9

…ducer SSA CFG: Spill set resolves producer for projection instructions

Frontend: Store ASTNode::id as int64_t instead of size_t

0b7a003

Merge pull request #16793 from argotorg/ast-node-id-as-int64-t

410515c

Store `ASTNode::id` as `int64_t` instead of `size_t`

Remove EOF from libevmasm

1d3a17b

Add canBeFunctional test case.

7a0c49e

Merge pull request #16772 from argotorg/remove-eof-libevmasm

ac7dbb8

Remove EOF: libevmasm

Remove EOF: Testing infrastructure.

dc9296d

Merge pull request #16773 from argotorg/remove-eof-testing-infra

7c6dc92

Remove EOF: Testing infrastructure

Merge pull request #16795 from argotorg/ssa-cfg-fix-const-instructions

a63480d

SSA-CFG: Propagate information about deduplication of literals

Replace vector<CodeSection> with items in Assembly

06edb3e

Remove EOF: Replace vector<CodeSectionLocation> with CodeSectionLocat…

f65160f

…ion in LinkerObject.

Merge pull request #16757 from argotorg/eof/replace-vector-code-section

2dfc9a4

Remove EOF: Replace code sections with one section in `Assembly` `and LinkerObject`.

github-actions Bot added the sync-pr label Jun 15, 2026

Navigation Menu

Uh oh!

English documentation updates up to v0.8.35-131-g2dfc9a434 (2026-06-15) - #200

English documentation updates up to v0.8.35-131-g2dfc9a434 (2026-06-15)#200
github-actions[bot] wants to merge 666 commits into
developfrom
sync-v0.8.35-131-g2dfc9a434

github-actions Bot commented Jun 15, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

16 participants

Uh oh!

Conversation

github-actions Bot commented Jun 15, 2026

How to work on a sync PR

Resolve conflicts and translate newly added text

Work on one sync PR at a time

Do not squash merge or rebase this PR

Review checklist

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

16 participants