Skip to content

Conversation

@soldocsbot
Copy link

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-03-06 (commit edc494de).

How to work on a sync PR

Resolve conflicts and translate newly added text

  • The PR includes all documentation changes from the main repository since the last time a sync PR was merged. If this translation repository is fully caught up with the English version, translate any newly added English text you see here by pushing more commits to the PR. However, if the translation is incomplete, you may prefer to leave the text added in this PR and add it to your translation checklist to handle at a later time.
  • Scan the PR for merge conflict markers. If there were changes in the English text that has already been translated, the PR will contain merge conflicts that need to be resolved:
    <<<<<<< HEAD
        El valor más grande representable por el tipo ``T``.
    =======
        The smallest value representable by type ``T``.
    >>>>>>> 800088e38b5835ebdc71e9ba5299a70a5accd7c2
    The top part of the conflict is the current translation (corresponding to the old English text), the bottom shows the new English text. To solve the conflict simply translate the new text, possibly reusing parts of the current translation. After doing so, do not forget to remove the conflict markers.
  • You may get conflicts also if there were structual changes that did not affect the meaning of the text and therefore do not require retranslation. For example when text is moved from one page to another, you will find matching conflicts in two places and the solution is to move the translation to the new spot. If only whitespace changed, it may even seem like there was no change at all but if there is a conflict, there is always a reason, however trivial it may be. Be careful, though, because there is a possibility that the text was both moved and modified.

Work on one sync PR at a time

  • Sync PRs are produced by the translation bot in regular intervals as long as there are changes in the English documentation. You will not lose any updates by closing this PR. The next sync PR will also include them. The latest sync PR will always include all changes that need to be done. If you haven't worked on any sync PR yet and there are several open sync PRs in your repo, choose the latest (newest) one to get started.
  • It is recommended to work only on one sync PR at a time. Close this PR if you are already working on a different one.
  • Once you merge this PR, the conflict resolutions and new commits you pushed to it are likely to cause conflicts with other open sync PRs. It is possible solve these conflicts if you are proficient with git and fully understand what changed in which PR, but for simplicity it is recommended to close all pending sync PRs and wait for a fresh one, which will no longer include the merged changes.

Do not squash merge or rebase this PR

Rebasing or squashing a sync PR erases the information about the commits that the changes originally came from, which will result in extra conflicts in the next sync PR.
If you do it by accident, don't worry - simply make sure to handle the next sync PR properly, which will restore the missing commits.

Review checklist

The following files were modified in this pull request. Please review them before merging the PR:

bshastry and others added 30 commits February 6, 2024 11:40
…library_search

[test] Add /usr/local/lib to search paths on macOS.
- By catching and asserting it we hide the line number and message.
- OptimizerException inherits from util::Exception so just letting it through will have the same effect as asserting.
- They're no longer used because the cost depends on the EVM version.
Use ethers version 6.11.0 on openzeppelin external tests
…al_binary

[ci] Remove code signature from universal binary.
…vironment_variable_from_circleci

[ci] Remove usage of ETH_EVMONE environment variable.
When creating zero-value expression, we need to respect the signedness of the passed type.
bshastry and others added 29 commits February 22, 2024 18:16
Yul fuzzer: Support blobhash(uint) global function
`forall` quantifier and mandatory declarations for type variables in new analysis
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.
…date

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
* 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>
[test] Fix python snippet causing "SyntaxWarning" in Scanner.
…during_import

[evmasm] Fix handling of missing source locations during import.
Minor fixes in handling `selfdestruct` in `EVMHost`
# Conflicts:
#	.circleci/config.yml
#	Changelog.md
#	libevmasm/Assembly.cpp
#	libevmasm/AssemblyItem.h
#	libevmasm/CommonSubexpressionEliminator.cpp
#	libevmasm/CommonSubexpressionEliminator.h
#	libevmasm/ControlFlowGraph.cpp
#	libevmasm/ExpressionClasses.cpp
#	libevmasm/ExpressionClasses.h
#	libevmasm/GasMeter.cpp
#	libevmasm/GasMeter.h
#	libevmasm/Instruction.cpp
#	libevmasm/Instruction.h
#	libevmasm/KnownState.cpp
#	libevmasm/KnownState.h
#	libevmasm/PeepholeOptimiser.cpp
#	libevmasm/SimplificationRules.cpp
#	libevmasm/SimplificationRules.h
#	liblangutil/CMakeLists.txt
#	liblangutil/Token.h
#	libsmtutil/SolverInterface.h
#	libsolidity/analysis/NameAndTypeResolver.cpp
#	libsolidity/ast/AST.h
#	libsolidity/ast/ASTAnnotations.h
#	libsolidity/ast/ASTForward.h
#	libsolidity/ast/ASTVisitor.h
#	libsolidity/ast/AST_accept.h
#	libsolidity/codegen/YulUtilFunctions.cpp
#	libsolidity/experimental/analysis/TypeInference.cpp
#	libsolidity/experimental/analysis/TypeInference.h
#	libsolidity/formal/SymbolicTypes.cpp
#	libsolidity/interface/CompilerStack.cpp
#	libsolidity/interface/SMTSolverCommand.cpp
#	libsolidity/parsing/Parser.cpp
#	libsolidity/parsing/Parser.h
#	libyul/AST.h
#	libyul/ASTForward.h
#	libyul/AsmParser.cpp
#	libyul/AsmParser.h
#	libyul/AsmPrinter.cpp
#	libyul/AsmPrinter.h
#	libyul/backends/evm/ConstantOptimiser.h
#	libyul/backends/evm/ControlFlowGraph.h
#	libyul/backends/evm/ControlFlowGraphBuilder.cpp
#	libyul/backends/evm/ControlFlowGraphBuilder.h
#	libyul/backends/evm/OptimizedEVMCodeTransform.cpp
#	libyul/backends/evm/OptimizedEVMCodeTransform.h
#	libyul/optimiser/ConditionalSimplifier.cpp
#	libyul/optimiser/ControlFlowSimplifier.cpp
#	libyul/optimiser/ExpressionSplitter.cpp
#	libyul/optimiser/ForLoopConditionIntoBody.cpp
#	libyul/optimiser/ForLoopConditionOutOfBody.cpp
#	libyul/optimiser/SSATransform.cpp
#	libyul/optimiser/SimplificationRules.cpp
#	libyul/optimiser/SimplificationRules.h
#	libyul/optimiser/StackCompressor.cpp
#	libyul/optimiser/StackToMemoryMover.cpp
#	scripts/check_style.sh
#	scripts/externalTests/common.sh
#	scripts/externalTests/runners/base.py
#	scripts/externalTests/test_helpers.py
#	scripts/gas_diff_stats.py
#	solc/CommandLineInterface.cpp
#	test/Common.cpp
#	test/CommonSyntaxTest.cpp
#	test/EVMHost.cpp
#	test/EVMHost.h
#	test/ExecutionFramework.cpp
#	test/ExecutionFramework.h
#	test/FilesystemUtils.cpp
#	test/Metadata.cpp
#	test/TestCase.cpp
#	test/TestCaseReader.cpp
#	test/cmdlineTests.sh
#	test/cmdlineTests/asm_json_import_all_valid_flags/output
#	test/cmdlineTests/asm_json_import_difficulty_prevrandao/output
#	test/cmdlineTests/asm_json_import_hex_subassembly_indices/output
#	test/cmdlineTests/asm_json_import_random_order_data_index/output
#	test/cmdlineTests/debug_info_in_yul_snippet_escaping/output
#	test/cmdlineTests/function_debug_info/output
#	test/cmdlineTests/linking_standard_solidity_unresolved_references/output.json
#	test/cmdlineTests/yul_string_format_ascii/output.json
#	test/cmdlineTests/yul_string_format_ascii_long/output.json
#	test/compilationTests/corion/ico.sol
#	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/perpetual-pools.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/libsolidity/GasCosts.cpp
#	test/libsolidity/SemanticTest.cpp
#	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/arithmetics/check_var_init.sol
#	test/libsolidity/semanticTests/array/constant_var_as_array_length.sol
#	test/libsolidity/semanticTests/array/copying/cleanup_during_multi_element_per_slot_copy.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/reusing_memory.sol
#	test/libsolidity/semanticTests/byte_array_to_storage_cleanup.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_emit_from_other_contract.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/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/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/isoltestTesting/balance_other_contract.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/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/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_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/staticcall_for_view_and_pure.sol
#	test/libsolidity/semanticTests/various/value_complex.sol
#	test/libsolidity/semanticTests/various/value_insane.sol
#	test/libsolidity/smtCheckerTests/imports/import_base.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_function_call.sol
#	test/libsolidity/syntaxTests/experimental/inference/polymorphic_type.sol
#	test/libsolidity/syntaxTests/sizeLimits/bytecode_too_large.sol
#	test/libsolidity/syntaxTests/sizeLimits/combined_too_large_shanghai.sol
#	test/libsolidity/syntaxTests/sizeLimits/initcode_too_large_shanghai.sol
#	test/libsolidity/util/SoltestTypes.h
#	test/libsolidity/util/TestFileParser.cpp
#	test/libsolidity/util/TestFileParserTests.cpp
#	test/libsolidity/util/TestFunctionCall.cpp
#	test/libsolidity/util/TestFunctionCall.h
#	test/libsolidity/util/TestFunctionCallTests.cpp
#	test/soltest.cpp
#	test/tools/ossfuzz/protoToYul.cpp
#	test/tools/ossfuzz/yulProto.proto
#	test/tools/yulInterpreter/Inspector.cpp
#	test/tools/yulInterpreter/Inspector.h
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.