English documentation updates up to v0.8.35-pre.1-117-g2282b9340 (2026-04-20) - #191
Open
github-actions[bot] wants to merge 466 commits into
Open
English documentation updates up to v0.8.35-pre.1-117-g2282b9340 (2026-04-20)#191github-actions[bot] wants to merge 466 commits into
github-actions[bot] wants to merge 466 commits into
Conversation
Add Slippy to the list of Solidity tools
Remove unused errs assignment in jsonParseStrict success path
…i_parser CLI Parser: Use defaulted comparison operators for options
…d ahead of time and only merged after release
…-update Post-0.8.33 release checklist update
Replace `transfer` (deprecated) occurrences with `call` in smt tests
…idity Mention unofficial Nix builds in Installing Solidity
…s-from-default-sequence Remove redundant prerequisite steps from the default optimizer sequence
…utable Theoretically, loadimmutable inserts a placeholder into the contract to be deployed which is then replaced by setimmutable once the runtime code is loaded into memory. The interpreter is mainly used for differential fuzzing so we should satisfy that correct code never fails and we can still detect bugs otherwise, most of the time. Therefore loadimmutable is decoupled from setimmutable and just returns a random value (hash of the identifier), setimmutable is treated as a no-op.
…iss_immutables EVM instruction interpreter: Add loadimmutable and setimmutable mocks, improve linkersymbol
…tag` command - Remove CCACHE_ENABLED and use CCACHE_DISABLE instead
Refactor SSA Stack layout to have an exit stack in
SSA unify jumpi handling
SSA stack shuffler returns a status
After fixing tail, when we are trying to fix args, it is not possible anymore that the stack top would be required in tail but not present there yet. Thus, we can assert this and delete logic that assumed this could occur.
SSA: Remove unnecessary shuffling logic
Previously, when we were trying to detect if all slots are reachable or final, we were checking only target slots that are filled at the current moment. However, we need to check *all* the target slots, even those beoynd the current stack size. Previous behaviour meant we were not shrinking the stack as much as was required in some situations and the shuffling went into a loop. With this fix most of the examples that were looping previously are now successful.
SSA: Fix cycle in stack shuffler
Previously, when growing the current stack, we would always grow if we can put a slot on top that is expected there in the target. However, if we have something in the args that still need to be fixed and would go out of reach, we should skip this step and focus on fixing the deep arg first. This also fixes the last cycling behaviour in our tests.
SSA: More controlled stack growing in shuffler
…-up is needed, so it doesn't have to be a valid swap target itself
Fix SSA CFG shuffler oscillation
a deep phi needs to be lifted into args but isn't as the stack is shrunk which leads to a different deficit
…ArgsSlot A slot should only be duped up if it isn't already in place while scanning from args low -> high what is missing. The fix is guarded by `dupDeepSlotIfRequired`, i.e., whatever is duped, nothing vital can go out of range.
Fix SSA stack shuffler oscillation
…-existing-conventions Make ethdebug inputs/outputs consistent
… something out of tail
…ots-reachable-should-ignore-junk SSA shuffler: "all necessary slots reachable" should ignore junk
…6-04-20) # Conflicts: # .circleci/compare_bytecode_reports.sh # .circleci/config.yml # .circleci/osx_install_dependencies.sh # .circleci/parallel_bytecode_report.sh # .circleci/soltest_all.sh # .github/workflows/buildpack-deps.yml # .github/workflows/stale.yml # .github/workflows/welcome-external-pr.yml # .gitignore # CODING_STYLE.md # Changelog.md # README.md # ReleaseChecklist.md # SECURITY.md # cmake/EthDependencies.cmake # deps/fmtlib # deps/nlohmann-json # docs/050-breaking-changes.rst # docs/060-breaking-changes.rst # docs/070-breaking-changes.rst # docs/080-breaking-changes.rst # docs/assembly.rst # docs/bugs.rst # docs/cheatsheet.rst # docs/common-patterns.rst # docs/contracts/custom-storage-layout.rst # docs/contracts/functions.rst # docs/contracts/inheritance.rst # docs/contributing.rst # docs/control-structures.rst # docs/examples/blind-auction.rst # docs/examples/safe-remote.rst # docs/index.rst # docs/installing-solidity.rst # docs/internals/optimizer.rst # docs/layout-of-source-files.rst # docs/metadata.rst # docs/path-resolution.rst # docs/security-considerations.rst # docs/smtchecker.rst # docs/types/value-types.rst # docs/units-and-global-variables.rst # docs/using-the-compiler.rst # docs/yul.rst # libevmasm/AbstractAssemblyStack.h # libevmasm/Assembly.cpp # libevmasm/CommonSubexpressionEliminator.cpp # libevmasm/CommonSubexpressionEliminator.h # libevmasm/EVMAssemblyStack.cpp # libevmasm/EVMAssemblyStack.h # libevmasm/Ethdebug.cpp # libevmasm/Ethdebug.h # libevmasm/GasMeter.cpp # libevmasm/Instruction.cpp # libevmasm/Instruction.h # libevmasm/PeepholeOptimiser.cpp # libevmasm/SimplificationRule.h # liblangutil/EVMVersion.cpp # liblangutil/EVMVersion.h # libsolidity/analysis/ConstantEvaluator.cpp # libsolidity/analysis/ConstantEvaluator.h # libsolidity/analysis/ControlFlowBuilder.h # libsolidity/analysis/DeclarationTypeChecker.cpp # libsolidity/analysis/DocStringTagParser.cpp # libsolidity/analysis/GlobalContext.cpp # libsolidity/analysis/PostTypeContractLevelChecker.cpp # libsolidity/analysis/StaticAnalyzer.cpp # libsolidity/analysis/SyntaxChecker.cpp # libsolidity/analysis/SyntaxChecker.h # libsolidity/analysis/TypeChecker.cpp # libsolidity/analysis/TypeChecker.h # libsolidity/ast/ASTUtils.cpp # libsolidity/ast/ASTUtils.h # libsolidity/ast/Types.cpp # libsolidity/ast/Types.h # libsolidity/codegen/ArrayUtils.cpp # libsolidity/codegen/ArrayUtils.h # libsolidity/codegen/CompilerContext.cpp # libsolidity/codegen/CompilerContext.h # libsolidity/codegen/CompilerUtils.cpp # libsolidity/codegen/ContractCompiler.cpp # libsolidity/codegen/ExpressionCompiler.cpp # libsolidity/codegen/LValue.cpp # libsolidity/codegen/YulUtilFunctions.cpp # libsolidity/codegen/YulUtilFunctions.h # libsolidity/codegen/ir/IRGeneratorForStatements.cpp # libsolidity/experimental/analysis/Analysis.cpp # libsolidity/formal/SMTEncoder.cpp # libsolidity/interface/CompilerStack.cpp # libsolidity/interface/CompilerStack.h # libsolidity/interface/GasEstimator.cpp # libsolidity/interface/ImportRemapper.h # libsolidity/interface/Natspec.h # libsolidity/interface/OptimiserSettings.h # libsolidity/interface/StandardCompiler.cpp # libsolidity/interface/StandardCompiler.h # libsolidity/parsing/Parser.cpp # libsolutil/Assertions.h # libsolutil/Common.h # libsolutil/DisjointSet.cpp # libsolutil/DisjointSet.h # libsolutil/Exceptions.h # libsolutil/JSON.cpp # libsolutil/StringUtils.cpp # libsolutil/StringUtils.h # libyul/AsmAnalysis.cpp # libyul/CMakeLists.txt # libyul/ControlFlowSideEffectsCollector.cpp # libyul/ControlFlowSideEffectsCollector.h # libyul/FunctionReferenceResolver.h # libyul/Object.cpp # libyul/ObjectOptimizer.cpp # libyul/ObjectOptimizer.h # libyul/YulStack.cpp # libyul/YulStack.h # libyul/backends/evm/ControlFlowGraphBuilder.cpp # libyul/backends/evm/ControlFlowGraphBuilder.h # libyul/backends/evm/EVMCodeTransform.cpp # libyul/backends/evm/EVMDialect.cpp # libyul/backends/evm/EVMDialect.h # libyul/backends/evm/EVMObjectCompiler.cpp # libyul/backends/evm/EVMObjectCompiler.h # libyul/backends/evm/StackHelpers.h # libyul/backends/evm/StackLayoutGenerator.cpp # libyul/backends/evm/ssa/ControlFlow.cpp # libyul/backends/evm/ssa/ControlFlow.h # libyul/backends/evm/ssa/SSACFGBuilder.h # libyul/backends/evm/ssa/SSACFGLoopNestingForest.cpp # libyul/backends/evm/ssa/SSACFGLoopNestingForest.h # libyul/backends/evm/ssa/io/JSONExporter.cpp # libyul/backends/evm/ssa/traversal/ForwardTopologicalSort.cpp # libyul/optimiser/ASTCopier.cpp # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/StackLimitEvader.cpp # 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/ci/post_style_errors_on_github.sh # scripts/codespell_whitelist.txt # scripts/common.sh # scripts/common/rest_api_helpers.py # scripts/create_source_tarball.sh # scripts/docker/buildpack-deps/Dockerfile.emscripten # scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz # scripts/docker/buildpack-deps/Dockerfile.ubuntu2404 # scripts/docker/buildpack-deps/Dockerfile.ubuntu2404.clang # scripts/docker_deploy_manual.sh # scripts/docs_version_pragma_check.sh # scripts/download_ossfuzz_corpus.sh # scripts/externalTests/common.sh # scripts/externalTests/download_benchmarks.py # scripts/externalTests/parse_eth_gas_report.py # scripts/externalTests/runners/base.py # scripts/gas_diff_stats.py # scripts/install_deps.ps1 # scripts/install_evmone.ps1 # scripts/run_proofs.sh # scripts/solc-bin/bytecode_reports_for_modified_binaries.sh # scripts/test_antlr_grammar.sh # scripts/tests.sh # scripts/wasm-rebuild/docker-scripts/isolate_tests.py # scripts/wasm-rebuild/docker-scripts/rebuild_tags.sh # solc/CommandLineInterface.cpp # solc/CommandLineInterface.h # solc/CommandLineParser.cpp # solc/CommandLineParser.h # test/CMakeLists.txt # test/Common.h # test/EVMHost.cpp # test/InteractiveTests.h # test/TestCase.cpp # test/buglistTests.js # test/cmdlineTests.sh # test/cmdlineTests/asm_json_import_sourcelist_with_null_elements/args # test/cmdlineTests/asm_json_yul_export_evm_asm_import/args # test/cmdlineTests/ast_ir/args # test/cmdlineTests/ast_json_import_wrong_evmVersion/args # test/cmdlineTests/eof_unavailable_before_osaka/args # test/cmdlineTests/ethdebug_eof_container_osaka/args # test/cmdlineTests/ethdebug_eof_container_osaka/output # test/cmdlineTests/ethdebug_on_abstract/args # test/cmdlineTests/ethdebug_on_abstract/output # test/cmdlineTests/ethdebug_on_interface/args # test/cmdlineTests/ethdebug_on_interface/output # test/cmdlineTests/import_asm_json_all_valid_flags/args # test/cmdlineTests/import_asm_json_difficulty_prevrandao/args # test/cmdlineTests/import_asm_json_eof_unavailable_before_osaka/args # test/cmdlineTests/import_asm_json_hex_subassembly_indices/args # test/cmdlineTests/import_asm_json_invalid_data_not_hex/args # test/cmdlineTests/import_asm_json_invalid_data_not_object/args # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/args # test/cmdlineTests/import_asm_json_invalid_value/args # test/cmdlineTests/import_asm_json_missing_subobject_indices/args # test/cmdlineTests/import_asm_json_no_optimize/args # test/cmdlineTests/import_asm_json_no_value/args # test/cmdlineTests/import_asm_json_non_unique_sources/args # test/cmdlineTests/import_asm_json_optimize/args # test/cmdlineTests/import_asm_json_out_of_range_data_index/args # test/cmdlineTests/import_asm_json_random_order_data_index/args # test/cmdlineTests/import_asm_json_unrecognized_field/args # test/cmdlineTests/import_asm_json_untagged_jumpdest/args # test/cmdlineTests/import_asm_json_verbatim/args # test/cmdlineTests/import_asm_json_yul_more_subobjects/args # test/cmdlineTests/import_asm_json_yul_subobjects/args # test/cmdlineTests/metadata/output # test/cmdlineTests/model_checker_targets_all_all_engines/err # test/cmdlineTests/model_checker_targets_all_bmc/err # test/cmdlineTests/model_checker_targets_all_chc/err # test/cmdlineTests/model_checker_targets_assert_bmc/err # test/cmdlineTests/model_checker_targets_assert_chc/err # test/cmdlineTests/model_checker_targets_assert_chc/input.sol # test/cmdlineTests/model_checker_targets_balance_bmc/err # test/cmdlineTests/model_checker_targets_balance_chc/err # test/cmdlineTests/model_checker_targets_constant_condition_bmc/err # test/cmdlineTests/model_checker_targets_constant_condition_chc/input.sol # test/cmdlineTests/model_checker_targets_default_all_engines/err # test/cmdlineTests/model_checker_targets_default_bmc/err # test/cmdlineTests/model_checker_targets_default_chc/err # test/cmdlineTests/model_checker_targets_div_by_zero_bmc/err # test/cmdlineTests/model_checker_targets_div_by_zero_chc/err # test/cmdlineTests/model_checker_targets_div_by_zero_chc/input.sol # test/cmdlineTests/model_checker_targets_error/input.sol # test/cmdlineTests/model_checker_targets_out_of_bounds_chc/err # test/cmdlineTests/model_checker_targets_out_of_bounds_chc/input.sol # test/cmdlineTests/model_checker_targets_overflow_bmc/err # test/cmdlineTests/model_checker_targets_overflow_chc/err # test/cmdlineTests/model_checker_targets_overflow_chc/input.sol # test/cmdlineTests/model_checker_targets_pop_empty_chc/err # test/cmdlineTests/model_checker_targets_pop_empty_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_bmc/err # test/cmdlineTests/model_checker_targets_underflow_chc/err # test/cmdlineTests/model_checker_targets_underflow_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_bmc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_assert_chc/input.sol # test/cmdlineTests/model_checker_targets_underflow_overflow_bmc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_chc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_chc/input.sol # test/cmdlineTests/standard_cli_import_ast_storage_layout_specifier_missing_expression/args # test/cmdlineTests/standard_import_asm_json/input.json # test/cmdlineTests/standard_import_asm_json_immutable_references/input.json # test/cmdlineTests/standard_import_asm_json_invalid_opcode/input.json # test/cmdlineTests/standard_import_asm_json_link_references/input.json # test/cmdlineTests/standard_import_asm_json_no_optimize/input.json # test/cmdlineTests/standard_import_asm_json_no_optimize/output.json # test/cmdlineTests/standard_import_asm_json_no_output_selection/input.json # test/cmdlineTests/standard_import_asm_json_optimize/input.json # test/cmdlineTests/standard_import_asm_json_optimize/output.json # test/cmdlineTests/standard_import_ast/input.json # test/cmdlineTests/standard_import_ast_select_bytecode/input.json # test/cmdlineTests/standard_import_with_comments/input.json # test/cmdlineTests/standard_import_with_comments_simple/input.json # test/cmdlineTests/standard_irOptimized_ast_requested/input.json # test/cmdlineTests/standard_ir_ast_requested/input.json # test/cmdlineTests/standard_metadata/output.json # test/cmdlineTests/standard_model_checker_targets_assert_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_assert_chc/input.json # test/cmdlineTests/standard_model_checker_targets_assert_chc/output.json # test/cmdlineTests/standard_model_checker_targets_balance_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_balance_chc/output.json # test/cmdlineTests/standard_model_checker_targets_constantCondition_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_constantCondition_chc/input.json # test/cmdlineTests/standard_model_checker_targets_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_targets_default_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_default_chc/output.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/input.json # test/cmdlineTests/standard_model_checker_targets_div_by_zero_chc/output.json # test/cmdlineTests/standard_model_checker_targets_empty_array/input.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/input.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_chc/output.json # test/cmdlineTests/standard_model_checker_targets_overflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_overflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_overflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/input.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_chc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_bmc/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/input.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_chc/output.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types/input.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types_2/input.json # test/cmdlineTests/standard_model_checker_targets_wrong_targets/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_metadata/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_empty_sequence_whitespaces_metadata/output.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_compatible/input.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_incompatible/output.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/input.json # test/cmdlineTests/standard_output_debuginfo_ethdebug_with_interfaces_and_abstracts/output.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_and_deployedbytecode_optimizer_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_bytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_deployedbytecode_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_iroptimized/input.json # test/cmdlineTests/standard_output_selection_ethdebug_optimize_ir/input.json # test/cmdlineTests/standard_output_selection_ethdebug_optimize_iroptimized/input.json # test/cmdlineTests/standard_outputs_on_compilation_error/output.json # test/cmdlineTests/standard_outputs_on_parsing_error/output.json # test/cmdlineTests/standard_undeployable_contract_all_outputs/input.json # test/cmdlineTests/standard_undeployable_contract_all_outputs/output.json # test/cmdlineTests/standard_yul_cfg_json_export/input.json # test/cmdlineTests/standard_yul_cfg_json_export/output.json # test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output/input.json # test/cmdlineTests/standard_yul_debug_info_ethdebug_compatible_output_eof/input.json # test/cmdlineTests/standard_yul_debug_info_ethdebug_verbatim_unimplemented/input.json # test/cmdlineTests/standard_yul_ethdebug_assign_immutable/input.json # test/cmdlineTests/standard_yul_ethdebug_assign_immutable/output.json # test/cmdlineTests/standard_yul_ethdebug_bytecode_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_bytecode_iroptimized/input.json # test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode/input.json # test/cmdlineTests/standard_yul_ethdebug_deployed_bytecode_and_bytecode/input.json # test/cmdlineTests/standard_yul_ethdebug_eof/input.json # test/cmdlineTests/standard_yul_ethdebug_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_iroptimize/input.json # test/cmdlineTests/standard_yul_ethdebug_optimize_ir/input.json # test/cmdlineTests/standard_yul_ethdebug_optimize_iroptimized/input.json # test/cmdlineTests/standard_yul_ethdebug_resources/args # test/cmdlineTests/standard_yul_ethdebug_resources/in.yul # test/cmdlineTests/strict_asm_eof_container_osaka/args # test/cmdlineTests/strict_asm_eof_dataloadn_osaka/args # test/cmdlineTests/strict_asm_eof_unavailable_before_osaka/args # test/cmdlineTests/strict_asm_yul_cfg_json_export/args # test/cmdlineTests/strict_asm_yul_cfg_json_export/output # test/cmdlineTests/undeployable_contract_empty_outputs/args # test/cmdlineTests/viair_abicoder_v1/err # test/cmdlineTests/yul_cfg_json_export/args # test/cmdlineTests/yul_cfg_json_export/output # test/cmdlineTests/yul_optimizer_disabled_sequence_empty/output # test/cmdlineTests/yul_optimizer_steps_invalid_substitution_in_expression_simplifier/input.sol # test/cmdlineTests/yul_optimizer_steps_without_optimize_empty_sequence/output # test/cmdlineTests/~assembler_modes/test.sh # test/cmdlineTests/~bytecode_equivalence_with_unused_contracts/test.py # test/cmdlineTests/~deduplicator-verbatim-bug/test.sh # test/cmdlineTests/~name_dependent_cse_bug/test.sh # test/ethdebugSchemaTests/input_file.json # test/ethdebugSchemaTests/input_file_eof.json # test/evmc/README.md # test/evmc/evmc.h # test/externalTests/euler.sh # test/externalTests/gp2.sh # test/externalTests/pool-together.sh # test/externalTests/prb-math.py # test/externalTests/yield-liquidator.sh # test/externalTests/zeppelin.sh # test/formal/README.md # test/libevmasm/EVMAssemblyTest.cpp # test/libevmasm/EVMAssemblyTest.h # test/libevmasm/Optimiser.cpp # test/libsolidity/Assembly.cpp # test/libsolidity/FunctionDependencyGraphTest.cpp # test/libsolidity/FunctionDependencyGraphTest.h # test/libsolidity/InlineAssembly.cpp # test/libsolidity/Metadata.cpp # test/libsolidity/SemanticTest.cpp # test/libsolidity/SemanticTest.h # test/libsolidity/SolidityEndToEndTest.cpp # test/libsolidity/SolidityExecutionFramework.cpp # test/libsolidity/SolidityExecutionFramework.h # test/libsolidity/SolidityExpressionCompiler.cpp # test/libsolidity/SolidityOptimizer.cpp # test/libsolidity/StandardCompiler.cpp # test/libsolidity/SyntaxTest.cpp # test/libsolidity/SyntaxTest.h # test/libsolidity/semanticTests/abiEncodeDecode/abi_decode_simple_storage.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol # test/libsolidity/semanticTests/abiEncoderV1/struct/struct_storage_ptr.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_modifier_used_in_v1_contract.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_array.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_overlapped_dynamic_arrays.sol # test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol # test/libsolidity/semanticTests/array/array_storage_length_access.sol # test/libsolidity/semanticTests/array/array_storage_push_empty_length_address.sol # test/libsolidity/semanticTests/array/array_storage_push_pop.sol # test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol # test/libsolidity/semanticTests/array/byte_array_storage_layout.sol # test/libsolidity/semanticTests/array/bytes_length_member.sol # test/libsolidity/semanticTests/array/constant_var_as_array_length.sol # test/libsolidity/semanticTests/array/copying/array_copy_calldata_storage.sol # test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint128.sol # test/libsolidity/semanticTests/array/copying/array_copy_cleanup_uint40.sol # test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.sol # test/libsolidity/semanticTests/array/copying/array_copy_clear_storage_packed.sol # test/libsolidity/semanticTests/array/copying/array_copy_different_packing.sol # test/libsolidity/semanticTests/array/copying/array_copy_including_array.sol # test/libsolidity/semanticTests/array/copying/array_copy_nested_array.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_different_base_nested.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dyn_dyn.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_dynamic_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_simple.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_static_static.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_leftover2.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_simple.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_simple_2.sol # test/libsolidity/semanticTests/array/copying/array_elements_to_mapping.sol # test/libsolidity/semanticTests/array/copying/array_nested_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_nested_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic.sol # test/libsolidity/semanticTests/array/copying/array_of_function_external_storage_to_storage_dynamic_different_mutability.sol # test/libsolidity/semanticTests/array/copying/array_of_struct_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_to_mapping.sol # test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol # test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol # test/libsolidity/semanticTests/array/copying/bytes_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/calldata_1d_array_into_2d_memory_array_element.sol # test/libsolidity/semanticTests/array/copying/calldata_array_dynamic_to_storage.sol # test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_in_struct_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_function_internal_storage_array.sol # test/libsolidity/semanticTests/array/copying/copy_internal_function_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_removes_bytes_data.sol # test/libsolidity/semanticTests/array/copying/copying_bytes_multiassign.sol # test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/elements_of_nested_array_of_structs_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/function_type_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/memory_dyn_2d_bytes_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_element_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_of_structs_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_array_of_structs_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol # test/libsolidity/semanticTests/array/delete/bytes_delete_element.sol # test/libsolidity/semanticTests/array/delete/delete_bytes_array.sol # test/libsolidity/semanticTests/array/delete/delete_storage_array_packed.sol # test/libsolidity/semanticTests/array/dynamic_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_array_cleanup.sol # test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol # test/libsolidity/semanticTests/array/nested_calldata_storage2.sol # test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_copy_long.sol # test/libsolidity/semanticTests/array/push/array_push_nested_from_calldata.sol # test/libsolidity/semanticTests/array/push/array_push_packed_array.sol # test/libsolidity/semanticTests/array/push/array_push_struct.sol # test/libsolidity/semanticTests/array/push/nested_bytes_push.sol # test/libsolidity/semanticTests/array/push/push_no_args_2d.sol # test/libsolidity/semanticTests/calldata/copy_from_calldata_removes_bytes_data.sol # test/libsolidity/semanticTests/cleanup/byte_array_to_storage_cleanup.sol # test/libsolidity/semanticTests/cleanup/indexed_log_topic_during_explicit_downcast_during_emissions.sol # test/libsolidity/semanticTests/constants/asm_address_constant_regression.sol # test/libsolidity/semanticTests/constructor/arrays_in_constructors.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_packer.sol # test/libsolidity/semanticTests/constructor/bytes_in_constructors_unpacker.sol # test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol # test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_indexed_mixed.sol # test/libsolidity/semanticTests/events/event_signature_in_library.sol # test/libsolidity/semanticTests/experimental/stub.sol # test/libsolidity/semanticTests/experimental/type_class.sol # test/libsolidity/semanticTests/externalContracts/FixedFeeRegistrar.sol # test/libsolidity/semanticTests/externalContracts/base64.sol # test/libsolidity/semanticTests/externalContracts/deposit_contract.sol # test/libsolidity/semanticTests/externalContracts/prbmath_signed.sol # test/libsolidity/semanticTests/externalContracts/prbmath_unsigned.sol # test/libsolidity/semanticTests/externalContracts/ramanujan_pi.sol # test/libsolidity/semanticTests/externalContracts/snark.sol # test/libsolidity/semanticTests/externalContracts/strings.sol # test/libsolidity/semanticTests/fallback/call_forward_bytes.sol # test/libsolidity/semanticTests/functionCall/send_zero_ether.sol # test/libsolidity/semanticTests/functionTypes/store_function.sol # test/libsolidity/semanticTests/inheritance/address_overload_resolution.sol # test/libsolidity/semanticTests/inheritance/inherited_function_calldata_calldata_interface.sol # test/libsolidity/semanticTests/inheritance/inherited_function_calldata_memory_interface.sol # test/libsolidity/semanticTests/inheritance/interface_inheritance_conversions.sol # test/libsolidity/semanticTests/inlineAssembly/keccak_yul_optimization.sol # test/libsolidity/semanticTests/libraries/using_library_structs.sol # test/libsolidity/semanticTests/operators/userDefined/operator_making_pure_external_call.sol # test/libsolidity/semanticTests/operators/userDefined/operator_making_view_external_call.sol # test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_dynamic_array.sol # test/libsolidity/semanticTests/storageLayoutSpecifier/state_variable_mapping.sol # test/libsolidity/semanticTests/structs/copy_from_mapping.sol # test/libsolidity/semanticTests/structs/copy_from_storage.sol # test/libsolidity/semanticTests/structs/copy_struct_array_from_storage.sol # test/libsolidity/semanticTests/structs/copy_substructures_from_mapping.sol # test/libsolidity/semanticTests/structs/copy_substructures_to_mapping.sol # test/libsolidity/semanticTests/structs/copy_to_mapping.sol # test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_nested_small.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_with_array.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_with_arrays_small.sol # test/libsolidity/semanticTests/types/mapping/copy_from_mapping_to_mapping.sol # test/libsolidity/semanticTests/userDefinedValueType/calldata.sol # test/libsolidity/semanticTests/userDefinedValueType/calldata_to_storage.sol # test/libsolidity/semanticTests/userDefinedValueType/erc20.sol # test/libsolidity/semanticTests/userDefinedValueType/memory_to_storage.sol # test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_elementary.sol # test/libsolidity/semanticTests/userDefinedValueType/zero_cost_abstraction_comparison_userdefined.sol # test/libsolidity/semanticTests/various/address_code.sol # test/libsolidity/semanticTests/various/codebalance_assembly.sol # test/libsolidity/semanticTests/various/contract_binary_dependencies.sol # test/libsolidity/semanticTests/various/create_calldata.sol # test/libsolidity/semanticTests/various/destructuring_assignment.sol # test/libsolidity/semanticTests/various/erc20.sol # test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol # test/libsolidity/smtCheckerTests/blockchain_state/balance_spend.sol # test/libsolidity/smtCheckerTests/blockchain_state/balance_spend_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/decreasing_balance.sol # test/libsolidity/smtCheckerTests/blockchain_state/free_function_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/library_internal_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/library_public_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_1.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_2.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_3.sol # test/libsolidity/smtCheckerTests/blockchain_state/transfer_4.sol # test/libsolidity/smtCheckerTests/bmc_coverage/funds.sol # test/libsolidity/smtCheckerTests/deployment/deploy_trusted_addresses.sol # test/libsolidity/smtCheckerTests/deployment/deploy_untrusted_addresses.sol # test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_2.sol # test/libsolidity/smtCheckerTests/external_calls/external_call_indirect_5.sol # test/libsolidity/smtCheckerTests/functions/functions_external_2.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_1.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_2.sol # test/libsolidity/smtCheckerTests/functions/getters/array_of_structs_3.sol # test/libsolidity/smtCheckerTests/functions/getters/contract.sol # test/libsolidity/smtCheckerTests/functions/getters/struct_4.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_abstract.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_1.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_2.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_3.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_overriding_4.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_1.sol # test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_2.sol # test/libsolidity/smtCheckerTests/types/address_transfer.sol # test/libsolidity/smtCheckerTests/types/address_transfer_2.sol # test/libsolidity/smtCheckerTests/types/address_transfer_3.sol # test/libsolidity/smtCheckerTests/types/address_transfer_insufficient.sol # test/libsolidity/smtCheckerTests/types/contract.sol # test/libsolidity/smtCheckerTests/types/contract_2.sol # test/libsolidity/smtCheckerTests/types/contract_3.sol # test/libsolidity/smtCheckerTests/types/contract_address_conversion_2.sol # test/libsolidity/smtCheckerTests/types/struct/struct_constructor_fixed_bytes_from_string_1.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse.sol # test/libsolidity/syntaxTests/abiEncoder/conflicting_settings_reverse_experimental.sol # test/libsolidity/syntaxTests/abiEncoder/select_v1.sol # test/libsolidity/syntaxTests/abiEncoder/select_v1_quoted_string.sol # test/libsolidity/syntaxTests/abiEncoder/selected_twice.sol # test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v1_type.sol # test/libsolidity/syntaxTests/abiEncoder/v1_accessing_public_state_variable_via_v2_type.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v1_library_function_accepting_storage_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_constructor_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_accepting_struct_via_named_argument.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_pointer_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_dynamic_string_array.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_contract_function_returning_struct_with_dynamic_array.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_event_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_attached_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_accepting_storage_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_library_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_call_to_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_constructor_with_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_calling_v2_function.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_event.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_accepting_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_defining_v2_function_returning_struct.sol # test/libsolidity/syntaxTests/abiEncoder/v1_inheritance_from_contract_emitting_v2_event.sol # test/libsolidity/syntaxTests/abiEncoder/v1_modifier_overriding_v2_modifier.sol # test/libsolidity/syntaxTests/abiEncoder/v1_v2_v1_modifier_mix.sol # test/libsolidity/syntaxTests/abiEncoder/v2_v1_v1_modifier_sandwich.sol # test/libsolidity/syntaxTests/abiEncoder/v2_v1_v2_modifier_sandwich.sol # test/libsolidity/syntaxTests/array/calldata_multi_dynamic_V1.sol # test/libsolidity/syntaxTests/array/concat/bytes_concat_valid_type_literal.sol # test/libsolidity/syntaxTests/array/concat/bytes_concat_wrong_type_empty_string_literal.sol # test/libsolidity/syntaxTests/array/copy_from_function_type.sol # test/libsolidity/syntaxTests/constants/initialization/abi_encoding_builtin_const_args.sol # test/libsolidity/syntaxTests/constants/initialization/addmod_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/addmod_mulmod_rational_arg.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_1.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_2.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_3.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_4.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_5.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_file_and_library.sol # test/libsolidity/syntaxTests/constants/initialization/constant_with_cyclic_dependency_library.sol # test/libsolidity/syntaxTests/constants/initialization/division_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/function_pointer_call.sol # test/libsolidity/syntaxTests/constants/initialization/modulo_by_zero.sol # test/libsolidity/syntaxTests/constants/initialization/mulmod_by_zero.sol # test/libsolidity/syntaxTests/constructor/nonabiv2_type.sol # test/libsolidity/syntaxTests/constructor/nonabiv2_type_abstract.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/implemented_without_placeholder.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_different_functions.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/modifier_override.sol # test/libsolidity/syntaxTests/controlFlow/modifiers/non_implemented_modifier.sol # test/libsolidity/syntaxTests/conversion/implicit_conversion_of_super_in_comparison.sol # test/libsolidity/syntaxTests/errors/no_structs_in_abiv1.sol # test/libsolidity/syntaxTests/events/event_nested_array.sol # test/libsolidity/syntaxTests/events/event_nested_array_in_struct.sol # test/libsolidity/syntaxTests/events/event_struct.sol # test/libsolidity/syntaxTests/events/event_struct_indexed.sol # test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol # test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_duplicate.sol # test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition_unknown.sol # test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_function.sol # test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_quantified_function.sol # test/libsolidity/syntaxTests/experimental/forall/undeclared_type_variable_in_type_class.sol # test/libsolidity/syntaxTests/experimental/import/experimental_solidity.sol # test/libsolidity/syntaxTests/experimental/import/experimental_solidity_multisource_not_all_enable.sol # test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_1.sol # test/libsolidity/syntaxTests/experimental/import/experimental_solidity_out_of_order_2.sol # test/libsolidity/syntaxTests/experimental/import/experimental_solidity_wrong_evm_version.sol # test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_1.sol # test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_2.sol # test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_3.sol # test/libsolidity/syntaxTests/experimental/import/parsing_stdlib_import_4.sol # test/libsolidity/syntaxTests/experimental/inference/import_and_call_stdlib_function.sol # test/libsolidity/syntaxTests/experimental/inference/instantiation_invalid_type_constructor.sol # test/libsolidity/syntaxTests/experimental/inference/instantiation_member_type_does_not_match_declaration.sol # test/libsolidity/syntaxTests/experimental/inference/instantiation_not_for_class.sol # test/libsolidity/syntaxTests/experimental/inference/invalid_type_referenced.sol # test/libsolidity/syntaxTests/experimental/inference/monomorphic_function_call_type_mismatch.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_let_polymorphism.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call_type_mismatch.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_abs_and_rep.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_type_instantiation_and_operators.sol # test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameter_and_return.sol # test/libsolidity/syntaxTests/experimental/inference/type_variable_multi_use_function_parameters.sol # test/libsolidity/syntaxTests/experimental/parsing/forall_free_function.sol # test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_no_type_var.sol # test/libsolidity/syntaxTests/experimental/parsing/forall_free_function_with_sorts.sol # test/libsolidity/syntaxTests/experimental/parsing/forall_type_class.sol # test/libsolidity/syntaxTests/experimental/parsing/forall_type_class_instantiation.sol # test/libsolidity/syntaxTests/freeFunctions/free_constructor.sol # test/libsolidity/syntaxTests/freeFunctions/free_fallback.sol # test/libsolidity/syntaxTests/freeFunctions/free_receive.sol # test/libsolidity/syntaxTests/getter/nested_structs.sol # test/libsolidity/syntaxTests/immutable/inheritance_virtual_modifiers.sol # test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_1.sol # test/libsolidity/syntaxTests/imports/inheritance_abi_encoder_mismatch_2.sol # test/libsolidity/syntaxTests/inheritance/dataLocation/modifier_parameter_data_location_change_illegal_internal.sol # test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous.sol # test/libsolidity/syntaxTests/inheritance/override/modifier_ambiguous_fail.sol # test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature.sol # test/libsolidity/syntaxTests/inheritance/override/modifier_inherited_different_signature_override.sol # test/libsolidity/syntaxTests/inheritance/override/nonintermediate_common_base_and_unique_implementation_modifier.sol # test/libsolidity/syntaxTests/inheritance/virtual/modifier_virtual_err.sol # test/libsolidity/syntaxTests/inheritance/virtual/simple.sol # test/libsolidity/syntaxTests/inlineAssembly/memory_safe_dialect_string_and_comment.sol # test/libsolidity/syntaxTests/inlineAssembly/natspec_multi.sol # test/libsolidity/syntaxTests/inlineAssembly/natspec_multi_swallowed.sol # test/libsolidity/syntaxTests/modifiers/definition_in_contract.sol # test/libsolidity/syntaxTests/modifiers/definition_in_contract_unimplemented.sol # test/libsolidity/syntaxTests/modifiers/definition_in_interface.sol # test/libsolidity/syntaxTests/modifiers/definition_in_library.sol # test/libsolidity/syntaxTests/modifiers/definition_in_library_unimplemented.sol # test/libsolidity/syntaxTests/modifiers/empty_modifier_body.sol # test/libsolidity/syntaxTests/modifiers/empty_modifier_err.sol # test/libsolidity/syntaxTests/modifiers/legal_modifier_override.sol # test/libsolidity/syntaxTests/modifiers/modifier_abstract_override.sol # test/libsolidity/syntaxTests/modifiers/multiple_inheritance_unimplemented_override.sol # test/libsolidity/syntaxTests/modifiers/unimplemented_function_and_modifier.sol # test/libsolidity/syntaxTests/modifiers/unimplemented_override_unimplemented.sol # test/libsolidity/syntaxTests/modifiers/use_unimplemented_from_base.sol # test/libsolidity/syntaxTests/modifiers/use_unimplemented_on_overridden_func.sol # test/libsolidity/syntaxTests/modifiers/use_unimplemented_static.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/045_returning_multi_dimensional_arrays.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/046_returning_multi_dimensional_static_arrays.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/048_returning_arrays_in_structs_arrays.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/346_unused_return_value_send.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/405_address_checksum_type_deduction.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/413_address_methods.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/466_does_not_error_transfer_payable_fallback.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/535_address_overload_resolution.sol # test/libsolidity/syntaxTests/nameAndTypeResolution/585_abi_decode_with_unsupported_types.sol # test/libsolidity/syntaxTests/parsing/unexpected.sol # test/libsolidity/syntaxTests/pragma/experimental_pragma_duplicate.sol # test/libsolidity/syntaxTests/pragma/experimental_test_warning.sol # test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large_abiencoder_v1.sol # test/libsolidity/syntaxTests/specialFunctions/abi_encodePacked_nested_dynamic_array.sol # test/libsolidity/syntaxTests/specialFunctions/abi_encode_nested_dynamic_array.sol # test/libsolidity/syntaxTests/specialFunctions/abi_encode_structs.sol # test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_nested_dynamic_array.sol # test/libsolidity/syntaxTests/specialFunctions/abidecode/abi_decode_struct.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/abi_decode.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/address.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/array_literal.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/bitwise_negation_after_cast.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/boolean.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_its_negation.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_divided_by_zero.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/constant_from_base_contract.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/enum.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/function_defined_in_other_contract.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/function_selector.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_address.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/hex_string_cast.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_bytes.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specification_constant_in_expression.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_bytes_concat.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_function_empty_call_options.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_interface_id.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_kecak256.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_module.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_other_contract.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/layout_specified_by_type.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/literal_cast.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/precompiles.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/rational_number_without_fractional_part.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/string.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/ternary_operator.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/tuple.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/type_uint_max.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_unwrap.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/user_defined_value_type_wrap.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_array_literal.sol # test/libsolidity/syntaxTests/storageLayoutSpecifier/value_from_bytes.sol # test/libsolidity/syntaxTests/structs/recursion/recursive_struct_nested_mapping_memory.sol # test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol # test/libsolidity/syntaxTests/viewPureChecker/builtin_functions_view_fail.sol # test/libsolidity/syntaxTests/viewPureChecker/eof/builtin_functions.sol # test/libsolidity/util/TestFileParser.cpp # test/libsolutil/DisjointSet.cpp # test/libyul/Common.cpp # test/libyul/EVMCodeTransformTest.cpp # test/libyul/ObjectParser.cpp # test/libyul/YulOptimizerTestCommon.cpp # test/libyul/ssa/ControlFlowGraphTest.cpp # test/libyul/ssa/ControlFlowGraphTest.h # test/libyul/ssa/controlFlowGraph/complex.yul # test/libyul/ssa/controlFlowGraph/complex2.yul # test/libyul/ssa/controlFlowGraph/default_initialized_variable.yul # test/libyul/ssa/controlFlowGraph/function.yul # test/libyul/ssa/controlFlowGraph/if.yul # test/libyul/ssa/controlFlowGraph/if_const.yul # test/libyul/ssa/controlFlowGraph/nested_for.yul # test/libyul/ssa/controlFlowGraph/nested_function.yul # test/libyul/ssa/controlFlowGraph/switch.yul # test/libyul/ssa/controlFlowGraph/switch_const.yul # test/libyul/yulOptimizerTests/expressionSimplifier/invalid_match.yul # test/libyul/yulOptimizerTests/fullSuite/aztec.yul # test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul # test/lsp.py # test/scripts/test_externalTests_benchmark_downloader.py # test/scripts/test_gas_diff_stats.py # test/solc/CommandLineInterface.cpp # test/solc/CommandLineParser.cpp # test/tools/CMakeLists.txt # test/tools/ossfuzz/StackReuseCodegenFuzzer.cpp # test/tools/ossfuzz/YulEvmoneInterface.h # test/tools/ossfuzz/abiV2Proto.proto # test/tools/ossfuzz/strictasm_assembly_ossfuzz.cpp # test/tools/ossfuzz/strictasm_diff_ossfuzz.cpp # test/tools/ossfuzz/strictasm_opt_ossfuzz.cpp # test/tools/ossfuzz/yulProtoFuzzer.cpp # test/tools/ossfuzz/yulProto_diff_ossfuzz.cpp # test/tools/yulInterpreter/EVMInstructionInterpreter.cpp # test/tools/yulInterpreter/EVMInstructionInterpreter.h # test/tools/yulrun.cpp # tools/yulPhaser/README.md
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
20 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-04-20 (commit 2282b934).
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: