English documentation updates up to v0.8.30-122-g29bba317b (2025-08-26) #411
Conversation
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
Set next version to `0.8.30`
…-checklist release checklist: mention buildx as requirement for docker_deploy_manual
bump fmtlib to 11.1.4
- double backticks -> single backticks - remove single space before bullet points
…le_backticks Remove double backticks and indented bullet points from Markdown files
Name dependent CSE bug: Compare ASM only
…on_call_visitor SSACFG Builder: Improve function call visitor
Previously, when a contract was selected for analysis, the analysis was incorrect. There were two issues. First, the contracts in the same file were considered as entry points even though they were not selected for analysis. Second, the contracts in a different file were mostly ignored, resulting in unsoundness when an external call was made to such a contract in trusted mode. The solution to the above problems is to always create representation of all contracts (in case they are called from the selected contract), but create verification targets only for the selected contracts.
SMTChecker: Fix analysis for selected contracts
…builtin Yul Disambiguator: Don't check for builtins when translating identifiers
…ine_asm_mangling IRGeneratorForStatements: Remove outdated check against usr$ prefixing of builtins
…iendly Make the peephole optimizer more optimizer-friendly
…n-in-assembly-item AssemblyItem gets an optional instruction
…rsion-with-custom-types SMTChecker: Fix string literal to fixed bytes conversion with user-defined type
…address docs: fix unnecessary `uint160(bytes20(b))` casting
docs: fix typos in comments across multiple files
Replace "External accounts" with "Externally-owned accounts" for accuracy
Fix external ENS test
…s.py Co-authored-by: clonker <1685266+clonker@users.noreply.github.com>
chore: improve code readability and style in regressions.py and splitSources.py
[SMTChecker] Fix comparison of `CHCVerificationTarget` for proper `std::set` ordering
SSA-CFG: Tiny code simplifications
Add Cyfrin's glossary to Resources in the docs
…ar-const refactor(formal): remove unused `clear()`/`solver()` from `EncodingContext`
In some circumstances (in particular if not the AST is not in SSA form), it could happen that the ExpressionSimplifier would substitute out-of-scope variables.
…on_simplifier Yul expression simplifier: Don't substitute out of scope variables
(cherry picked from commit 9697efebffc0b091606f484b8a6104b543fcb658)
…ersion Pin hardhat to last 2.x.x version
…l-tests Bump node image for external tests running on hardhat
Boost.System has been header-only since Boost 1.69 and will be dropping the compatibility stub library in Boost 1.89 (boostorg/system@7a495bb). Since the `system` component is only needed for Boost < 1.69, it can be added to `BOOST_COMPONENTS` in the fallback find_package. Signed-off-by: Michael Cho <michael@michaelcho.dev>
Remove the hard dependency on `boost::system` compatibility library to fix builds with Boost 1.89.0
…-function-behavior fix: correct fromHex function documentation
# Conflicts: # .circleci/README.md # .circleci/build_win.ps1 # .circleci/config.yml # .circleci/osx_install_dependencies.sh # .circleci/soltest.sh # .circleci/soltest_all.sh # .clang-format # .dockerignore # .github/ISSUE_TEMPLATE/bug_report.md # .github/ISSUE_TEMPLATE/config.yml # .github/ISSUE_TEMPLATE/documentation_issue.md # .github/ISSUE_TEMPLATE/feature_request.md # .github/workflows/buildpack-deps.yml # .github/workflows/stale.yml # .github/workflows/welcome-external-pr.yml # .gitignore # CODE_OF_CONDUCT.md # CODING_STYLE.md # Changelog.md # README.md # ReleaseChecklist.md # ReviewChecklist.md # cmake/EthCompilerSettings.cmake # cmake/EthDependencies.cmake # cmake/EthToolchains.cmake # cmake/FindZ3.cmake # cmake/fmtlib.cmake # cmake/range-v3.cmake # cmake/scripts/buildinfo.cmake # cmake/templates/license.h.in # cmake/toolchains/libfuzzer.cmake # cmake/toolchains/ossfuzz.cmake # libevmasm/Assembly.cpp # libevmasm/Assembly.h # libevmasm/AssemblyItem.cpp # libevmasm/AssemblyItem.h # libevmasm/BlockDeduplicator.cpp # libevmasm/BlockDeduplicator.h # libevmasm/CMakeLists.txt # libevmasm/CommonSubexpressionEliminator.cpp # libevmasm/CommonSubexpressionEliminator.h # libevmasm/ConstantOptimiser.cpp # libevmasm/ConstantOptimiser.h # libevmasm/ControlFlowGraph.cpp # libevmasm/Disassemble.cpp # libevmasm/Disassemble.h # libevmasm/Exceptions.h # libevmasm/ExpressionClasses.cpp # libevmasm/ExpressionClasses.h # libevmasm/GasMeter.cpp # libevmasm/GasMeter.h # libevmasm/Inliner.cpp # libevmasm/Instruction.cpp # libevmasm/Instruction.h # libevmasm/JumpdestRemover.cpp # libevmasm/JumpdestRemover.h # libevmasm/KnownState.cpp # libevmasm/KnownState.h # libevmasm/LinkerObject.cpp # libevmasm/LinkerObject.h # libevmasm/PathGasMeter.cpp # libevmasm/PeepholeOptimiser.cpp # libevmasm/PeepholeOptimiser.h # libevmasm/SemanticInformation.cpp # libevmasm/SemanticInformation.h # libevmasm/SimplificationRule.h # libevmasm/SimplificationRules.cpp # libevmasm/SimplificationRules.h # liblangutil/CMakeLists.txt # liblangutil/CharStream.cpp # liblangutil/DebugInfoSelection.cpp # liblangutil/DebugInfoSelection.h # liblangutil/EVMVersion.cpp # liblangutil/EVMVersion.h # liblangutil/ErrorReporter.cpp # liblangutil/ErrorReporter.h # liblangutil/Exceptions.cpp # liblangutil/Exceptions.h # liblangutil/ParserBase.cpp # liblangutil/ParserBase.h # liblangutil/Scanner.cpp # liblangutil/Scanner.h # liblangutil/SemVerHandler.cpp # liblangutil/SourceLocation.cpp # liblangutil/SourceReferenceExtractor.cpp # liblangutil/SourceReferenceFormatter.cpp # liblangutil/SourceReferenceFormatter.h # liblangutil/Token.cpp # liblangutil/Token.h # liblangutil/UniqueErrorReporter.h # libsmtutil/CHCSmtLib2Interface.cpp # libsmtutil/CHCSmtLib2Interface.h # libsmtutil/CHCSolverInterface.h # libsmtutil/CMakeLists.txt # libsmtutil/Exceptions.h # libsmtutil/SMTLib2Interface.cpp # libsmtutil/SMTLib2Interface.h # libsmtutil/SMTPortfolio.cpp # libsmtutil/SMTPortfolio.h # libsmtutil/SolverInterface.h # libsmtutil/Sorts.cpp # libsmtutil/Sorts.h # libsolc/libsolc.cpp # libsolc/libsolc.h # libsolidity/CMakeLists.txt # libsolidity/analysis/ConstantEvaluator.cpp # libsolidity/analysis/ConstantEvaluator.h # libsolidity/analysis/ContractLevelChecker.cpp # libsolidity/analysis/ContractLevelChecker.h # libsolidity/analysis/ControlFlowAnalyzer.cpp # libsolidity/analysis/ControlFlowBuilder.cpp # libsolidity/analysis/ControlFlowBuilder.h # libsolidity/analysis/ControlFlowGraph.cpp # libsolidity/analysis/DeclarationContainer.cpp # libsolidity/analysis/DeclarationTypeChecker.cpp # libsolidity/analysis/DocStringAnalyser.cpp # libsolidity/analysis/DocStringTagParser.cpp # libsolidity/analysis/FunctionCallGraph.cpp # libsolidity/analysis/FunctionCallGraph.h # libsolidity/analysis/GlobalContext.cpp # libsolidity/analysis/GlobalContext.h # libsolidity/analysis/ImmutableValidator.cpp # libsolidity/analysis/ImmutableValidator.h # libsolidity/analysis/NameAndTypeResolver.cpp # libsolidity/analysis/NameAndTypeResolver.h # libsolidity/analysis/OverrideChecker.cpp # libsolidity/analysis/PostTypeChecker.cpp # libsolidity/analysis/PostTypeChecker.h # libsolidity/analysis/PostTypeContractLevelChecker.cpp # libsolidity/analysis/PostTypeContractLevelChecker.h # libsolidity/analysis/ReferencesResolver.cpp # libsolidity/analysis/ReferencesResolver.h # libsolidity/analysis/Scoper.cpp # libsolidity/analysis/StaticAnalyzer.cpp # libsolidity/analysis/StaticAnalyzer.h # libsolidity/analysis/SyntaxChecker.cpp # libsolidity/analysis/SyntaxChecker.h # libsolidity/analysis/TypeChecker.cpp # libsolidity/analysis/TypeChecker.h # libsolidity/analysis/ViewPureChecker.cpp # libsolidity/analysis/ViewPureChecker.h # libsolidity/ast/AST.cpp # libsolidity/ast/AST.h # libsolidity/ast/ASTAnnotations.cpp # libsolidity/ast/ASTAnnotations.h # libsolidity/ast/ASTForward.h # libsolidity/ast/ASTJsonExporter.cpp # libsolidity/ast/ASTJsonExporter.h # libsolidity/ast/ASTJsonImporter.cpp # libsolidity/ast/ASTJsonImporter.h # libsolidity/ast/ASTUtils.cpp # libsolidity/ast/ASTUtils.h # libsolidity/ast/ASTVisitor.h # libsolidity/ast/AST_accept.h # libsolidity/ast/CallGraph.cpp # libsolidity/ast/ExperimentalFeatures.h # libsolidity/ast/TypeProvider.cpp # libsolidity/ast/TypeProvider.h # libsolidity/ast/Types.cpp # libsolidity/ast/Types.h # libsolidity/codegen/ABIFunctions.cpp # libsolidity/codegen/ABIFunctions.h # libsolidity/codegen/ArrayUtils.cpp # libsolidity/codegen/ArrayUtils.h # libsolidity/codegen/Compiler.cpp # 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/LValue.h # libsolidity/codegen/MultiUseYulFunctionCollector.cpp # libsolidity/codegen/YulUtilFunctions.cpp # libsolidity/codegen/YulUtilFunctions.h # libsolidity/codegen/ir/Common.cpp # libsolidity/codegen/ir/Common.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/codegen/ir/IRGeneratorForStatements.h # libsolidity/codegen/ir/IRLValue.h # libsolidity/codegen/ir/IRVariable.cpp # libsolidity/experimental/analysis/TypeClassRegistration.h # libsolidity/formal/ArraySlicePredicate.cpp # libsolidity/formal/ArraySlicePredicate.h # libsolidity/formal/BMC.cpp # libsolidity/formal/BMC.h # libsolidity/formal/CHC.cpp # libsolidity/formal/CHC.h # libsolidity/formal/Cvc5SMTLib2Interface.h # libsolidity/formal/EldaricaCHCSmtLib2Interface.h # libsolidity/formal/EncodingContext.cpp # libsolidity/formal/EncodingContext.h # libsolidity/formal/ExpressionFormatter.cpp # libsolidity/formal/ExpressionFormatter.h # libsolidity/formal/ModelChecker.cpp # libsolidity/formal/ModelChecker.h # libsolidity/formal/ModelCheckerSettings.cpp # libsolidity/formal/ModelCheckerSettings.h # libsolidity/formal/Predicate.cpp # libsolidity/formal/Predicate.h # libsolidity/formal/PredicateInstance.cpp # libsolidity/formal/PredicateInstance.h # libsolidity/formal/PredicateSort.cpp # libsolidity/formal/PredicateSort.h # libsolidity/formal/SMTEncoder.cpp # libsolidity/formal/SMTEncoder.h # libsolidity/formal/SSAVariable.cpp # libsolidity/formal/SymbolicState.cpp # libsolidity/formal/SymbolicState.h # libsolidity/formal/SymbolicTypes.cpp # libsolidity/formal/SymbolicTypes.h # libsolidity/formal/SymbolicVariables.cpp # libsolidity/formal/SymbolicVariables.h # libsolidity/formal/Z3SMTLib2Interface.h # libsolidity/interface/ABI.cpp # libsolidity/interface/ABI.h # libsolidity/interface/CompilerStack.cpp # libsolidity/interface/CompilerStack.h # libsolidity/interface/FileReader.cpp # libsolidity/interface/GasEstimator.cpp # libsolidity/interface/ImportRemapper.cpp # libsolidity/interface/Natspec.cpp # libsolidity/interface/Natspec.h # libsolidity/interface/OptimiserSettings.h # libsolidity/interface/SMTSolverCommand.cpp # libsolidity/interface/SMTSolverCommand.h # libsolidity/interface/StandardCompiler.cpp # libsolidity/interface/StandardCompiler.h # libsolidity/interface/StorageLayout.cpp # libsolidity/interface/StorageLayout.h # libsolidity/interface/UniversalCallback.h # libsolidity/interface/Version.cpp # libsolidity/lsp/DocumentHoverHandler.cpp # libsolidity/lsp/DocumentHoverHandler.h # libsolidity/lsp/FileRepository.cpp # libsolidity/lsp/GotoDefinition.cpp # libsolidity/lsp/GotoDefinition.h # libsolidity/lsp/HandlerBase.cpp # libsolidity/lsp/HandlerBase.h # libsolidity/lsp/LanguageServer.cpp # libsolidity/lsp/LanguageServer.h # libsolidity/lsp/RenameSymbol.cpp # libsolidity/lsp/RenameSymbol.h # libsolidity/lsp/SemanticTokensBuilder.cpp # libsolidity/lsp/SemanticTokensBuilder.h # libsolidity/lsp/Transport.cpp # libsolidity/lsp/Transport.h # libsolidity/lsp/Utils.cpp # libsolidity/lsp/Utils.h # libsolidity/parsing/DocStringParser.cpp # libsolidity/parsing/Parser.cpp # libsolidity/parsing/Parser.h # libsolutil/AnsiColorized.h # libsolutil/Assertions.h # libsolutil/CMakeLists.txt # libsolutil/Common.h # libsolutil/CommonData.cpp # libsolutil/CommonData.h # libsolutil/CommonIO.cpp # libsolutil/Exceptions.cpp # libsolutil/Exceptions.h # libsolutil/FixedHash.h # libsolutil/IpfsHash.cpp # libsolutil/JSON.cpp # libsolutil/JSON.h # libsolutil/Keccak256.cpp # libsolutil/Numeric.h # libsolutil/Result.h # libsolutil/StringUtils.cpp # libsolutil/StringUtils.h # libsolutil/SwarmHash.cpp # libsolutil/TemporaryDirectory.cpp # libsolutil/Whiskers.cpp # libsolutil/vector_ref.h # libyul/AST.h # libyul/ASTForward.h # libyul/AsmAnalysis.cpp # libyul/AsmAnalysis.h # libyul/AsmJsonConverter.cpp # libyul/AsmJsonConverter.h # libyul/AsmJsonImporter.cpp # libyul/AsmJsonImporter.h # libyul/AsmParser.cpp # libyul/AsmParser.h # libyul/AsmPrinter.cpp # libyul/AsmPrinter.h # libyul/Builtins.h # libyul/CMakeLists.txt # libyul/CompilabilityChecker.cpp # libyul/CompilabilityChecker.h # libyul/ControlFlowSideEffects.h # libyul/ControlFlowSideEffectsCollector.cpp # libyul/ControlFlowSideEffectsCollector.h # libyul/Dialect.cpp # libyul/Dialect.h # libyul/Exceptions.h # libyul/FunctionReferenceResolver.cpp # libyul/FunctionReferenceResolver.h # libyul/Object.cpp # libyul/Object.h # libyul/ObjectParser.cpp # libyul/ObjectParser.h # libyul/Scope.cpp # libyul/Scope.h # libyul/ScopeFiller.cpp # libyul/ScopeFiller.h # libyul/SideEffects.h # libyul/Utilities.cpp # libyul/Utilities.h # libyul/YulName.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/ConstantOptimiser.cpp # libyul/backends/evm/ConstantOptimiser.h # libyul/backends/evm/ControlFlowGraph.h # libyul/backends/evm/ControlFlowGraphBuilder.cpp # libyul/backends/evm/ControlFlowGraphBuilder.h # libyul/backends/evm/EVMCodeTransform.cpp # libyul/backends/evm/EVMCodeTransform.h # libyul/backends/evm/EVMDialect.cpp # libyul/backends/evm/EVMDialect.h # libyul/backends/evm/EVMMetrics.cpp # libyul/backends/evm/EVMMetrics.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/VariableReferenceCounter.cpp # libyul/backends/evm/VariableReferenceCounter.h # libyul/optimiser/ASTCopier.cpp # libyul/optimiser/ASTCopier.h # libyul/optimiser/ASTWalker.cpp # libyul/optimiser/ASTWalker.h # libyul/optimiser/BlockFlattener.cpp # libyul/optimiser/BlockHasher.cpp # libyul/optimiser/BlockHasher.h # libyul/optimiser/CallGraphGenerator.cpp # libyul/optimiser/CallGraphGenerator.h # libyul/optimiser/CircularReferencesPruner.cpp # libyul/optimiser/CircularReferencesPruner.h # libyul/optimiser/CommonSubexpressionEliminator.cpp # libyul/optimiser/CommonSubexpressionEliminator.h # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/ConditionalSimplifier.h # libyul/optimiser/ConditionalUnsimplifier.cpp # libyul/optimiser/ConditionalUnsimplifier.h # libyul/optimiser/ControlFlowSimplifier.cpp # libyul/optimiser/ControlFlowSimplifier.h # libyul/optimiser/DataFlowAnalyzer.cpp # libyul/optimiser/DataFlowAnalyzer.h # libyul/optimiser/DeadCodeEliminator.cpp # libyul/optimiser/DeadCodeEliminator.h # libyul/optimiser/Disambiguator.cpp # libyul/optimiser/Disambiguator.h # libyul/optimiser/EqualStoreEliminator.cpp # libyul/optimiser/EqualStoreEliminator.h # libyul/optimiser/EquivalentFunctionCombiner.cpp # libyul/optimiser/EquivalentFunctionCombiner.h # libyul/optimiser/EquivalentFunctionDetector.cpp # libyul/optimiser/EquivalentFunctionDetector.h # libyul/optimiser/ExpressionInliner.cpp # libyul/optimiser/ExpressionInliner.h # libyul/optimiser/ExpressionJoiner.cpp # libyul/optimiser/ExpressionJoiner.h # libyul/optimiser/ExpressionSimplifier.cpp # libyul/optimiser/ExpressionSimplifier.h # libyul/optimiser/ExpressionSplitter.cpp # libyul/optimiser/ExpressionSplitter.h # libyul/optimiser/ForLoopConditionIntoBody.cpp # libyul/optimiser/ForLoopConditionOutOfBody.cpp # libyul/optimiser/ForLoopInitRewriter.cpp # libyul/optimiser/FullInliner.cpp # libyul/optimiser/FullInliner.h # libyul/optimiser/FunctionCallFinder.cpp # libyul/optimiser/FunctionCallFinder.h # libyul/optimiser/FunctionGrouper.cpp # libyul/optimiser/FunctionHoister.cpp # libyul/optimiser/FunctionHoister.h # libyul/optimiser/FunctionSpecializer.cpp # libyul/optimiser/FunctionSpecializer.h # libyul/optimiser/InlinableExpressionFunctionFinder.cpp # libyul/optimiser/InlinableExpressionFunctionFinder.h # libyul/optimiser/KnowledgeBase.cpp # libyul/optimiser/KnowledgeBase.h # libyul/optimiser/LoadResolver.cpp # libyul/optimiser/LoadResolver.h # libyul/optimiser/LoopInvariantCodeMotion.cpp # libyul/optimiser/LoopInvariantCodeMotion.h # libyul/optimiser/Metrics.cpp # libyul/optimiser/Metrics.h # libyul/optimiser/NameCollector.cpp # libyul/optimiser/NameCollector.h # libyul/optimiser/NameDispenser.cpp # libyul/optimiser/NameDispenser.h # libyul/optimiser/NameDisplacer.cpp # libyul/optimiser/NameDisplacer.h # libyul/optimiser/NameSimplifier.cpp # libyul/optimiser/NameSimplifier.h # libyul/optimiser/OptimiserStep.h # libyul/optimiser/OptimizerUtilities.cpp # libyul/optimiser/OptimizerUtilities.h # libyul/optimiser/Rematerialiser.cpp # libyul/optimiser/Rematerialiser.h # libyul/optimiser/SSAReverser.cpp # libyul/optimiser/SSAReverser.h # libyul/optimiser/SSATransform.cpp # libyul/optimiser/SSATransform.h # libyul/optimiser/SSAValueTracker.cpp # libyul/optimiser/SSAValueTracker.h # libyul/optimiser/Semantics.cpp # libyul/optimiser/Semantics.h # libyul/optimiser/SimplificationRules.cpp # libyul/optimiser/SimplificationRules.h # libyul/optimiser/StackCompressor.cpp # libyul/optimiser/StackCompressor.h # libyul/optimiser/StackLimitEvader.cpp # libyul/optimiser/StackLimitEvader.h # libyul/optimiser/StackToMemoryMover.cpp # libyul/optimiser/StackToMemoryMover.h # libyul/optimiser/StructuralSimplifier.cpp # libyul/optimiser/Substitution.cpp # libyul/optimiser/Substitution.h # libyul/optimiser/Suite.cpp # libyul/optimiser/Suite.h # libyul/optimiser/SyntacticalEquality.cpp # libyul/optimiser/SyntacticalEquality.h # libyul/optimiser/UnusedAssignEliminator.cpp # libyul/optimiser/UnusedAssignEliminator.h # libyul/optimiser/UnusedFunctionParameterPruner.cpp # libyul/optimiser/UnusedFunctionsCommon.cpp # libyul/optimiser/UnusedFunctionsCommon.h # libyul/optimiser/UnusedPruner.cpp # libyul/optimiser/UnusedPruner.h # libyul/optimiser/UnusedStoreBase.cpp # libyul/optimiser/UnusedStoreBase.h # libyul/optimiser/UnusedStoreEliminator.cpp # libyul/optimiser/UnusedStoreEliminator.h # libyul/optimiser/VarDeclInitializer.cpp # libyul/optimiser/VarNameCleaner.cpp # libyul/optimiser/VarNameCleaner.h # scripts/ASTImportTest.sh # scripts/Dockerfile # scripts/build_emscripten.sh # scripts/bytecodecompare/prepare_report.js # scripts/bytecodecompare/prepare_report.py # scripts/check_style.sh # scripts/chk_shellscripts/chk_shellscripts.sh # scripts/ci/build.sh # scripts/ci/build_emscripten.sh # scripts/ci/build_ossfuzz.sh # scripts/ci/buildpack-deps_test_ubuntu.clang.ossfuzz.sh # scripts/ci/buildpack-deps_test_ubuntu2204.sh # scripts/ci/buildpack-deps_test_ubuntu2404.clang.sh # scripts/ci/buildpack-deps_test_ubuntu2404.sh # scripts/ci/docker_upgrade.sh # scripts/codespell_ignored_lines.txt # scripts/codespell_whitelist.txt # scripts/common.sh # scripts/common/git_helpers.py # scripts/common/rest_api_helpers.py # scripts/common_cmdline.sh # scripts/create_source_tarball.sh # scripts/docker/buildpack-deps/Dockerfile.emscripten # scripts/docker/buildpack-deps/README.md # scripts/docker/buildpack-deps/emscripten.jam # scripts/docker_deploy_manual.sh # scripts/docs_version_pragma_check.sh # scripts/error_codes.py # scripts/externalTests/common.sh # scripts/externalTests/download_benchmarks.py # scripts/gas_diff_stats.py # scripts/install_deps.ps1 # scripts/install_evmone.ps1 # scripts/pylintrc # scripts/regressions.py # scripts/release_ppa.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/yul_coverage.sh # solc/CommandLineInterface.cpp # solc/CommandLineInterface.h # solc/CommandLineParser.cpp # solc/CommandLineParser.h # solc/main.cpp # test/CMakeLists.txt # test/Common.cpp # test/Common.h # test/CommonSyntaxTest.cpp # test/CommonSyntaxTest.h # test/EVMHost.cpp # test/EVMHost.h # test/ExecutionFramework.cpp # test/ExecutionFramework.h # test/FilesystemUtils.cpp # test/InteractiveTests.h # test/Metadata.cpp # test/Metadata.h # test/TestCase.cpp # test/TestCase.h # test/TestCaseReader.cpp # test/TestCaseReader.h # test/cmdlineTests.sh # test/cmdlineTests/abiencoderv2_no_warning/output # test/cmdlineTests/asm_json/output # test/cmdlineTests/asm_json_import_sourcelist_with_null_elements/exit # test/cmdlineTests/asm_json_no_pretty_print/output # test/cmdlineTests/ast_compact_json_no_pretty_json/output # test/cmdlineTests/ast_compact_json_with_base_path/output # test/cmdlineTests/ast_json_import_wrong_evmVersion/err # test/cmdlineTests/combined_json_abi/output # test/cmdlineTests/combined_json_generated_sources/output # test/cmdlineTests/combined_json_no_pretty_print/output # test/cmdlineTests/combined_json_with_base_path/output # test/cmdlineTests/combined_json_with_devdoc/output # test/cmdlineTests/combined_json_with_userdoc/output # test/cmdlineTests/constant_optimizer_yul/output # test/cmdlineTests/debug_info_in_yul_and_evm_asm_print_all/output # test/cmdlineTests/debug_info_in_yul_and_evm_asm_print_all_and_none/err # test/cmdlineTests/debug_info_in_yul_and_evm_asm_print_location_only/output # test/cmdlineTests/debug_info_in_yul_and_evm_asm_print_none/output # test/cmdlineTests/debug_info_in_yul_and_evm_asm_print_snippet_only/err # test/cmdlineTests/debug_info_in_yul_snippet_escaping/output # test/cmdlineTests/dup_opt_peephole/output # test/cmdlineTests/eof_unavailable_before_osaka/exit # test/cmdlineTests/error_codes/err # test/cmdlineTests/evm_version_byzantium/input.sol # test/cmdlineTests/exp_base_literal/output # test/cmdlineTests/function_debug_info/output # test/cmdlineTests/function_debug_info_via_yul/output # test/cmdlineTests/hashes/output # test/cmdlineTests/import_asm_json_eof_unavailable_before_osaka/exit # test/cmdlineTests/inline_assembly_function_name_clash/err # test/cmdlineTests/inline_assembly_function_name_clash/output # test/cmdlineTests/ir_compiler_inheritance_nosubobjects/output # test/cmdlineTests/ir_compiler_subobjects/err # test/cmdlineTests/ir_compiler_subobjects/output # test/cmdlineTests/ir_with_assembly_no_memoryguard_creation/output # test/cmdlineTests/ir_with_assembly_no_memoryguard_runtime/output # test/cmdlineTests/keccak_optimization_deploy_code/output # test/cmdlineTests/keccak_optimization_low_runs/output # test/cmdlineTests/linker_mode_invalid_option_no_optimize_yul/err # test/cmdlineTests/linker_mode_invalid_option_optimize/err # test/cmdlineTests/linker_mode_invalid_option_optimize_runs/err # test/cmdlineTests/linker_mode_invalid_option_optimize_yul/err # test/cmdlineTests/linker_mode_invalid_option_yul_optimizations/err # test/cmdlineTests/linker_mode_output_selection_invalid/args # test/cmdlineTests/linker_mode_output_selection_invalid/err # test/cmdlineTests/linking_qualified_library_name/args # test/cmdlineTests/linking_qualified_library_name/contract1.sol # test/cmdlineTests/linking_qualified_library_name/output # test/cmdlineTests/linking_solidity/args # test/cmdlineTests/linking_solidity/output # test/cmdlineTests/linking_solidity_unresolved_references/args # test/cmdlineTests/linking_solidity_unresolved_references/output # test/cmdlineTests/linking_standard_solidity/output.json # test/cmdlineTests/linking_standard_solidity_quote_in_file_name/output.json # test/cmdlineTests/linking_standard_solidity_unresolved_references/output.json # test/cmdlineTests/linking_standard_yul/output.json # test/cmdlineTests/linking_standard_yul_quote_in_file_name/output.json # test/cmdlineTests/linking_standard_yul_unresolved_references/output.json # test/cmdlineTests/linking_strict_assembly/output # test/cmdlineTests/linking_strict_assembly_duplicate_library_name/err # test/cmdlineTests/linking_strict_assembly_qualified_library_qualified_reference/output # test/cmdlineTests/linking_strict_assembly_qualified_library_unqualified_reference/output # test/cmdlineTests/linking_strict_assembly_same_library_name_different_files/output # test/cmdlineTests/linking_strict_assembly_same_library_name_different_files_in_link_references/output # test/cmdlineTests/linking_strict_assembly_unqualified_library_qualified_reference/output # test/cmdlineTests/linking_strict_assembly_unqualified_library_unqualified_reference/output # test/cmdlineTests/linking_strict_assembly_unresolved_references/output # test/cmdlineTests/linking_unqualified_library_name/args # test/cmdlineTests/linking_unqualified_library_name/contract1.sol # test/cmdlineTests/linking_unqualified_library_name/contract2.sol # test/cmdlineTests/linking_unqualified_library_name/output # test/cmdlineTests/message_format/err # test/cmdlineTests/message_format_utf8/err # test/cmdlineTests/model_checker_contracts_all/err # test/cmdlineTests/model_checker_contracts_all/input.sol # test/cmdlineTests/model_checker_contracts_all_explicit/args # test/cmdlineTests/model_checker_contracts_all_explicit/err # test/cmdlineTests/model_checker_contracts_contract_missing/err # test/cmdlineTests/model_checker_contracts_empty_contract/err # test/cmdlineTests/model_checker_contracts_empty_source/err # test/cmdlineTests/model_checker_contracts_inexistent_contract/args # test/cmdlineTests/model_checker_contracts_inexistent_contract/err # test/cmdlineTests/model_checker_contracts_inexistent_source/args # test/cmdlineTests/model_checker_contracts_inexistent_source/err # test/cmdlineTests/model_checker_contracts_one_contract_missing/args # test/cmdlineTests/model_checker_contracts_one_contract_missing/err # test/cmdlineTests/model_checker_contracts_only_one/args # test/cmdlineTests/model_checker_contracts_only_one/err # test/cmdlineTests/model_checker_contracts_source_missing/err # test/cmdlineTests/model_checker_divModSlacks_false_all/err # test/cmdlineTests/model_checker_divModSlacks_false_chc/err # test/cmdlineTests/model_checker_engine_all/err # test/cmdlineTests/model_checker_engine_bmc/err # test/cmdlineTests/model_checker_engine_chc/err # test/cmdlineTests/model_checker_invariants_all/err # test/cmdlineTests/model_checker_invariants_all/input.sol # test/cmdlineTests/model_checker_invariants_contract/err # test/cmdlineTests/model_checker_invariants_contract/input.sol # test/cmdlineTests/model_checker_invariants_contract_reentrancy/err # test/cmdlineTests/model_checker_invariants_contract_reentrancy/input.sol # test/cmdlineTests/model_checker_invariants_reentrancy/err # test/cmdlineTests/model_checker_invariants_reentrancy/input.sol # test/cmdlineTests/model_checker_invariants_wrong/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_unproved_true_chc/err # test/cmdlineTests/model_checker_solvers_smtlib2/err # test/cmdlineTests/model_checker_solvers_wrong/err # test/cmdlineTests/model_checker_solvers_wrong2/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_balance_bmc/err # test/cmdlineTests/model_checker_targets_constant_condition_bmc/err # 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_error/err # test/cmdlineTests/model_checker_targets_out_of_bounds_chc/err # test/cmdlineTests/model_checker_targets_overflow_bmc/err # test/cmdlineTests/model_checker_targets_overflow_chc/err # test/cmdlineTests/model_checker_targets_pop_empty_chc/err # test/cmdlineTests/model_checker_targets_underflow_bmc/err # test/cmdlineTests/model_checker_targets_underflow_chc/err # 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_bmc/err # test/cmdlineTests/model_checker_targets_underflow_overflow_chc/err # test/cmdlineTests/model_checker_timeout_all/err # test/cmdlineTests/model_checker_timeout_bmc/err # test/cmdlineTests/model_checker_timeout_chc/err # test/cmdlineTests/name_simplifier/output # test/cmdlineTests/no_cbor_metadata/output # test/cmdlineTests/no_cbor_metadata_with_metadata_hash/err # test/cmdlineTests/object_compiler/output # test/cmdlineTests/optimize_full_storage_write/output # test/cmdlineTests/optimizer_BlockDeDuplicator/err # test/cmdlineTests/optimizer_BlockDeDuplicator/output # test/cmdlineTests/optimizer_array_sload/output # test/cmdlineTests/optimizer_inliner_add/output # test/cmdlineTests/optimizer_inliner_call_from_constructor/output # test/cmdlineTests/optimizer_inliner_dynamic_reference/output # test/cmdlineTests/optimizer_inliner_dynamic_reference_constructor/output # test/cmdlineTests/optimizer_inliner_inc/output # test/cmdlineTests/optimizer_inliner_multireturn/output # test/cmdlineTests/optimizer_user_yul/output # test/cmdlineTests/pretty_json_indent_only/output.json # test/cmdlineTests/pretty_json_standard/output.json # test/cmdlineTests/pretty_json_standard_indent/output.json # test/cmdlineTests/require_overload/err # test/cmdlineTests/revert_strings/output # test/cmdlineTests/standard_cli_output_selection_invalid/args # test/cmdlineTests/standard_cli_output_selection_invalid/err # test/cmdlineTests/standard_debug_info_in_evm_asm_via_ir_location/input.json # test/cmdlineTests/standard_debug_info_in_evm_asm_via_ir_location/output.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_all/input.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_all/output.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_location_only/input.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_location_only/output.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_none/input.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_none/output.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_snippet_only/input.json # test/cmdlineTests/standard_debug_info_in_yul_and_evm_asm_print_snippet_only/output.json # test/cmdlineTests/standard_debug_info_in_yul_location/input.json # test/cmdlineTests/standard_debug_info_in_yul_location/output.json # test/cmdlineTests/standard_default_success/output.json # test/cmdlineTests/standard_empty_file_name/output.json # test/cmdlineTests/standard_file_not_found/err # test/cmdlineTests/standard_function_debug_info/output.json # test/cmdlineTests/standard_generatedSources/output.json # test/cmdlineTests/standard_immutable_references/output.json # test/cmdlineTests/standard_invalid_option_no_optimize_yul/err # test/cmdlineTests/standard_invalid_option_optimize/err # test/cmdlineTests/standard_invalid_option_optimize_runs/err # test/cmdlineTests/standard_invalid_option_optimize_yul/err # test/cmdlineTests/standard_invalid_option_yul_optimizations/err # test/cmdlineTests/standard_irOptimized_requested/output.json # test/cmdlineTests/standard_ir_requested/output.json # test/cmdlineTests/standard_method_identifiers_requested/output.json # test/cmdlineTests/standard_method_identifiers_requested_empty/output.json # test/cmdlineTests/standard_missing_key_useLiteralContent/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_empty_array/output.json # test/cmdlineTests/standard_model_checker_contracts_empty_contract/output.json # test/cmdlineTests/standard_model_checker_contracts_empty_source/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_contracts_wrong_key_sources_2/output.json # test/cmdlineTests/standard_model_checker_contracts_wrong_key_sources_3/output.json # test/cmdlineTests/standard_model_checker_contracts_wrong_key_sources_4/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_default_chc/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_divModSlacks_false_chc/output.json # test/cmdlineTests/standard_model_checker_divModSlacks_wrong/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_engine_chc/output.json # test/cmdlineTests/standard_model_checker_engine_none/output.json # test/cmdlineTests/standard_model_checker_invariants_contract/output.json # test/cmdlineTests/standard_model_checker_invariants_contract_reentrancy/input.json # test/cmdlineTests/standard_model_checker_invariants_contract_reentrancy/output.json # test/cmdlineTests/standard_model_checker_invariants_reentrancy/input.json # test/cmdlineTests/standard_model_checker_invariants_reentrancy/output.json # test/cmdlineTests/standard_model_checker_invariants_wrong_key/output.json # test/cmdlineTests/standard_model_checker_invariants_wrong_type/output.json # test/cmdlineTests/standard_model_checker_invariants_wrong_type_2/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_false_chc/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_unproved_true_chc/output.json # test/cmdlineTests/standard_model_checker_show_unproved_wrong/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/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/output.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/output.json # test/cmdlineTests/standard_model_checker_targets_empty_array/output.json # test/cmdlineTests/standard_model_checker_targets_out_of_bounds_bmc/output.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/output.json # test/cmdlineTests/standard_model_checker_targets_pop_empty_bmc/output.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/output.json # test/cmdlineTests/standard_model_checker_targets_underflow_overflow_assert_bmc/output.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/output.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types/output.json # test/cmdlineTests/standard_model_checker_targets_wrong_target_types_2/output.json # test/cmdlineTests/standard_model_checker_targets_wrong_targets/output.json # test/cmdlineTests/standard_model_checker_timeout_all/output.json # test/cmdlineTests/standard_model_checker_timeout_bmc/output.json # test/cmdlineTests/standard_model_checker_timeout_chc/output.json # test/cmdlineTests/standard_model_checker_timeout_wrong_key/output.json # test/cmdlineTests/standard_model_checker_timeout_wrong_value/output.json # test/cmdlineTests/standard_no_append_cbor/output.json # test/cmdlineTests/standard_no_append_cbor_with_metadata_hash/output.json # test/cmdlineTests/standard_non_utf8_filename/input.json # test/cmdlineTests/standard_only_ast_requested/output.json # test/cmdlineTests/standard_optimizer_generatedSources/output.json # test/cmdlineTests/standard_optimizer_invalid_detail_type/input.json # test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json # test/cmdlineTests/standard_optimizer_invalid_details/input.json # test/cmdlineTests/standard_optimizer_invalid_details/output.json # test/cmdlineTests/standard_optimizer_no_yul/input.json # test/cmdlineTests/standard_optimizer_no_yul/output.json # test/cmdlineTests/standard_optimizer_yul/input.json # test/cmdlineTests/standard_optimizer_yul/output.json # test/cmdlineTests/standard_optimizer_yulDetails/input.json # test/cmdlineTests/standard_optimizer_yulDetails/output.json # test/cmdlineTests/standard_optimizer_yulDetails_no_object/input.json # test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nested_brackets/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nested_brackets/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_type/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_type/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_without_yul/input.json # test/cmdlineTests/standard_optimizer_yulDetails_without_yul/output.json # test/cmdlineTests/standard_output_selection_all_blank/input.json # test/cmdlineTests/standard_output_selection_all_sources_single_contract_multiple_matches/input.json # test/cmdlineTests/standard_output_selection_all_sources_single_contract_single_match/input.json # test/cmdlineTests/standard_output_selection_all_star/input.json # test/cmdlineTests/standard_output_selection_single_all/input.json # test/cmdlineTests/standard_output_selection_single_source_single_contract_multiple_matches/input.json # test/cmdlineTests/standard_output_selection_single_source_single_contract_single_match/input.json # test/cmdlineTests/standard_output_selection_wrong_type/input.json # test/cmdlineTests/standard_output_selection_wrong_type/output.json # test/cmdlineTests/standard_output_selection_wrong_type_contract/input.json # test/cmdlineTests/standard_output_selection_wrong_type_contract/output.json # test/cmdlineTests/standard_output_selection_wrong_type_output/input.json # test/cmdlineTests/standard_output_selection_wrong_type_output/output.json # test/cmdlineTests/standard_output_selection_wrong_type_source/input.json # test/cmdlineTests/standard_output_selection_wrong_type_source/output.json # test/cmdlineTests/standard_parsing_import_absolute_paths/output.json # test/cmdlineTests/standard_secondary_source_location/output.json # test/cmdlineTests/standard_urls_existing_and_missing/input.json # test/cmdlineTests/standard_urls_existing_and_missing/output.json # test/cmdlineTests/standard_urls_missing/input.json # test/cmdlineTests/standard_urls_missing/output.json # test/cmdlineTests/standard_viair_requested/output.json # test/cmdlineTests/standard_wrong_key_auxiliary_input/output.json # test/cmdlineTests/standard_wrong_key_metadata/input.json # test/cmdlineTests/standard_wrong_key_metadata/output.json # test/cmdlineTests/standard_wrong_key_optimizer/input.json # test/cmdlineTests/standard_wrong_key_optimizer/output.json # test/cmdlineTests/standard_wrong_key_root/output.json # test/cmdlineTests/standard_wrong_key_settings/input.json # test/cmdlineTests/standard_wrong_key_settings/output.json # test/cmdlineTests/standard_wrong_key_source/output.json # test/cmdlineTests/standard_wrong_type_auxiliary_input/output.json # test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses/output.json # test/cmdlineTests/standard_wrong_type_auxiliary_input_smtlib2responses_member/output.json # test/cmdlineTests/standard_wrong_type_metadata/output.json # test/cmdlineTests/standard_wrong_type_optimizer/output.json # test/cmdlineTests/standard_wrong_type_remappings/output.json # test/cmdlineTests/standard_wrong_type_remappings_entry/output.json # test/cmdlineTests/standard_wrong_type_root/output.json # test/cmdlineTests/standard_wrong_type_settings/output.json # test/cmdlineTests/standard_wrong_type_source/output.json # test/cmdlineTests/standard_wrong_type_sources/output.json # test/cmdlineTests/standard_wrong_type_useLiteralContent/output.json # test/cmdlineTests/standard_yul/output.json # test/cmdlineTests/standard_yul_debug_info_print_all/in.yul # test/cmdlineTests/standard_yul_debug_info_print_all/input.json # test/cmdlineTests/standard_yul_debug_info_print_all/output.json # test/cmdlineTests/standard_yul_debug_info_print_location_only/in.yul # test/cmdlineTests/standard_yul_debug_info_print_location_only/input.json # test/cmdlineTests/standard_yul_debug_info_print_location_only/output.json # test/cmdlineTests/standard_yul_debug_info_print_none/in.yul # test/cmdlineTests/standard_yul_debug_info_print_none/input.json # test/cmdlineTests/standard_yul_debug_info_print_none/output.json # test/cmdlineTests/standard_yul_debug_info_print_snippet_only/in.yul # test/cmdlineTests/standard_yul_debug_info_print_snippet_only/input.json # test/cmdlineTests/standard_yul_debug_info_print_snippet_only/output.json # test/cmdlineTests/standard_yul_immutable_references/output.json # test/cmdlineTests/standard_yul_multiple_files/output.json # test/cmdlineTests/standard_yul_multiple_files_selected/output.json # test/cmdlineTests/standard_yul_object/output.json # test/cmdlineTests/standard_yul_object_invalid_sub/output.json # test/cmdlineTests/standard_yul_object_name/output.json # test/cmdlineTests/standard_yul_optimiserSteps/output.json # test/cmdlineTests/standard_yul_optimized/output.json # test/cmdlineTests/standard_yul_single_file_via_urls/output.json # test/cmdlineTests/standard_yul_stack_opt/output.json # test/cmdlineTests/standard_yul_stack_opt_disabled/output.json # test/cmdlineTests/storage_layout_bytes/output.json # test/cmdlineTests/storage_layout_dyn_array/output.json # test/cmdlineTests/storage_layout_many/output.json # test/cmdlineTests/storage_layout_mapping/output.json # test/cmdlineTests/storage_layout_smoke/output.json # test/cmdlineTests/storage_layout_smoke_two_contracts/output.json # test/cmdlineTests/storage_layout_string/output.json # test/cmdlineTests/storage_layout_struct/output.json # test/cmdlineTests/storage_layout_struct_packed/output.json # test/cmdlineTests/storage_layout_user_defined/err # test/cmdlineTests/storage_layout_user_defined/output # test/cmdlineTests/storage_layout_user_defined_no_pretty_print/output # test/cmdlineTests/storage_layout_value_types/output.json # test/cmdlineTests/storage_layout_value_types_packed/output.json # test/cmdlineTests/strict_asm_debug_info_print_all/input.yul # test/cmdlineTests/strict_asm_debug_info_print_all/output # test/cmdlineTests/strict_asm_debug_info_print_location_only/input.yul # test/cmdlineTests/strict_asm_debug_info_print_location_only/output # test/cmdlineTests/strict_asm_debug_info_print_none/input.yul # test/cmdlineTests/strict_asm_debug_info_print_none/output # test/cmdlineTests/strict_asm_debug_info_print_snippet_only/err # test/cmdlineTests/strict_asm_debug_info_print_snippet_only/input.yul # test/cmdlineTests/strict_asm_invalid_option_output_dir/err # test/cmdlineTests/strict_asm_jump/err # test/cmdlineTests/strict_asm_only_cr/err # test/cmdlineTests/strict_asm_optimizer_steps/output # test/cmdlineTests/strict_asm_options_in_non_asm_mode/args # test/cmdlineTests/strict_asm_options_in_non_asm_mode/err # test/cmdlineTests/strict_asm_output_selection_asm_only/output # test/cmdlineTests/strict_asm_output_selection_bin_only/output # test/cmdlineTests/strict_asm_output_selection_invalid/args # test/cmdlineTests/strict_asm_output_selection_invalid/err # test/cmdlineTests/strict_asm_output_selection_ir_optimized_only/output # test/cmdlineTests/structured_documentation_source_location/err # test/cmdlineTests/too_long_line/err # test/cmdlineTests/too_long_line_both_sides_short/err # test/cmdlineTests/too_long_line_edge_in/err # test/cmdlineTests/too_long_line_edge_out/err # test/cmdlineTests/too_long_line_left_short/err # test/cmdlineTests/too_long_line_multiline/err # test/cmdlineTests/too_long_line_right_short/err # test/cmdlineTests/viair_abicoder_v1/err # test/cmdlineTests/viair_abicoder_v1/output # test/cmdlineTests/viair_subobject_optimization/output # test/cmdlineTests/viair_subobjects/err # test/cmdlineTests/viair_subobjects/output # test/cmdlineTests/yul_function_name_clashes/output # test/cmdlineTests/yul_function_name_clashes_different_params/output # test/cmdlineTests/yul_optimize_runs/args # test/cmdlineTests/yul_optimize_runs/output # test/cmdlineTests/yul_optimizer_steps/output # test/cmdlineTests/yul_optimizer_steps_disabled/err # test/cmdlineTests/yul_optimizer_steps_invalid_abbreviation/err # test/cmdlineTests/yul_optimizer_steps_nested_brackets/output # test/cmdlineTests/yul_optimizer_steps_nesting_too_deep/err # test/cmdlineTests/yul_optimizer_steps_short_sequence/output # test/cmdlineTests/yul_optimizer_steps_unbalanced_closing_bracket/err # test/cmdlineTests/yul_optimizer_steps_unbalanced_opening_bracket/err # test/cmdlineTests/yul_optimizer_steps_with_empty_cleanup_sequence/output # test/cmdlineTests/yul_optimizer_steps_with_empty_optimization_sequence/output # test/cmdlineTests/yul_string_format_ascii/output.json # test/cmdlineTests/yul_string_format_ascii_bytes32/output.json # test/cmdlineTests/yul_string_format_ascii_bytes32_from_number/output.json # test/cmdlineTests/yul_string_format_ascii_long/output.json # test/cmdlineTests/yul_string_format_hex/output.json # test/cmdlineTests/yul_verbatim/output # test/cmdlineTests/yul_verbatim_msize/output # test/compilationTests/corion/ico.sol # test/compilationTests/corion/premium.sol # test/compilationTests/corion/provider.sol # test/compilationTests/corion/publisher.sol # test/compilationTests/corion/schelling.sol # test/compilationTests/corion/token.sol # test/contracts/AuctionRegistrar.cpp # test/contracts/Wallet.cpp # test/evmc/README.md # test/evmc/evmc.h # test/evmc/evmc.hpp # test/evmc/helpers.h # test/evmc/hex.hpp # test/evmc/mocked_host.hpp # test/externalTests/README.md # test/externalTests/bleeps.sh # test/externalTests/brink.sh # test/externalTests/chainlink.sh # test/externalTests/colony.sh # test/externalTests/elementfi.sh # test/externalTests/ens.sh # test/externalTests/euler.sh # test/externalTests/gnosis.sh # test/externalTests/gp2.sh # test/externalTests/pool-together.sh # test/externalTests/solc-js/solc-js.sh # test/externalTests/trident.sh # test/externalTests/uniswap.sh # test/externalTests/yield-liquidator.sh # test/externalTests/zeppelin.sh # test/formal/opcodes.py # test/libevmasm/Assembler.cpp # test/libevmasm/Optimiser.cpp # test/liblangutil/CharStream.cpp # test/liblangutil/Scanner.cpp # test/libsolidity/ABIDecoderTests.cpp # test/libsolidity/ABIEncoderTests.cpp # test/libsolidity/ABIJson/basic_test.sol # test/libsolidity/ABIJson/constructor_abi.sol # test/libsolidity/ABIJson/empty_name_input_parameter_with_named_one.sol # test/libsolidity/ABIJson/empty_name_return_parameters.sol # test/libsolidity/ABIJson/errors.sol # test/libsolidity/ABIJson/errors_referenced.sol # test/libsolidity/ABIJson/event_structs.sol # test/libsolidity/ABIJson/events.sol # test/libsolidity/ABIJson/function_type.sol # test/libsolidity/ABIJson/function_type_extended.sol # test/libsolidity/ABIJson/global_struct.sol # test/libsolidity/ABIJson/inherited.sol # test/libsolidity/ABIJson/library_function.sol # test/libsolidity/ABIJson/multiple_methods.sol # test/libsolidity/ABIJson/multiple_methods_order.sol # test/libsolidity/ABIJson/multiple_params.sol # test/libsolidity/ABIJson/payable_constructor_abi.sol # test/libsolidity/ABIJson/pure_function.sol # test/libsolidity/ABIJson/return_param_in_abi.sol # test/libsolidity/ABIJson/return_structs.sol # test/libsolidity/ABIJson/return_structs_with_contracts.sol # test/libsolidity/ABIJson/structs_and_arrays.sol # test/libsolidity/ABIJson/structs_in_libraries.sol # test/libsolidity/ABIJson/user_defined_value_type.sol # test/libsolidity/ABIJson/view_function.sol # test/libsolidity/ABIJsonTest.cpp # test/libsolidity/ABITestsCommon.h # test/libsolidity/ASTJSON/abstract_contract.json # test/libsolidity/ASTJSON/abstract_contract_parseOnly.json # test/libsolidity/ASTJSON/address_payable.json # test/libsolidity/ASTJSON/address_payable_parseOnly.json # test/libsolidity/ASTJSON/array_type_name.json # test/libsolidity/ASTJSON/array_type_name_parseOnly.json # test/libsolidity/ASTJSON/assembly/call.json # test/libsolidity/ASTJSON/assembly/call_parseOnly.json # test/libsolidity/ASTJSON/assembly/empty_block.json # test/libsolidity/ASTJSON/assembly/empty_block_parseOnly.json # test/libsolidity/ASTJSON/assembly/function.json # test/libsolidity/ASTJSON/assembly/function_parseOnly.json # test/libsolidity/ASTJSON/assembly/leave.json # test/libsolidity/ASTJSON/assembly/leave_parseOnly.json # test/libsolidity/ASTJSON/assembly/loop.json # test/libsolidity/ASTJSON/assembly/loop_parseOnly.json # test/libsolidity/ASTJSON/assembly/nested_functions.json # test/libsolidity/ASTJSON/assembly/nested_functions_parseOnly.json # test/libsolidity/ASTJSON/assembly/slot_offset.json # test/libsolidity/ASTJSON/assembly/slot_offset_parseOnly.json # test/libsolidity/ASTJSON/assembly/stringlit.json # test/libsolidity/ASTJSON/assembly/stringlit_parseOnly.json # test/libsolidity/ASTJSON/assembly/switch.json # test/libsolidity/ASTJSON/assembly/switch_default.json # test/libsolidity/ASTJSON/assembly/switch_default_parseOnly.json # test/libsolidity/ASTJSON/assembly/switch_parseOnly.json # test/libsolidity/ASTJSON/assembly/var_access.json # test/libsolidity/ASTJSON/assembly/var_access_parseOnly.json # test/libsolidity/ASTJSON/base_constructor_call.json # test/libsolidity/ASTJSON/base_constructor_call_parseOnly.json # test/libsolidity/ASTJSON/constructor.json # test/libsolidity/ASTJSON/constructor_parseOnly.json # test/libsolidity/ASTJSON/contract_dep_order.json # test/libsolidity/ASTJSON/contract_dep_order_parseOnly.json # test/libsolidity/ASTJSON/documentation.json # test/libsolidity/ASTJSON/documentation.sol # test/libsolidity/ASTJSON/documentation_local_variable.json # test/libsolidity/ASTJSON/documentation_local_variable_parseOnly.json # test/libsolidity/ASTJSON/documentation_on_statements.json # test/libsolidity/ASTJSON/documentation_on_statements_parseOnly.json # test/libsolidity/ASTJSON/documentation_parseOnly.json # test/libsolidity/ASTJSON/documentation_triple.json # test/libsolidity/ASTJSON/documentation_triple_parseOnly.json # test/libsolidity/ASTJSON/enum_value.json # test/libsolidity/ASTJSON/enum_value_declaration.json # test/libsolidity/ASTJSON/enum_value_declaration_parseOnly.json # test/libsolidity/ASTJSON/enum_value_parseOnly.json # test/libsolidity/ASTJSON/event_definition.json # test/libsolidity/ASTJSON/event_definition_parseOnly.json # test/libsolidity/ASTJSON/event_with_variables_of_internal_types_parseOnly.json # test/libsolidity/ASTJSON/fail_after_parsing.sol # test/libsolidity/ASTJSON/fail_after_parsing_parseOnly.json # test/libsolidity/ASTJSON/fallback.json # test/libsolidity/ASTJSON/fallback_and_receive_ether.json # test/libsolidity/ASTJSON/fallback_and_receive_ether.sol # test/libsolidity/ASTJSON/fallback_and_receive_ether_parseOnly.json # test/libsolidity/ASTJSON/fallback_parseOnly.json # test/libsolidity/ASTJSON/fallback_payable.json # test/libsolidity/ASTJSON/fallback_payable_parseOnly.json # test/libsolidity/ASTJSON/function_type.json # test/libsolidity/ASTJSON/function_type_parseOnly.json # test/libsolidity/ASTJSON/global_enum.json # test/libsolidity/ASTJSON/global_enum_parseOnly.json # test/libsolidity/ASTJSON/global_struct.json # test/libsolidity/ASTJSON/global_struct_parseOnly.json # test/libsolidity/ASTJSON/inheritance_specifier.json # test/libsolidity/ASTJSON/inheritance_specifier_parseOnly.json # test/libsolidity/ASTJSON/license.json # test/libsolidity/ASTJSON/license_parseOnly.json # test/libsolidity/ASTJSON/long_type_name_binary_operation.json # test/libsolidity/ASTJSON/long_type_name_binary_operation_parseOnly.json # test/libsolidity/ASTJSON/long_type_name_identifier.json # test/libsolidity/ASTJSON/long_type_name_identifier_parseOnly.json # test/libsolidity/ASTJSON/mappings.json # test/libsolidity/ASTJSON/mappings.sol # test/libsolidity/ASTJSON/mappings_parseOnly.json # test/libsolidity/ASTJSON/modifier_definition.json # test/libsolidity/ASTJSON/modifier_definition_parseOnly.json # test/libsolidity/ASTJSON/modifier_invocation.json # test/libsolidity/ASTJSON/modifier_invocation_parseOnly.json # test/libsolidity/ASTJSON/mutability.json # test/libsolidity/ASTJSON/mutability_parseOnly.json # test/libsolidity/ASTJSON/non_utf8.json # test/libsolidity/ASTJSON/non_utf8_parseOnly.json # test/libsolidity/ASTJSON/not_existing_import.sol # test/libsolidity/ASTJSON/not_existing_import_parseOnly.json # test/libsolidity/ASTJSON/override.json # test/libsolidity/ASTJSON/override_parseOnly.json # test/libsolidity/ASTJSON/placeholder_statement.json # test/libsolidity/ASTJSON/placeholder_statement_parseOnly.json # test/libsolidity/ASTJSON/receive_ether.json # test/libsolidity/ASTJSON/receive_ether_parseOnly.json # test/libsolidity/ASTJSON/short_type_name.json # test/libsolidity/ASTJSON/short_type_name_parseOnly.json # test/libsolidity/ASTJSON/short_type_name_ref.json # test/libsolidity/ASTJSON/short_type_name_ref_parseOnly.json # test/libsolidity/ASTJSON/smoke.json # test/libsolidity/ASTJSON/smoke_parseOnly.json # test/libsolidity/ASTJSON/source_location.json # test/libsolidity/ASTJSON/source_location_parseOnly.json # test/libsolidity/ASTJSON/string.json # test/libsolidity/ASTJSON/string_parseOnly.json # test/libsolidity/ASTJSON/two_base_functions.json # test/libsolidity/ASTJSON/two_base_functions_parseOnly.json # test/libsolidity/ASTJSON/unicode.json # test/libsolidity/ASTJSON/unicode_parseOnly.json # test/libsolidity/ASTJSON/used_errors.json # test/libsolidity/ASTJSON/used_errors_parseOnly.json # test/libsolidity/ASTJSON/userDefinedValueType.json # test/libsolidity/ASTJSON/userDefinedValueType_parseOnly.json # test/libsolidity/ASTJSON/using_for_directive.json # test/libsolidity/ASTJSON/using_for_directive_parseOnly.json # test/libsolidity/ASTJSON/yul_hex_literal.json # test/libsolidity/ASTJSON/yul_hex_literal_parseOnly.json # test/libsolidity/ASTJSONTest.cpp # test/libsolidity/ASTJSONTest.h # test/libsolidity/AnalysisFramework.cpp # test/libsolidity/AnalysisFramework.h # test/libsolidity/Assembly.cpp # test/libsolidity/ErrorCheck.cpp # test/libsolidity/GasCosts.cpp # test/libsolidity/GasMeter.cpp # test/libsolidity/GasTest.cpp # test/libsolidity/GasTest.h # test/libsolidity/Imports.cpp # test/libsolidity/InlineAssembly.cpp # test/libsolidity/LibSolc.cpp # test/libsolidity/MemoryGuardTest.cpp # test/libsolidity/MemoryGuardTest.h # test/libsolidity/Metadata.cpp # test/libsolidity/SMTCheckerTest.cpp # test/libsolidity/SMTCheckerTest.h # test/libsolidity/SemVerMatcher.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/SolidityNameAndTypeResolution.cpp # test/libsolidity/SolidityOptimizer.cpp # test/libsolidity/SolidityParser.cpp # test/libsolidity/SolidityTypes.cpp # test/libsolidity/StandardCompiler.cpp # test/libsolidity/SyntaxTest.cpp # test/libsolidity/SyntaxTest.h # test/libsolidity/ViewPureChecker.cpp # test/libsolidity/analysis/FunctionCallGraph.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/interface/FileReader.cpp # test/libsolidity/lsp/goto/goto_definition_imports.sol # test/libsolidity/lsp/hover/hover.sol # test/libsolidity/lsp/rename/function.sol # test/libsolidity/lsp/rename/import_directive.sol # test/libsolidity/lsp/rename/variable.sol # test/libsolidity/lsp/semanticTokens/enums.sol # test/libsolidity/lsp/semanticTokens/functions.sol # test/libsolidity/natspecJSON/docstring_parameter.sol # test/libsolidity/natspecJSON/docstring_variable.sol # test/libsolidity/natspecJSON/invalid/docstring_author_function.sol # test/libsolidity/natspecJSON/invalid/docstring_author_title_state_variable.sol # test/libsolidity/natspecJSON/invalid/docstring_empty_description.sol # test/libsolidity/natspecJSON/invalid/docstring_empty_tag.sol # test/libsolidity/natspecJSON/invalid/docstring_inherit_modifier_no_return.sol # test/libsolidity/natspecJSON/invalid/docstring_inherit_modifier_no_return2.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc2.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc3.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc_emptys.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc_twice.sol # test/libsolidity/natspecJSON/invalid/docstring_inheritdoc_wrong_type.sol # test/libsolidity/natspecJSON/invalid/docstring_named_return_param_mismatch.sol # test/libsolidity/natspecJSON/invalid/docstring_non_public_state_variable_with_return.sol # test/libsolidity/natspecJSON/invalid/docstring_parameter.sol # test/libsolidity/natspecJSON/invalid/docstring_return_size_mismatch.sol # test/libsolidity/natspecJSON/invalid/docstring_state_variable_too_many_return_tags.sol # test/libsolidity/natspecJSON/invalid/docstring_too_many_return_tags.sol # test/libsolidity/natspecJSON/invalid/inherit_doc_events.sol # test/libsolidity/natspecJSON/invalid/invalid_tag.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_decode_calldata.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_decode_simple.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_decode_simple_storage.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call_declaration.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call_is_consistent.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call_memory.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call_special_args.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_call_uint_bytes.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_empty_string_v1.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_with_selector.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_with_selectorv2.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_with_signature.sol # test/libsolidity/semanticTests/abiEncodeDecode/abi_encode_with_signaturev2.sol # test/libsolidity/semanticTests/abiEncodeDecode/contract_array.sol # test/libsolidity/semanticTests/abiEncodeDecode/contract_array_v2.sol # test/libsolidity/semanticTests/abiEncodeDecode/offset_overflow_in_array_decoding.sol # test/libsolidity/semanticTests/abiEncodeDecode/offset_overflow_in_array_decoding_2.sol # test/libsolidity/semanticTests/abiEncodeDecode/offset_overflow_in_array_decoding_3.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_dynamic_array.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_static_array.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_static_array_v2.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_trivial.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_calldata.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_call.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_calldata_slice.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_decode_simple.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_empty_string.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_rational.sol # test/libsolidity/semanticTests/abiEncoderV1/calldata_arrays_too_large.sol # test/libsolidity/semanticTests/abiEncoderV1/decode_slice.sol # test/libsolidity/semanticTests/abiEncoderV1/dynamic_memory_copy.sol # test/libsolidity/semanticTests/abiEncoderV1/memory_dynamic_array_and_calldata_bytes.sol # test/libsolidity/semanticTests/abiEncoderV1/struct/struct_storage_ptr.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_calldata_slice.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_empty_string_v2.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_rational_v2.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_function_inherited_in_v1_contract.sol # test/libsolidity/semanticTests/abiEncoderV2/abi_encode_v2_in_modifier_used_in_v1_contract.sol # test/libsolidity/semanticTests/abiEncoderV2/bool_out_of_bounds.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_array.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_array_dynamic_static_short_decode.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_dynamic_array_to_memory.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_overlapped_dynamic_arrays.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_overlapped_nested_dynamic_arrays.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_struct_array_reencode.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_three_dimensional_dynamic_array_index_access.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_with_garbage.sol # test/libsolidity/semanticTests/abiEncoderV2/cleanup/cleanup.sol # test/libsolidity/semanticTests/abiEncoderV2/enums.sol # test/libsolidity/semanticTests/abiEncoderV2/memory_dynamic_array_and_calldata_bytes.sol # test/libsolidity/semanticTests/abiEncoderV2/memory_dynamic_array_and_calldata_static_array.sol # test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol # test/libsolidity/semanticTests/abiEncoderV2/struct/struct_short.sol # test/libsolidity/semanticTests/abiEncoderV2/struct/struct_simple.sol # test/libsolidity/semanticTests/abiEncoderV2/struct/struct_validation.sol # test/libsolidity/semanticTests/abiEncoderV2/struct/validation_function_type_inside_struct.sol # test/libsolidity/semanticTests/accessor/accessor_for_const_state_variable.sol # test/libsolidity/semanticTests/accessor/accessor_for_state_variable.sol # test/libsolidity/semanticTests/arithmetics/addmod_mulmod.sol # test/libsolidity/semanticTests/arithmetics/addmod_mulmod_ze…
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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 2025-08-26 (commit 29bba317).
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: