Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

English documentation updates up to v0.8.24-107-g28b25879d (2024-02-28) #8

Open
wants to merge 76 commits into
base: develop
Choose a base branch
from

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-02-28 (commit 28b25879).

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.
ekpyron and others added 29 commits February 21, 2024 20:57
More robust error handling and improved formatting in `gas_diff_stats.py`
Use latest release instead of main branch on external tests
…-semantic-tests

Separate code deposit cost in semantic tests
Use CircleCI rust+node convenience image for t_ems_ext_hardhat job
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
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
# 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/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/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/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/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.

9 participants