English documentation updates up to v0.8.36-45-g510b2a15d (2026-08-03) - #207
Open
github-actions[bot] wants to merge 802 commits into
Open
English documentation updates up to v0.8.36-45-g510b2a15d (2026-08-03)#207github-actions[bot] wants to merge 802 commits into
github-actions[bot] wants to merge 802 commits into
Conversation
SSA CFG: introduce projections for functions with multiple return values
Ethereum events do not declare return parameters, unlike functions. The event branch of callable documentation incorrectly accepted the same tag set as functions, allowing misleading `@return` markup. Restrict event validation to `dev`, `notice`, and `param`, consistent with errors.
Co-authored-by: Nikola Matić <nikola@argot.org>
…on-events NatSpec: Disallow `@return` tag on events.
Code transform has still been assuming that non-zero successor of a conditional jump does not have any other predecessor. It has been assuming that no modification was needed when moving from the out layout of the predecessor to the in layout of the non-zero successor. This assumption does not necessarily hold when non-zero successor can have other predecessors. We have dropped the assumption about single predecessor of a non-zero successor elsewhere. As we want to enable trasformations that will not uphold this assumption, we should update the code transformation as well. The fix is to ensure the stack is updated, if necessary, when moving from the predecessor to the non-zero successor. We already do the same in case of the zero successor. In addition, we also drop an assertion in StackLayoutGenerator that non-zero successor has no phi instructions. This is not an invariant of the CFG we want to maintain.
…ions SSA: Update assumptions made by CodeTransform about stack layouts
…ction store Treat a multi-return Call/BuiltinCall (numReturns >= 2) and its trailing Projections as a single allocation/release unit
…pass SSA CFG: identity remover pass and TLSF backed instruction store
When isoltest updates test expectations for ASTJSON tests, it calls printSource() to rewrite the .sol input file. The function was not outputting the failAfter directive that was parsed and stored in m_expectedFailAfter, causing the directive to be silently dropped. Fixes #14093
…pping Preserve failAfter directive in isoltest ASTJSON reformatting
…n-registry SSA CFG: add shared function registry across nested builders
When running codegen on a block which ends in a conditional jump, we save the stack before we continue with zero branch and then we restore it when come back and continue with non-zero branch. Notifying the assebly about the restored stack size is part of resetting the state and needs to happen before we attempt any stack shuffling. `prepareBlockExitStack` might shuffle the stack and so assembly notification must happen before that.
…nstantOperand SMTChecker: Fix SMT Encoder mishandling of constant operands of unary operations.
SSA-CFG: Fix stack adjustments for codegen on conditional jump
SSA-CFG: Separate building and optimizing phase
Pin node to exact versions instead of lts to fix failing jobs
…nto the parent ControlFlowGraphs structure
SSA CFG: lift the memoryguard value out of the instruction argument into the parent ControlFlowGraphs structure
…builder SSA CFG: extract folding of constant condition if/switch/for from builder
Previously, an address value containing non-hex characters would cause a non-caught exception originated from `solidity::util::getChecksummedAddress`. Now we validate that the input string constitutes a valid hex value beforehand.
CLI: Better validation of library addresses
…e statement In a require statement, a second argument can be provided, which can be a string or a custom error. Parser allows the argument to be included in parentheses. Typechecker is also fine with such an expression. However, code generation, for both legacy and IR pipelines, previously assumed the custom error construction is not parenthesized. Specifically, the code previously assumed this AST node is `FunctionCall`. But when parenthesized, this node would be a `TupleExpression`, resulting in a `std::bad_cast` exception. The proposed fix strips away the unary tuple layers from the expression before casting, using the helper `resolveOuterUnaryTuples` from `ASTUtils`.
…rnal-tests-tag-refs Add prerelease filter to external tests tag refs
…6815) * fix(docs): improve Google search snippets for documentation pages * docs: simplify robots.txt and index allowlist --------- Co-authored-by: jstcz <j.czepluch@proton.me> Co-authored-by: Kaan Uzdoğan <kaanuzdogan@hotmail.com>
…rning SMTChecker: Deprecation warning for BMC
…stom-error-in-require Codegen: Fix ICE on parenthesized custom error construction in require statement
…of-reinvoking-shuffler SSA CFG: Shuffler and stack layouts are based on traces rather than stack targets
# Conflicts: # .circleci/compare_bytecode_reports.sh # .circleci/config.yml # .circleci/osx_install_dependencies.sh # .circleci/parallel_bytecode_report.sh # .circleci/soltest.sh # .circleci/soltest_all.sh # .github/ISSUE_TEMPLATE/bug_report.md # .github/workflows/buildpack-deps.yml # .github/workflows/welcome-external-pr.yml # .gitignore # .gitmodules # CODING_STYLE.md # Changelog.md # README.md # ReleaseChecklist.md # SECURITY.md # cmake/EthDependencies.cmake # cmake/EthOptions.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/ConstantOptimiser.h # libevmasm/EVMAssemblyStack.cpp # libevmasm/EVMAssemblyStack.h # libevmasm/Ethdebug.cpp # libevmasm/Ethdebug.h # libevmasm/EthdebugSchema.cpp # libevmasm/EthdebugSchema.h # libevmasm/GasMeter.cpp # libevmasm/Inliner.h # 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 # liblangutil/UniqueErrorReporter.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/ContractCompiler.h # 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/ModelChecker.cpp # libsolidity/formal/SMTEncoder.cpp # libsolidity/interface/CompilerStack.cpp # libsolidity/interface/CompilerStack.h # libsolidity/interface/GasEstimator.cpp # libsolidity/interface/ImportRemapper.h # libsolidity/interface/Natspec.h # libsolidity/interface/OptimiserSettings.h # libsolidity/interface/StandardCompiler.cpp # libsolidity/interface/StandardCompiler.h # libsolidity/parsing/Parser.cpp # libsolidity/parsing/Parser.h # libsolutil/Assertions.h # libsolutil/CMakeLists.txt # libsolutil/Common.h # libsolutil/CommonData.cpp # libsolutil/CommonData.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/AsmAnalysisInfo.h # libyul/CMakeLists.txt # libyul/ControlFlowSideEffectsCollector.cpp # libyul/ControlFlowSideEffectsCollector.h # libyul/FunctionReferenceResolver.h # libyul/Object.cpp # libyul/ObjectOptimizer.cpp # libyul/ObjectOptimizer.h # libyul/Utilities.cpp # libyul/Utilities.h # libyul/YulStack.cpp # libyul/YulStack.h # libyul/YulString.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/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/CallGraphGenerator.cpp # libyul/optimiser/CallGraphGenerator.h # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/ExpressionInliner.h # libyul/optimiser/OptimizerUtilities.cpp # libyul/optimiser/StackCompressor.cpp # libyul/optimiser/StackLimitEvader.cpp # libyul/optimiser/Suite.cpp # libyul/optimiser/Suite.h # 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/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_push_tag_out_of_range/exit # 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_bmc_loop_iterations/err # test/cmdlineTests/model_checker_contracts_all/err # test/cmdlineTests/model_checker_contracts_all_explicit/err # test/cmdlineTests/model_checker_contracts_inexistent_contract/err # test/cmdlineTests/model_checker_contracts_inexistent_source/err # test/cmdlineTests/model_checker_contracts_only_one/err # test/cmdlineTests/model_checker_divModSlacks_default_all/err # test/cmdlineTests/model_checker_divModSlacks_default_bmc/err # test/cmdlineTests/model_checker_divModSlacks_false_all/err # test/cmdlineTests/model_checker_divModSlacks_false_bmc/err # test/cmdlineTests/model_checker_engine_all/err # test/cmdlineTests/model_checker_engine_bmc/err # test/cmdlineTests/model_checker_print_query_all/err # test/cmdlineTests/model_checker_print_query_bmc/err # test/cmdlineTests/model_checker_show_proved_safe_default_all_engines/err # test/cmdlineTests/model_checker_show_proved_safe_default_bmc/err # test/cmdlineTests/model_checker_show_proved_safe_true_all_engines/err # test/cmdlineTests/model_checker_show_proved_safe_true_bmc/err # test/cmdlineTests/model_checker_show_unproved_default_all_engines/err # test/cmdlineTests/model_checker_show_unproved_default_bmc/err # test/cmdlineTests/model_checker_show_unproved_true_all_engines/err # test/cmdlineTests/model_checker_show_unproved_true_bmc/err # test/cmdlineTests/model_checker_show_unsupported_default_all_engines/err # test/cmdlineTests/model_checker_show_unsupported_default_bmc/err # test/cmdlineTests/model_checker_show_unsupported_true_all_engines/err # test/cmdlineTests/model_checker_show_unsupported_true_bmc/err # test/cmdlineTests/model_checker_solvers_cvc5/err # test/cmdlineTests/model_checker_solvers_cvc5_eld/err # test/cmdlineTests/model_checker_solvers_smtlib2/err # test/cmdlineTests/model_checker_solvers_z3/err # test/cmdlineTests/model_checker_solvers_z3_implicit/err # test/cmdlineTests/model_checker_solvers_z3_smtlib2/err # 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/model_checker_timeout_all/err # test/cmdlineTests/model_checker_timeout_bmc/err # 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_large_optimizer_runs/args # test/cmdlineTests/standard_model_checker_bmc_loop_iterations/output.json # test/cmdlineTests/standard_model_checker_contracts_all/output.json # test/cmdlineTests/standard_model_checker_contracts_all_explicit/output.json # test/cmdlineTests/standard_model_checker_contracts_inexistent_contract/output.json # test/cmdlineTests/standard_model_checker_contracts_multi_source/output.json # test/cmdlineTests/standard_model_checker_contracts_only_one/output.json # test/cmdlineTests/standard_model_checker_contracts_wrong_key_sources/output.json # test/cmdlineTests/standard_model_checker_divModSlacks_default_all/output.json # test/cmdlineTests/standard_model_checker_divModSlacks_default_bmc/output.json # test/cmdlineTests/standard_model_checker_divModSlacks_false_all/output.json # test/cmdlineTests/standard_model_checker_divModSlacks_false_bmc/output.json # test/cmdlineTests/standard_model_checker_engine_all/output.json # test/cmdlineTests/standard_model_checker_engine_bmc/output.json # test/cmdlineTests/standard_model_checker_print_query_all/output.json # test/cmdlineTests/standard_model_checker_print_query_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_default_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_false_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_false_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_true_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_true_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unproved_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unproved_false_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unproved_false_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unproved_true_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unproved_true_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_default_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_false_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_false_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_true_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_true_bmc/output.json # test/cmdlineTests/standard_model_checker_solvers_none/output.json # test/cmdlineTests/standard_model_checker_solvers_smtlib2/output.json # test/cmdlineTests/standard_model_checker_solvers_z3/output.json # test/cmdlineTests/standard_model_checker_solvers_z3_smtlib2/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_model_checker_timeout_all/output.json # test/cmdlineTests/standard_model_checker_timeout_bmc/output.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/evmc/helpers.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/gasTests/abiv2.sol # test/libsolidity/gasTests/abiv2_optimised.sol # test/libsolidity/gasTests/data_storage.sol # test/libsolidity/gasTests/dispatch_large.sol # test/libsolidity/gasTests/dispatch_large_optimised.sol # test/libsolidity/gasTests/dispatch_medium.sol # test/libsolidity/gasTests/dispatch_medium_optimised.sol # test/libsolidity/gasTests/dispatch_small.sol # test/libsolidity/gasTests/dispatch_small_optimised.sol # test/libsolidity/gasTests/exp.sol # test/libsolidity/gasTests/exp_optimized.sol # test/libsolidity/gasTests/storage_costs.sol # 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/freeFunctions/free_runtimecode.sol # test/libsolidity/semanticTests/functionCall/call_options_overload.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/calling_nonexisting_contract_throws.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_at_construction_time.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/stack_height_check_on_adding_gas_variable_to_function.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/revertStrings/called_contract_has_code.sol # test/libsolidity/semanticTests/reverts/revert_return_area.sol # test/libsolidity/semanticTests/saltedCreate/prediction_example.sol # test/libsolidity/semanticTests/saltedCreate/salted_create.sol # test/libsolidity/semanticTests/saltedCreate/salted_create_with_value.sol # test/libsolidity/semanticTests/shanghai/evmone_support.sol # test/libsolidity/semanticTests/smoke/constructor.sol # test/libsolidity/semanticTests/state/blockhash_basic.sol # test/libsolidity/semanticTests/state/gasleft.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/address_code_complex.sol # test/libsolidity/semanticTests/various/code_access_content.sol # test/libsolidity/semanticTests/various/code_access_create.sol # test/libsolidity/semanticTests/various/code_access_padding.sol # test/libsolidity/semanticTests/various/code_access_runtime.sol # test/libsolidity/semanticTests/various/code_length.sol # test/libsolidity/semanticTests/various/code_length_contract_member.sol # test/libsolidity/semanticTests/various/codebalance_assembly.sol # test/libsolidity/semanticTests/various/codehash.sol # test/libsolidity/semanticTests/various/codehash_assembly.sol # test/libsolidity/semanticTests/various/contract_binary_dependencies.sol # test/libsolidity/semanticTests/various/create_calldata.sol # test/libsolidity/semanticTests/various/create_random.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/gasleft_decrease.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/abi/abi_decode_1_tuple.sol # test/libsolidity/smtCheckerTests/abi/abi_decode_array.sol # test/libsolidity/smtCheckerTests/abi/abi_decode_simple.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_array_slice.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_array_slice_2.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_call_simple_1.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_call_simple_2.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_call_simple_3.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_call_simple_4.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_call_simple_5.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_function.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_hash.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_no_arguments.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_array_slice.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_array_slice_2.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_hash.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_simple.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_string_literal_no_unproved.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_simple.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_array_slice.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_hash.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_simple.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_string_literal_2.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_vs_sig.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_hash.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_simple.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_string_literal.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_1.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_2.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_3.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_4.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_5.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_6.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_7.sol # test/libsolidity/smtCheckerTests/array_members/array_pop_length_8.sol # test/libsolidity/smtCheckerTests/array_members/array_push_string_literal.sol # test/libsolidity/smtCheckerTests/array_members/length_1d_assignment_2d_memory_to_memory.sol # test/libsolidity/smtCheckerTests/array_members/length_1d_assignment_2d_storage_to_storage.sol # test/libsolidity/smtCheckerTests/array_members/length_1d_copy_2d_memory_to_storage.sol # test/libsolidity/smtCheckerTests/array_members/length_1d_copy_2d_storage_to_memory.sol # test/libsolidity/smtCheckerTests/array_members/length_1d_mapping_array_1.sol # test/libsolidity/smtCheckerTes…
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
18 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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-08-03 (commit 510b2a15).
How to work on a sync PR
Resolve conflicts and translate newly added text
<<<<<<< HEAD El valor más grande representable por el tipo ``T``. ======= The smallest value representable by type ``T``. >>>>>>> 800088e38b5835ebdc71e9ba5299a70a5accd7c2Work on one sync PR at a time
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: