chriseth
57e012da98
Merge pull request #12663 from ethereum/assemblyAnnotationDialectString
...
Assembly annotation as memory-safe using assembly flags.
2022-03-07 13:03:08 +01:00
chriseth
79eba921b8
Merge pull request #12659 from paarthmadan/pm/base-64-test-cases
...
Add Base64 test cases with and without inline assembly
2022-03-07 12:57:49 +01:00
chriseth
4f19d68ee9
Merge pull request #12620 from ethereum/assemblyAnnotation
...
Memory-safety annotation for inline assembly.
2022-03-07 12:48:41 +01:00
chriseth
81f1de241b
Merge pull request #12747 from ethereum/removeUnusedAssemblyEntryPoint
...
Remove unused entry point to evmasm Assembly.
2022-03-07 12:44:44 +01:00
Daniel Kirchner
06820e1b1e
Remove unused entry point to evmasm Assembly.
2022-03-07 12:14:08 +01:00
Leo
7c91dd05a7
Merge pull request #12741 from david-k/develop
...
[Doc] Fix leftover use of divModWithSlacks
2022-03-07 10:12:47 +01:00
Tyler
a890c82f9d
Remove use of using namespace in header file
2022-03-06 23:16:10 -05:00
Paarth Madan
17fa85a2fb
Add Base64 test cases with and without inline assembly
...
Adds two implementations of Base64 encoding as specified in RFC4648.
Implementation (1) uses inline assembly, while Implementation (2) is
written purely in Solidity.
Assertions are added to replicate the test vectors specified in the RFC
for Base64 to ensure both implementations to specification.
2022-03-05 19:51:46 -05:00
Daniel Kirchner
198b705361
Merge pull request #12721 from ethereum/fixIterableMapping
...
Fix iterable mapping example.
2022-03-04 15:27:56 +01:00
Daniel Kirchner
c9373061aa
Merge pull request #12742 from msooseth/style_fix
...
Fixing style issue in ExecutionFramework.cpp
2022-03-04 15:23:25 +01:00
Mate Soos
66a779d267
Fixing style issue in ExecutionFramework.cpp
...
It should be `auto const&` not `const auto&`
2022-03-04 12:20:57 +01:00
david-k
cb4ffbfbb7
Fix leftover use of divModWithSlacks in doc
...
The option `divModWithSlacks` was previously changed to `divModNoSlacks`.
However, this was not reflected in the documentation.
2022-03-04 11:02:54 +01:00
Kamil Śliwak
999a53c984
Merge pull request #12684 from nishant-sachdeva/external_contract_wasting_gas_by_return_value
...
Never allocate more memory than the type size for static returns in external calls
2022-03-03 15:58:22 +01:00
nishant-sachdeva
beabc51c20
returnSize assigned according to truth value of returnInfo.dynamicReturnSize
2022-03-03 18:55:10 +05:30
Alexander Arlt
ebefb5d980
Merge pull request #12727 from ethereum/update-ci-cmake-jq-buildpacks
...
Update CI to use new buildpacks.
2022-03-02 15:55:17 -05:00
Alexander Arlt
de916dcc0b
Merge pull request #12726 from ethereum/update-buildpacks-cmake-jq
...
Update buildpacks to include `jq`.
2022-03-02 15:54:37 -05:00
Alexander Arlt
ab0ab4491d
Update CI to use new buildpacks.
2022-03-02 11:43:57 -05:00
Daniel Kirchner
b3764ad4ef
Merge pull request #12733 from ethereum/perpetual-pools-fix-race-condition-due-to-hardhat-parallel-compilation
...
Workaround for a race condition in Perpetual Pools ext test due to parallel compilation on Hardhat 2.9.0
2022-03-02 17:22:26 +01:00
Daniel Kirchner
46d8611e90
Adjust grammar.
2022-03-02 17:07:11 +01:00
Daniel Kirchner
0381de54c2
Update docs.
2022-03-02 17:07:11 +01:00
Daniel Kirchner
93dd8ad553
Tests.
2022-03-02 17:07:11 +01:00
Daniel Kirchner
290b1c3a90
Allow memory-safe inline assembly dialect flag.
2022-03-02 17:07:11 +01:00
Kamil Śliwak
30008465bf
perpetual-pools: Use Hardhat 2.8.4 to work around @openzeppelin/hardhat-upgrades's problem with parallel compilation on Hardhat 2.9.0
2022-03-02 16:47:55 +01:00
Daniel Kirchner
6b6e163be5
Tests.
2022-03-02 16:42:28 +01:00
Daniel Kirchner
ad13062978
Patch external tests with a safe inline assembly annotation.
2022-03-02 16:42:28 +01:00
Daniel Kirchner
62a997ac97
Documentation.
2022-03-02 16:42:28 +01:00
Daniel Kirchner
dfb7bf2853
Report memoryguard in stack too deep error.
2022-03-02 16:42:28 +01:00
Daniel Kirchner
9bcfcc61a7
Inline assembly without memory effects is implicitly memory safe.
2022-03-02 16:42:28 +01:00
Daniel Kirchner
e6848caac1
Allow annotating inline assembly as memory-safe.
2022-03-02 16:42:28 +01:00
chriseth
d118f21417
Merge pull request #12729 from ethereum/splitOutDisassemble
...
Split out disassemble to remove numeric from instruction includes.
2022-03-02 16:18:17 +01:00
chriseth
b0dcd7b915
Split out disassemble to remove numeric from instruction includes.
2022-03-02 15:30:41 +01:00
Alexander Arlt
149a730f4a
Update buildpacks to include jq.
2022-03-02 09:23:49 -05:00
Daniel Kirchner
e8520a667b
Merge pull request #12730 from ethereum/saveRestoreNestingDepth
...
Also save and restore the nesting depth.
2022-03-02 14:21:56 +01:00
chriseth
63f0a22c5d
Also save and restore the nesting depth.
2022-03-02 13:49:40 +01:00
chriseth
2bcb027533
Merge pull request #12693 from ethereum/extendSideEffects
...
Extend side effects
2022-03-01 23:48:06 +01:00
chriseth
d0d4bca35b
Extend side effects to operations.
2022-03-01 16:06:20 +01:00
chriseth
5369bdc8fb
Merge pull request #12722 from ethereum/smt_fix_nondet
...
Ignore cex in SMT test
2022-03-01 12:26:48 +01:00
chriseth
466251b5a0
Merge pull request #12689 from callezenwaka/develop
...
Fix typos on doc
2022-02-28 19:04:03 +01:00
Callis Ezenwaka
5134dafb8e
Update typo in using-for.rst
...
Update typo in using-for.rst
2022-02-28 19:03:13 +01:00
Leo Alt
bef69b595b
Ignore cex in SMT test
2022-02-28 18:56:20 +01:00
chriseth
fb7cdda891
Fix iterable mapping example.
2022-02-28 17:57:19 +01:00
chriseth
6df5342d88
Merge pull request #12697 from ethereum/revive-wasm-rebuild
...
Revive wasm rebuild scripts
2022-02-28 13:29:37 +01:00
chriseth
19f0f85984
Merge pull request #12714 from ethereum/remove-outdated-release-scripts
...
Remove outdated release scripts
2022-02-28 13:10:28 +01:00
chriseth
ebd584fcfb
Merge pull request #12206 from ethereum/extractExternalFunctionPart
...
Extract external function part
2022-02-28 13:04:14 +01:00
Kamil Śliwak
e0cc2d4ce2
Merge pull request #12715 from ethereum/release-checklist-restore-source-tarball-instructions
...
Put source tarball creation instructions back on the release checklist
2022-02-28 13:02:57 +01:00
Kamil Śliwak
8962d53e3c
Merge pull request #12701 from a3d4/fix-running-tests-from-any-drive
...
Fix running path-related tests from any Windows drive
2022-02-28 12:58:45 +01:00
chriseth
5a94a7c9be
Merge pull request #12698 from Abdulkarim4u/develop
...
fixed grammar on doc.
2022-02-28 12:40:01 +01:00
chriseth
ca4c983973
Merge pull request #12695 from ethereum/less-confusing-err
...
Make error message less confusing
2022-02-28 12:36:47 +01:00
Kamil Śliwak
1762482a56
Add instructions for creating the source tarball back to the release checklist
2022-02-28 12:22:25 +01:00
Kamil Śliwak
1f9fab84a6
Remove release.sh/.bat scripts we no longer use
2022-02-24 17:54:17 +01:00
