English documentation updates up to v0.8.26 (2024-05-22) #365
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
Use latest release instead of main branch on external tests
…-cost-in-semantic-tests Separate code deposit cost in semantic tests
Use CircleCI rust+node convenience image for t_ems_ext_hardhat job
…tifacts Fix `detect_hardhat_artifact_dir` in externalTests scripts
Yul fuzzer: Support blobhash(uint) global function
`forall` quantifier and mandatory declarations for type variables in new analysis
…y-avg Sort results by average change in `gas_diff_stats.py`
On MacOS I often experienced a problem that the solver reported SMT-LIB file as malformed. It appears that the whole query was not written to the file and using std::flush fixed the problem.
…small-update SMTCommand: Remember to flush query before calling solver
* docs: fix old wording Updated mining to attestation, but maybe it doesn't even make sense to put it like this. This is for the maintainers to decide but maybe it'd make sense to remove "(which is called "attestation")" altogether and just add a link to more information about LMD-GHOST. * Update docs/introduction-to-smart-contracts.rst --------- Co-authored-by: Vishwa Mehta <vishwa.mehta@ethereum.org>
* Fix word determinsm -> determinism * Fix word Optimzation -> Optimization * Fix word affilate -> affiliate * fix: import_base assertion
…#14267) * Update natspec-format.rst * Update docs/natspec-format.rst --------- Co-authored-by: Vishwa Mehta <vishwa.mehta@ethereum.org>
Co-authored-by: r0qs <rodrigo.saramago@protonmail.com>
…ippet [test] Fix python snippet causing "SyntaxWarning" in Scanner.
Remove bzzr entries from static binary section in the docs
…s sequence repetition bugfix
…e-changelog Add the missing changelog entry for the new default optimizer sequence
…tarball-script Remove json-cpp from create source tarball script.
Add header include for docker builds.
Update PPA release script.
Signed-off-by: hydai <z54981220@gmail.com>
…space_std Remove `using namespace std` from testing tools, ossfuzz and yulPhaser
Update license template.
…for-namespace-std-check Remove included directories check for using std
…SyntaxTests Add `stopAfter` setting to syntax tests
…0-8-26 Set release date for 0.8.26
Set version to 0 8 27
…ion-to-0-8-27 Revert "Set version to 0 8 27"
# Conflicts: # .circleci/config.yml # .circleci/osx_install_dependencies.sh # .circleci/soltest_all.sh # .github/workflows/buildpack-deps.yml # CODING_STYLE.md # Changelog.md # ReleaseChecklist.md # cmake/EthCompilerSettings.cmake # cmake/EthDependencies.cmake # cmake/templates/license.h.in # docs/bugs.rst # docs/cheatsheet.rst # docs/contracts/errors.rst # docs/contracts/function-modifiers.rst # docs/contracts/inheritance.rst # docs/contributing.rst # docs/control-structures.rst # docs/examples/micropayment.rst # docs/installing-solidity.rst # docs/internals/optimizer.rst # docs/introduction-to-smart-contracts.rst # docs/metadata.rst # docs/natspec-format.rst # docs/resources.rst # docs/smtchecker.rst # docs/style-guide.rst # docs/types/conversion.rst # docs/types/reference-types.rst # docs/types/value-types.rst # docs/units-and-global-variables.rst # docs/using-the-compiler.rst # libevmasm/AbstractAssemblyStack.h # libevmasm/Assembly.cpp # libevmasm/Assembly.h # libevmasm/AssemblyItem.cpp # libevmasm/AssemblyItem.h # libevmasm/CommonSubexpressionEliminator.cpp # libevmasm/CommonSubexpressionEliminator.h # libevmasm/ConstantOptimiser.h # libevmasm/ControlFlowGraph.cpp # libevmasm/EVMAssemblyStack.cpp # libevmasm/EVMAssemblyStack.h # libevmasm/ExpressionClasses.cpp # libevmasm/ExpressionClasses.h # libevmasm/GasMeter.cpp # libevmasm/GasMeter.h # libevmasm/Inliner.cpp # libevmasm/Instruction.cpp # libevmasm/Instruction.h # libevmasm/KnownState.cpp # libevmasm/KnownState.h # libevmasm/PeepholeOptimiser.cpp # libevmasm/SemanticInformation.cpp # libevmasm/SimplificationRules.cpp # libevmasm/SimplificationRules.h # liblangutil/CMakeLists.txt # liblangutil/DebugInfoSelection.cpp # liblangutil/DebugInfoSelection.h # liblangutil/EVMVersion.h # liblangutil/ErrorReporter.cpp # liblangutil/ErrorReporter.h # liblangutil/Token.h # libsmtutil/CHCSmtLib2Interface.cpp # libsmtutil/CHCSmtLib2Interface.h # libsmtutil/CMakeLists.txt # libsmtutil/SMTLib2Interface.cpp # libsmtutil/SMTLib2Interface.h # libsmtutil/SolverInterface.h # libsmtutil/Z3Interface.cpp # libsolc/libsolc.h # libsolidity/analysis/GlobalContext.cpp # libsolidity/analysis/NameAndTypeResolver.cpp # libsolidity/analysis/PostTypeChecker.cpp # libsolidity/analysis/PostTypeChecker.h # libsolidity/analysis/StaticAnalyzer.cpp # libsolidity/analysis/SyntaxChecker.cpp # libsolidity/analysis/TypeChecker.cpp # libsolidity/ast/AST.h # 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/ASTVisitor.h # libsolidity/ast/AST_accept.h # libsolidity/ast/TypeProvider.cpp # libsolidity/ast/TypeProvider.h # libsolidity/ast/Types.cpp # libsolidity/ast/Types.h # libsolidity/codegen/ExpressionCompiler.cpp # libsolidity/codegen/YulUtilFunctions.cpp # libsolidity/codegen/YulUtilFunctions.h # libsolidity/codegen/ir/Common.h # 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/experimental/analysis/TypeInference.cpp # libsolidity/experimental/analysis/TypeInference.h # libsolidity/experimental/ast/TypeSystem.cpp # libsolidity/experimental/ast/TypeSystem.h # libsolidity/experimental/ast/TypeSystemHelper.cpp # libsolidity/experimental/ast/TypeSystemHelper.h # libsolidity/experimental/codegen/IRGenerator.cpp # libsolidity/experimental/codegen/IRGenerator.h # libsolidity/formal/BMC.cpp # libsolidity/formal/BMC.h # libsolidity/formal/CHC.cpp # libsolidity/formal/ModelCheckerSettings.h # libsolidity/formal/Predicate.cpp # libsolidity/formal/SMTEncoder.cpp # libsolidity/formal/SMTEncoder.h # libsolidity/formal/SymbolicTypes.cpp # libsolidity/interface/ABI.cpp # libsolidity/interface/ABI.h # libsolidity/interface/CompilerStack.cpp # libsolidity/interface/CompilerStack.h # libsolidity/interface/FileReader.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/lsp/DocumentHoverHandler.cpp # libsolidity/lsp/DocumentHoverHandler.h # 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/Parser.cpp # libsolidity/parsing/Parser.h # libsolutil/Assertions.h # libsolutil/CMakeLists.txt # libsolutil/CommonData.h # libsolutil/Exceptions.h # libsolutil/FixedHash.h # libsolutil/JSON.cpp # libsolutil/JSON.h # libsolutil/Keccak256.cpp # libsolutil/Result.h # libsolutil/cxx20.h # libstdlib/CMakeLists.txt # libyul/AST.h # libyul/ASTForward.h # libyul/AsmAnalysis.cpp # 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/Object.cpp # libyul/Object.h # libyul/YulStack.cpp # libyul/YulStack.h # libyul/YulString.h # libyul/backends/evm/ConstantOptimiser.h # libyul/backends/evm/ControlFlowGraph.h # libyul/backends/evm/ControlFlowGraphBuilder.cpp # libyul/backends/evm/ControlFlowGraphBuilder.h # libyul/backends/evm/EVMDialect.cpp # libyul/backends/evm/OptimizedEVMCodeTransform.cpp # libyul/backends/evm/OptimizedEVMCodeTransform.h # libyul/backends/evm/StackLayoutGenerator.cpp # libyul/optimiser/ConditionalSimplifier.cpp # libyul/optimiser/ControlFlowSimplifier.cpp # libyul/optimiser/ExpressionJoiner.h # libyul/optimiser/ExpressionSplitter.cpp # libyul/optimiser/ForLoopConditionIntoBody.cpp # libyul/optimiser/ForLoopConditionOutOfBody.cpp # libyul/optimiser/KnowledgeBase.h # libyul/optimiser/SSAReverser.h # libyul/optimiser/SSATransform.cpp # libyul/optimiser/SimplificationRules.cpp # libyul/optimiser/SimplificationRules.h # libyul/optimiser/StackCompressor.cpp # libyul/optimiser/StackToMemoryMover.cpp # libyul/optimiser/Suite.cpp # scripts/build_emscripten.sh # scripts/check_style.sh # scripts/common.sh # scripts/common/cmdline_helpers.py # scripts/create_source_tarball.sh # scripts/deps-ppa/static_z3.sh # scripts/docker/buildpack-deps/Dockerfile.emscripten # scripts/docker/buildpack-deps/Dockerfile.ubuntu.clang.ossfuzz # scripts/docker/buildpack-deps/Dockerfile.ubuntu2004 # scripts/docker/buildpack-deps/Dockerfile.ubuntu2204 # scripts/docker/buildpack-deps/Dockerfile.ubuntu2204.clang # scripts/error_codes.py # scripts/externalTests/common.sh # scripts/externalTests/runners/base.py # scripts/externalTests/test_helpers.py # scripts/gas_diff_stats.py # scripts/release_ppa.sh # scripts/tests.sh # solc/CommandLineInterface.cpp # solc/CommandLineInterface.h # solc/CommandLineParser.cpp # test/Common.cpp # test/CommonSyntaxTest.cpp # 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/TestCaseReader.cpp # test/benchmarks/run.sh # test/cmdlineTests.sh # test/cmdlineTests/asm_json/output # test/cmdlineTests/ast_compact_json_with_base_path/output # test/cmdlineTests/ast_ir/output # test/cmdlineTests/combined_json_abi/output # test/cmdlineTests/combined_json_generated_sources/output # test/cmdlineTests/combined_json_stop_after_parsing/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/debug_info_in_yul_snippet_escaping/output # test/cmdlineTests/events_in_abi/output # test/cmdlineTests/function_debug_info/output # test/cmdlineTests/function_debug_info_via_yul/output # test/cmdlineTests/import_asm_json_all_valid_flags/args # test/cmdlineTests/import_asm_json_all_valid_flags/output # test/cmdlineTests/import_asm_json_all_valid_flags/stdin # test/cmdlineTests/import_asm_json_difficulty_prevrandao/args # test/cmdlineTests/import_asm_json_difficulty_prevrandao/output # test/cmdlineTests/import_asm_json_difficulty_prevrandao/stdin # test/cmdlineTests/import_asm_json_hex_subassembly_indices/args # test/cmdlineTests/import_asm_json_hex_subassembly_indices/output # test/cmdlineTests/import_asm_json_hex_subassembly_indices/stdin # test/cmdlineTests/import_asm_json_invalid_data_not_hex/args # test/cmdlineTests/import_asm_json_invalid_data_not_hex/err # test/cmdlineTests/import_asm_json_invalid_data_not_hex/exit # test/cmdlineTests/import_asm_json_invalid_data_not_hex/stdin # test/cmdlineTests/import_asm_json_invalid_data_not_object/args # test/cmdlineTests/import_asm_json_invalid_data_not_object/err # test/cmdlineTests/import_asm_json_invalid_data_not_object/exit # test/cmdlineTests/import_asm_json_invalid_data_not_object/stdin # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/args # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/err # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/exit # test/cmdlineTests/import_asm_json_invalid_jumptype_instruction/stdin # test/cmdlineTests/import_asm_json_invalid_value/args # test/cmdlineTests/import_asm_json_invalid_value/err # test/cmdlineTests/import_asm_json_invalid_value/exit # test/cmdlineTests/import_asm_json_invalid_value/stdin # test/cmdlineTests/import_asm_json_missing_subobject_indices/args # test/cmdlineTests/import_asm_json_missing_subobject_indices/err # test/cmdlineTests/import_asm_json_missing_subobject_indices/exit # test/cmdlineTests/import_asm_json_missing_subobject_indices/stdin # test/cmdlineTests/import_asm_json_no_value/args # test/cmdlineTests/import_asm_json_no_value/err # test/cmdlineTests/import_asm_json_no_value/exit # test/cmdlineTests/import_asm_json_no_value/stdin # test/cmdlineTests/import_asm_json_non_unique_sources/args # test/cmdlineTests/import_asm_json_non_unique_sources/err # test/cmdlineTests/import_asm_json_non_unique_sources/exit # test/cmdlineTests/import_asm_json_non_unique_sources/stdin # test/cmdlineTests/import_asm_json_optimize_not_supported/args # test/cmdlineTests/import_asm_json_optimize_not_supported/err # test/cmdlineTests/import_asm_json_optimize_not_supported/exit # test/cmdlineTests/import_asm_json_optimize_not_supported/stdin # test/cmdlineTests/import_asm_json_out_of_range_data_index/args # test/cmdlineTests/import_asm_json_out_of_range_data_index/err # test/cmdlineTests/import_asm_json_out_of_range_data_index/exit # test/cmdlineTests/import_asm_json_out_of_range_data_index/stdin # test/cmdlineTests/import_asm_json_random_order_data_index/args # test/cmdlineTests/import_asm_json_random_order_data_index/output # test/cmdlineTests/import_asm_json_random_order_data_index/stdin # test/cmdlineTests/import_asm_json_unrecognized_field/args # test/cmdlineTests/import_asm_json_unrecognized_field/err # test/cmdlineTests/import_asm_json_unrecognized_field/exit # test/cmdlineTests/import_asm_json_unrecognized_field/stdin # test/cmdlineTests/import_asm_json_untagged_jumpdest/args # test/cmdlineTests/import_asm_json_untagged_jumpdest/err # test/cmdlineTests/import_asm_json_untagged_jumpdest/exit # test/cmdlineTests/import_asm_json_untagged_jumpdest/stdin # test/cmdlineTests/import_asm_json_verbatim/args # test/cmdlineTests/import_asm_json_verbatim/output # test/cmdlineTests/import_asm_json_verbatim/stdin # test/cmdlineTests/import_asm_json_yul_more_subobjects/args # test/cmdlineTests/import_asm_json_yul_more_subobjects/output # test/cmdlineTests/import_asm_json_yul_more_subobjects/stdin # test/cmdlineTests/import_asm_json_yul_subobjects/args # test/cmdlineTests/import_asm_json_yul_subobjects/output # test/cmdlineTests/import_asm_json_yul_subobjects/stdin # test/cmdlineTests/inline_assembly_function_name_clash/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/metadata/output # test/cmdlineTests/model_checker_contracts_all/err # test/cmdlineTests/model_checker_contracts_all/input.sol # test/cmdlineTests/model_checker_invariants_all/err # test/cmdlineTests/model_checker_invariants_contract_reentrancy/err # test/cmdlineTests/model_checker_targets_all_all_engines/err # test/cmdlineTests/model_checker_targets_all_chc/err # test/cmdlineTests/model_checker_targets_default_all_engines/err # test/cmdlineTests/model_checker_targets_default_chc/err # test/cmdlineTests/name_simplifier/output # test/cmdlineTests/no_contract_combined_json/output # test/cmdlineTests/optimizer_array_sload/output # test/cmdlineTests/output_selection_all_A1/output.json # test/cmdlineTests/output_selection_all_A2/output.json # test/cmdlineTests/output_selection_all_blank/output.json # test/cmdlineTests/output_selection_all_star/output.json # test/cmdlineTests/output_selection_single_A1/output.json # test/cmdlineTests/output_selection_single_B1/output.json # test/cmdlineTests/output_selection_single_all/output.json # 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/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/output.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/output.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_evm_version_byzantium/output.json # test/cmdlineTests/standard_evm_version_constantinople/output.json # test/cmdlineTests/standard_function_debug_info/output.json # test/cmdlineTests/standard_generatedSources/output.json # test/cmdlineTests/standard_immutable_references/output.json # test/cmdlineTests/standard_import_asm_json/input.json # test/cmdlineTests/standard_import_asm_json/output.json # test/cmdlineTests/standard_import_asm_json_immutable_references/input.json # test/cmdlineTests/standard_import_asm_json_immutable_references/output.json # test/cmdlineTests/standard_import_asm_json_invalid_input_array/input.json # test/cmdlineTests/standard_import_asm_json_invalid_input_array/output.json # test/cmdlineTests/standard_import_asm_json_invalid_key_inside_source/input.json # test/cmdlineTests/standard_import_asm_json_invalid_key_inside_source/output.json # test/cmdlineTests/standard_import_asm_json_invalid_key_other_source/input.json # test/cmdlineTests/standard_import_asm_json_invalid_key_other_source/output.json # test/cmdlineTests/standard_import_asm_json_invalid_no_source/input.json # test/cmdlineTests/standard_import_asm_json_invalid_no_source/output.json # test/cmdlineTests/standard_import_asm_json_invalid_opcode/input.json # test/cmdlineTests/standard_import_asm_json_invalid_opcode/output.json # test/cmdlineTests/standard_import_asm_json_invalid_two_sources/input.json # test/cmdlineTests/standard_import_asm_json_invalid_two_sources/output.json # test/cmdlineTests/standard_import_asm_json_link_references/input.json # test/cmdlineTests/standard_import_asm_json_link_references/output.json # test/cmdlineTests/standard_import_asm_json_multiple_keys_inside_source/input.json # test/cmdlineTests/standard_import_asm_json_multiple_keys_inside_source/output.json # test/cmdlineTests/standard_import_asm_json_no_output_selection/input.json # test/cmdlineTests/standard_import_asm_json_no_output_selection/output.json # test/cmdlineTests/standard_import_ast/output.json # test/cmdlineTests/standard_import_ast_select_bytecode/output.json # test/cmdlineTests/standard_irOptimized_ast_requested/output.json # test/cmdlineTests/standard_irOptimized_requested/output.json # test/cmdlineTests/standard_ir_ast_requested/output.json # test/cmdlineTests/standard_ir_requested/output.json # test/cmdlineTests/standard_metadata/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_bmc_loop_iterations/output.json # test/cmdlineTests/standard_model_checker_bmc_loop_iterations_invalid_arg/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_ext_calls_empty_arg/output.json # test/cmdlineTests/standard_model_checker_ext_calls_trusted_chc/output.json # test/cmdlineTests/standard_model_checker_ext_calls_untrusted_chc/output.json # test/cmdlineTests/standard_model_checker_ext_calls_wrong_arg_1/output.json # test/cmdlineTests/standard_model_checker_ext_calls_wrong_arg_2/output.json # test/cmdlineTests/standard_model_checker_invariants_contract/output.json # test/cmdlineTests/standard_model_checker_invariants_contract_reentrancy/output.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_print_query_all/output.json # test/cmdlineTests/standard_model_checker_print_query_bmc/output.json # test/cmdlineTests/standard_model_checker_print_query_chc/output.json # test/cmdlineTests/standard_model_checker_print_query_invalid_arg/output.json # test/cmdlineTests/standard_model_checker_print_query_no_smtlib2_solver/output.json # test/cmdlineTests/standard_model_checker_print_query_superflous_solver/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_default_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_default_chc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_false_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_false_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_false_chc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_true_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_true_bmc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_true_chc/output.json # test/cmdlineTests/standard_model_checker_show_proved_safe_wrong/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_show_unsupported_default_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_default_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_default_chc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_false_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_false_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_false_chc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_true_all_engines/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_true_bmc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_true_chc/output.json # test/cmdlineTests/standard_model_checker_show_unsupported_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_no_import_callback/output.json # test/cmdlineTests/standard_only_ast_requested/output.json # test/cmdlineTests/standard_optimizer_generatedSources/output.json # test/cmdlineTests/standard_optimizer_invalid_detail_type/output.json # test/cmdlineTests/standard_optimizer_invalid_details/output.json # test/cmdlineTests/standard_optimizer_no_yul/output.json # test/cmdlineTests/standard_optimizer_yul/output.json # test/cmdlineTests/standard_optimizer_yulDetails/output.json # test/cmdlineTests/standard_optimizer_yulDetails_no_object/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_abbreviation/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_invalid_nested_delimiter/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_mutliple_delimiters/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nested_brackets/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_nesting_too_deep/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_no_yul/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_type/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_closing_bracket/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_unbalanced_opening_bracket/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_cleanup_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_cleanup_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_optimisation_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence_no_yul/input.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_empty_sequence_no_yul/output.json # test/cmdlineTests/standard_optimizer_yulDetails_optimiserSteps_with_whitespace_newline_sequence_no_yul/output.json # test/cmdlineTests/standard_optimizer_yulDetails_without_yul/output.json # test/cmdlineTests/standard_outputs_on_analysis_error_fatal/output.json # test/cmdlineTests/standard_outputs_on_analysis_error_fatal_after_current_step/output.json # test/cmdlineTests/standard_outputs_on_analysis_error_non_fatal/output.json # test/cmdlineTests/standard_outputs_on_compilation_error/output.json # test/cmdlineTests/standard_outputs_on_parsing_error/output.json # test/cmdlineTests/standard_parsing_import_absolute_paths/output.json # test/cmdlineTests/standard_secondary_source_location/output.json # test/cmdlineTests/standard_stop_after_parsing_ast_requested/output.json # test/cmdlineTests/standard_stop_after_parsing_bytecode_requested/output.json # test/cmdlineTests/standard_stop_after_parsing_non_binary_output_requested/output.json # test/cmdlineTests/standard_urls_existing_and_missing/output.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_output_selection/output.json # test/cmdlineTests/standard_wrong_type_output_selection_contract/output.json # test/cmdlineTests/standard_wrong_type_output_selection_file/output.json # test/cmdlineTests/standard_wrong_type_output_selection_output/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/output.json # test/cmdlineTests/standard_yul_debug_info_print_location_only/output.json # test/cmdlineTests/standard_yul_debug_info_print_none/output.json # test/cmdlineTests/standard_yul_debug_info_print_snippet_only/output.json # test/cmdlineTests/standard_yul_evm_version_byzantium/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/stop_after_parsing_ast/output # 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/output # test/cmdlineTests/storage_layout_value_types/output.json # test/cmdlineTests/storage_layout_value_types_packed/output.json # test/cmdlineTests/strict_asm_ast_compact_json/output # test/cmdlineTests/viair_subobject_optimization/output # test/cmdlineTests/yul_optimizer_steps_disabled/err # test/cmdlineTests/yul_optimizer_steps_without_optimize_empty_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/~documentation_examples/test.sh # test/compilationTests/corion/ico.sol # test/compilationTests/corion/premium.sol # test/compilationTests/corion/schelling.sol # test/compilationTests/corion/token.sol # test/evmc/evmc.h # 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/prb-math.py # test/externalTests/trident.sh # test/externalTests/uniswap.sh # test/externalTests/yield-liquidator.sh # test/externalTests/zeppelin.sh # test/libevmasm/Assembler.cpp # test/libevmasm/Optimiser.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_emited_in_base_contract.sol # test/libsolidity/ABIJson/event_emitted_from_foreign_contract.sol # test/libsolidity/ABIJson/event_file_level.sol # test/libsolidity/ABIJson/event_structs.sol # test/libsolidity/ABIJson/events.sol # test/libsolidity/ABIJson/events_indirect.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/mapping.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/ASTJSON/abstract_contract.json # test/libsolidity/ASTJSON/abstract_contract.sol # test/libsolidity/ASTJSON/abstract_contract_parseOnly.json # test/libsolidity/ASTJSON/address_payable.json # test/libsolidity/ASTJSON/address_payable.sol # 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.sol # test/libsolidity/ASTJSON/assembly/call_parseOnly.json # test/libsolidity/ASTJSON/assembly/empty_block.json # test/libsolidity/ASTJSON/assembly/empty_block.sol # test/libsolidity/ASTJSON/assembly/empty_block_parseOnly.json # test/libsolidity/ASTJSON/assembly/empty_let_variable_declaration.json # test/libsolidity/ASTJSON/assembly/empty_let_variable_declaration.sol # test/libsolidity/ASTJSON/assembly/empty_let_variable_declaration_parseOnly.json # test/libsolidity/ASTJSON/assembly/function.json # test/libsolidity/ASTJSON/assembly/function.sol # test/libsolidity/ASTJSON/assembly/function_parseOnly.json # test/libsolidity/ASTJSON/assembly/leave.json # test/libsolidity/ASTJSON/assembly/leave.sol # test/libsolidity/ASTJSON/assembly/leave_parseOnly.json # test/libsolidity/ASTJSON/assembly/loop.json # test/libsolidity/ASTJSON/assembly/loop.sol # test/libsolidity/ASTJSON/assembly/loop_parseOnly.json # test/libsolidity/ASTJSON/assembly/nested_functions.json # test/libsolidity/ASTJSON/assembly/nested_functions.sol # test/libsolidity/ASTJSON/assembly/nested_functions_parseOnly.json # test/libsolidity/ASTJSON/assembly/slot_offset.json # test/libsolidity/ASTJSON/assembly/slot_offset.sol # test/libsolidity/ASTJSON/assembly/slot_offset_parseOnly.json # test/libsolidity/ASTJSON/assembly/stringlit.json # test/libsolidity/ASTJSON/assembly/stringlit.sol # test/libsolidity/ASTJSON/assembly/stringlit_parseOnly.json # test/libsolidity/ASTJSON/assembly/switch.json # test/libsolidity/ASTJSON/assembly/switch.sol # test/libsolidity/ASTJSON/assembly/switch_default.json # test/libsolidity/ASTJSON/assembly/switch_default.sol # 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.sol # test/libsolidity/ASTJSON/assembly/var_access_parseOnly.json # test/libsolidity/ASTJSON/ast_internal_function_different_ids_export.json # test/libsolidity/ASTJSON/ast_internal_function_different_ids_export.sol # test/libsolidity/ASTJSON/ast_internal_function_id_export.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.sol # 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_natspec.json # test/libsolidity/ASTJSON/enum_natspec_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_aggregated_contract.json # test/libsolidity/ASTJSON/event_definition.json # test/libsolidity/ASTJSON/event_definition_parseOnly.json # test/libsolidity/ASTJSON/event_emited_in_base_contract.json # test/libsolidity/ASTJSON/event_emitted_from_foreign_contract.json # test/libsolidity/ASTJSON/event_emitted_from_foreign_contract_parseOnly.json # test/libsolidity/ASTJSON/event_inheritance.json # test/libsolidity/ASTJSON/event_with_variables_of_internal_types.sol # 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.sol # 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.sol # 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/indirect_event.json # test/libsolidity/ASTJSON/indirect_event_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.sol # 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.sol # test/libsolidity/ASTJSON/override_parseOnly.json # test/libsolidity/ASTJSON/placeholder_statement.json # test/libsolidity/ASTJSON/placeholder_statement_parseOnly.json # test/libsolidity/ASTJSON/pragma_experimental_solidity_parseOnly.json # test/libsolidity/ASTJSON/receive_ether.json # test/libsolidity/ASTJSON/receive_ether.sol # 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/struct_natspec.json # test/libsolidity/ASTJSON/struct_natspec_parseOnly.json # test/libsolidity/ASTJSON/two_base_functions.json # test/libsolidity/ASTJSON/two_base_functions.sol # 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.sol # test/libsolidity/ASTJSON/used_errors_parseOnly.json # test/libsolidity/ASTJSON/userDefinedValueType.json # test/libsolidity/ASTJSON/userDefinedValueType.sol # test/libsolidity/ASTJSON/userDefinedValueType_parseOnly.json # test/libsolidity/ASTJSON/user_defined_operator.json # test/libsolidity/ASTJSON/user_defined_operator.sol # 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.sol # test/libsolidity/ASTJSON/yul_hex_literal_parseOnly.json # test/libsolidity/ASTPropertyTest.cpp # test/libsolidity/ASTPropertyTest.h # test/libsolidity/AnalysisFramework.h # test/libsolidity/GasCosts.cpp # test/libsolidity/GasTest.cpp # test/libsolidity/LibSolc.cpp # test/libsolidity/Metadata.cpp # test/libsolidity/NatspecJSONTest.cpp # test/libsolidity/NatspecJSONTest.h # test/libsolidity/SemanticTest.cpp # test/libsolidity/SolidityEndToEndTest.cpp # test/libsolidity/SolidityOptimizer.cpp # test/libsolidity/StandardCompiler.cpp # test/libsolidity/SyntaxTest.cpp # test/libsolidity/SyntaxTest.h # test/libsolidity/gasTests/abiv2.sol # test/libsolidity/gasTests/abiv2_optimised.sol # test/libsolidity/natspecJSON/dev_multiple_params_mixed_whitespace.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_decode_v2_storage.sol # test/libsolidity/semanticTests/abiEncoderV1/abi_encode_calldata_slice.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_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/calldata_array.sol # test/libsolidity/semanticTests/abiEncoderV2/calldata_overlapped_dynamic_arrays.sol # test/libsolidity/semanticTests/abiEncoderV2/storage_array_encoding.sol # test/libsolidity/semanticTests/abiencodedecode/abi_decode_simple_storage.sol # test/libsolidity/semanticTests/arithmetics/check_var_init.sol # test/libsolidity/semanticTests/array/array_memory_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_access.sol # test/libsolidity/semanticTests/array/array_storage_index_boundary_test.sol # test/libsolidity/semanticTests/array/array_storage_index_zeroed_test.sol # test/libsolidity/semanticTests/array/array_storage_length_access.sol # test/libsolidity/semanticTests/array/array_storage_push_empty.sol # test/libsolidity/semanticTests/array/array_storage_push_empty_length_address.sol # test/libsolidity/semanticTests/array/array_storage_push_pop.sol # test/libsolidity/semanticTests/array/arrays_complex_from_and_to_storage.sol # test/libsolidity/semanticTests/array/byte_array_transitional_2.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_uint40.sol # test/libsolidity/semanticTests/array/copying/array_copy_clear_storage.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_static.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_storage_struct.sol # test/libsolidity/semanticTests/array/copying/array_copy_storage_to_memory_nested.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_leftover.sol # test/libsolidity/semanticTests/array/copying/array_copy_target_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_struct_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_of_structs_containing_arrays_memory_to_storage.sol # test/libsolidity/semanticTests/array/copying/array_storage_multi_items_per_slot.sol # test/libsolidity/semanticTests/array/copying/array_to_mapping.sol # test/libsolidity/semanticTests/array/copying/arrays_from_and_to_storage.sol # test/libsolidity/semanticTests/array/copying/bytes_inside_mappings.sol # test/libsolidity/semanticTests/array/copying/bytes_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/calldata_array_dynamic_to_storage.sol # test/libsolidity/semanticTests/array/copying/calldata_array_to_mapping.sol # test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_in_struct_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_byte_array_to_storage.sol # test/libsolidity/semanticTests/array/copying/copy_function_internal_storage_array.sol # test/libsolidity/semanticTests/array/copying/copy_removes_bytes_data.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_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_array_of_structs_storage_to_storage.sol # test/libsolidity/semanticTests/array/copying/nested_dynamic_array_element_calldata_to_storage.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_bytes.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_from_pointer.sol # test/libsolidity/semanticTests/array/copying/storage_memory_nested_struct.sol # test/libsolidity/semanticTests/array/copying/storage_memory_packed_dyn.sol # test/libsolidity/semanticTests/array/create_memory_array.sol # test/libsolidity/semanticTests/array/delete/bytes_delete_element.sol # test/libsolidity/semanticTests/array/dynamic_array_cleanup.sol # test/libsolidity/semanticTests/array/dynamic_arrays_in_storage.sol # test/libsolidity/semanticTests/array/dynamic_multi_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_array_cleanup.sol # test/libsolidity/semanticTests/array/fixed_arrays_as_return_type.sol # test/libsolidity/semanticTests/array/fixed_arrays_in_constructors.sol # test/libsolidity/semanticTests/array/function_array_cross_calls.sol # test/libsolidity/semanticTests/array/invalid_encoding_for_storage_byte_array.sol # test/libsolidity/semanticTests/array/pop/array_pop_array_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint16_transition.sol # test/libsolidity/semanticTests/array/pop/array_pop_uint24_transition.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_long_storage_empty_garbage_ref.sol # test/libsolidity/semanticTests/array/pop/byte_array_pop_masking_long.sol # test/libsolidity/semanticTests/array/push/array_push.sol # test/libsolidity/semanticTests/array/push/array_push_nested_from_calldata.sol # test/libsolidity/semanticTests/array/push/array_push_struct.sol # test/libsolidity/semanticTests/array/push/array_push_struct_from_calldata.sol # test/libsolidity/semanticTests/array/push/byte_array_push_transition.sol # test/libsolidity/semanticTests/array/push/nested_bytes_push.sol # test/libsolidity/semanticTests/array/push/push_no_args_2d.sol # test/libsolidity/semanticTests/array/push/push_no_args_bytes.sol # test/libsolidity/semanticTests/array/reusing_memory.sol # test/libsolidity/semanticTests/byte_array_to_storage_cleanup.sol # test/libsolidity/semanticTests/calldata/copy_from_calldata_removes_bytes_data.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_arguments_external.sol # test/libsolidity/semanticTests/constructor/constructor_function_complex.sol # test/libsolidity/semanticTests/constructor/constructor_static_array_argument.sol # test/libsolidity/semanticTests/constructor/no_callvalue_check.sol # test/libsolidity/semanticTests/constructor_inheritance_init_order.sol # test/libsolidity/semanticTests/constructor_inheritance_init_order_2.sol # test/libsolidity/semanticTests/constructor_with_params.sol # test/libsolidity/semanticTests/constructor_with_params_diamond_inheritance.sol # test/libsolidity/semanticTests/constructor_with_params_inheritance.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage.sol # test/libsolidity/semanticTests/events/event_dynamic_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_dynamic_nested_array_storage_v2.sol # test/libsolidity/semanticTests/events/event_emit_from_other_contract.sol # test/libsolidity/semanticTests/events/event_indexed_string.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/freeFunctions/new_operator.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_no_args.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_args.sol # test/libsolidity/semanticTests/functionCall/creation_function_call_with_salt.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting.sol # test/libsolidity/semanticTests/functionCall/external_call_to_nonexisting_debugstrings.sol # test/libsolidity/semanticTests/functionCall/failed_create.sol # test/libsolidity/semanticTests/functionCall/gas_and_value_basic.sol # test/libsolidity/semanticTests/functionCall/gas_and_value_brace_syntax.sol # test/libsolidity/semanticTests/functionCall/mapping_array_internal_argument.sol # test/libsolidity/semanticTests/functionCall/send_zero_ether.sol # test/libsolidity/semanticTests/functionTypes/store_function.sol # test/libsolidity/semanticTests/immutable/multi_creation.sol # test/libsolidity/semanticTests/immutable/use_scratch.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/member_notation_ctor.sol # test/libsolidity/semanticTests/inheritance/value_for_constructor.sol # test/libsolidity/semanticTests/inlineAssembly/blobhash_pre_cancun.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_low_level_calls.sol # test/libsolidity/semanticTests/inlineAssembly/transient_storage_selfdestruct.sol # test/libsolidity/semanticTests/inlineAssembly/tstore_hidden_staticcall.sol # test/libsolidity/semanticTests/isoltestTesting/balance_other_contract.sol # test/libsolidity/semanticTests/libraries/internal_types_in_library.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_public.sol # test/libsolidity/semanticTests/libraries/using_library_mappings_return.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/salted_create/prediction_example.sol # test/libsolidity/semanticTests/salted_create/salted_create.sol # test/libsolidity/semanticTests/salted_create/salted_create_with_value.sol # test/libsolidity/semanticTests/smoke/alignment.sol # test/libsolidity/semanticTests/smoke/constructor.sol # test/libsolidity/semanticTests/state/blockhash_basic.sol # test/libsolidity/semanticTests/storage/empty_nonempty_empty.sol # test/libsolidity/semanticTests/storage/packed_storage_structs_bytes.sol # test/libsolidity/semanticTests/structs/calldata/calldata_struct_with_nested_array_to_storage.sol # test/libsolidity/semanticTests/structs/conversion/recursive_storage_memory.sol # test/libsolidity/semanticTests/structs/copy_from_mapping.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/memory_structs_nested_load.sol # test/libsolidity/semanticTests/structs/struct_containing_bytes_copy_and_delete.sol # test/libsolidity/semanticTests/structs/struct_copy.sol # test/libsolidity/semanticTests/structs/struct_copy_via_local.sol # test/libsolidity/semanticTests/structs/struct_delete_storage_with_array.sol # test/libsolidity/semanticTests/structs/struct_memory_to_storage_function_ptr.sol # test/libsolidity/semanticTests/structs/structs.sol # test/libsolidity/semanticTests/types/mapping/copy_from_mapping_to_mapping.sol # test/libsolidity/semanticTests/userDefinedValueType/calldata.sol # test/libsolidity/semanticTests/userDefinedValueType/erc20.sol # test/libsolidity/semanticTests/using/using_global_invisible.sol # test/libsolidity/semanticTests/various/address_code.sol # test/libsolidity/semanticTests/various/code_access_content.sol # test/libsolidity/semanticTests/various/code_access_create.sol # test/libsolidity/semanticTests/various/code_access_runtime.sol # test/libsolidity/semanticTests/various/code_length.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/external_types_in_calls.sol # test/libsolidity/semanticTests/various/many_subassemblies.sol # test/libsolidity/semanticTests/various/negative_stack_height.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_multiple_beneficiaries.sol # test/libsolidity/semanticTests/various/selfdestruct_post_cancun_redeploy.sol # test/libsolidity/semanticTests/various/selfdestruct_pre_cancun.sol # test/libsolidity/semanticTests/various/selfdestruct_pre_cancun_multiple_beneficiaries.sol # test/libsolidity/semanticTests/various/selfdestruct_pre_cancun_redeploy.sol # test/libsolidity/semanticTests/various/senders_balance.sol # test/libsolidity/semanticTests/various/skip_dynamic_types_for_structs.sol # test/libsolidity/semanticTests/various/staticcall_for_view_and_pure.sol # test/libsolidity/semanticTests/various/value_complex.sol # test/libsolidity/semanticTests/various/value_insane.sol # test/libsolidity/semanticTests/viaYul/copy_struct_invalid_ir_bug.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_packed_string_literal_no_unproved.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_selector_string_literal.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_array_slice.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_array_slice_2.sol # test/libsolidity/smtCheckerTests/abi/abi_encode_with_sig_string_literal.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/external_calls/call_mutex_unsafe.sol # test/libsolidity/smtCheckerTests/functions/functions_library_internal.sol # test/libsolidity/smtCheckerTests/functions/this_state.sol # test/libsolidity/smtCheckerTests/imports/import_base.sol # test/libsolidity/smtCheckerTests/loops/do_while_bmc_iterations_break_6.sol # test/libsolidity/smtCheckerTests/loops/do_while_bmc_iterations_break_7.sol # test/libsolidity/smtCheckerTests/loops/do_while_bmc_iterations_break_continue_1.sol # test/libsolidity/smtCheckerTests/loops/do_while_bmc_iterations_break_continue_2.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_2.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_8.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_9.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_continue_1.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_continue_2.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_break_continue_3.sol # test/libsolidity/smtCheckerTests/loops/for_loop_bmc_iterations_continue_3.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_8.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_break_4.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_break_6.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_break_7.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_break_continue_1.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_break_continue_2.sol # test/libsolidity/smtCheckerTests/loops/while_bmc_iterations_semantics_2.sol # test/libsolidity/smtCheckerTests/operators/delete_multid_array.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/array_literal_3.sol # test/libsolidity/smtCheckerTests/types/string_1.sol # test/libsolidity/syntaxTests/abiEncoder/abi_encodeCall_tuple_from_error_event.sol # test/libsolidity/syntaxTests/abiEncoder/abi_encodeCall_tuple_from_invalid_operator.sol # test/libsolidity/syntaxTests/denominations/combining_hex_and_denomination.sol # test/libsolidity/syntaxTests/denominations/invalid_denomination_address.sol # test/libsolidity/syntaxTests/errors/assert_with_error.sol # test/libsolidity/syntaxTests/errors/require_custom.sol # test/libsolidity/syntaxTests/errors/selector_on_instance.sol # test/libsolidity/syntaxTests/experimental/builtin/builtin_type_definition.sol # test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.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/inlineAssembly/blobhash_pre_cancun_not_declared.sol # test/libsolidity/syntaxTests/inlineAssembly/mcopy_pre_cancun.sol # test/libsolidity/syntaxTests/inlineAssembly/transient_storage_invalid_pre_cancun.sol # test/libsolidity/syntaxTests/parsing/lexer_numbers_with_underscores_decimal_fail.sol # test/libsolidity/syntaxTests/parsing/lexer_numbers_with_underscores_fixed_fail.sol # test/libsolidity/syntaxTests/parsing/lexer_numbers_with_underscores_hex_fail.sol # test/libsolidity/syntaxTests/revertStatement/error_used_elsewhere.sol # test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large.sol # test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large_byzantium.sol # test/libsolidity/syntaxTests/sizeLimits/combined_too_large_paris.sol # test/libsolidity/syntaxTests/sizeLimits/combined_too_large_shanghai.sol # t…
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 2024-05-22 (commit 8a97fa7a).
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: