Merge remote-tracking branch 'origin/develop' into merge_develop_060

docs/contributing.rst

@@ -94,7 +94,7 @@ The test system will automatically try to discover the location of the ``evmone`
 starting from the current directory. The required file is called ``libevmone.so`` on Linux systems,
 ``evmone.dll`` on Windows systems and ``libevmone.dylib`` on MacOS. If it is not found, the relevant tests
 are skipped. To run all tests, download the library from
-`Github <https://github.com/ethereum/evmone/releases/tag/v0.1.0>`_
+`Github <https://github.com/ethereum/evmone/releases/tag/v0.3.0>`_
 and either place it in the project root path or inside the ``deps`` folder.
 
 If you do not have libz3 installed on your system, you should disable the SMT tests:

docs/yul.rst

@@ -185,11 +185,17 @@ introduce new identifiers into these scopes.
 
 Identifiers are visible in
 the block they are defined in (including all sub-nodes and sub-blocks).
-As an exception, identifiers defined in the "init" part of the for-loop
+
+As an exception, identifiers defined directly in the "init" part of the for-loop
 (the first block) are visible in all other parts of the for-loop
 (but not outside of the loop).
 Identifiers declared in the other parts of the for loop respect the regular
 syntactical scoping rules.
+
+This means a for-loop of the form ``for { I... } C { P... } { B... }`` is equivalent
+to ``{ I... for {} C { P... } { B... } }``.
+
+
 The parameters and return parameters of functions are visible in the
 function body and their names cannot overlap.