Commit Graph

6736 Commits

Author SHA1 Message Date
Daniel Kirchner
ce0a3e93f2 Store whether an evmasm Assembly is creation code. 2022-03-09 17:42:29 +01:00
Tyler
519e1c9402 Specify namespaces
Fix references into solidity::util
2022-03-08 00:09:17 -05:00
chriseth
77c40cd2af
Merge pull request #12740 from ethereum/remove-locale-dependent-operations
Replace all locale-dependent operations with locale-agnostic counterparts
2022-03-07 17:56:58 +01:00
wechman
52dfccca98 Replace all locale-dependent operations with locale-agnostic counterparts 2022-03-07 17:23:08 +01:00
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
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
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
nishant-sachdeva
beabc51c20 returnSize assigned according to truth value of returnInfo.dynamicReturnSize 2022-03-03 18:55:10 +05:30
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
93dd8ad553 Tests. 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
e6848caac1 Allow annotating inline assembly as memory-safe. 2022-03-02 16:42:28 +01:00
chriseth
b0dcd7b915 Split out disassemble to remove numeric from instruction includes. 2022-03-02 15:30:41 +01:00
Leo Alt
bef69b595b Ignore cex in SMT test 2022-02-28 18:56:20 +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
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
ca4c983973
Merge pull request #12695 from ethereum/less-confusing-err
Make error message less confusing
2022-02-28 12:36:47 +01:00
a3d4
50ae21d1bf Fix running tests from any drive 2022-02-22 18:11:42 +01:00
nishant-sachdeva
195f72e844 Added errorSelector field for custom errors 2022-02-21 19:14:33 +05:30
chriseth
e9592c3f8e Update tests. 2022-02-21 14:32:52 +01:00
Marenz
175580fe90 Make error message less confusing 2022-02-17 16:52:36 +01:00
Kamil Śliwak
8aa3b7fea0 Neutralize packaged Uniswap contracts in yield-liquidator external test 2022-02-16 13:16:44 +01:00
Kamil Śliwak
ccbc865beb elementfi: Bypass expiration check that won't pass due to test settings 2022-02-15 12:51:40 +01:00
Leo
947a599e91
Merge pull request #12441 from ethereum/benchmarking-ext-tests
Benchmarking external tests
2022-02-14 20:14:27 +01:00
Leo
e3e77c0f01
Merge pull request #12551 from ethereum/natspec-test
Add test for fixed natspec ICE
2022-02-14 19:51:03 +01:00
Leo
3915768753
Merge pull request #12594 from ethereum/solc-js-ext-test-local-checkout
solc-js external test on a local checkout
2022-02-14 19:44:46 +01:00
Daniel Kirchner
c47da51eab Consider all grandparents in override analysis. 2022-02-14 15:31:31 +01:00
Daniel Kirchner
3b6c99f3e8
Merge pull request #12572 from ethereum/fixStackShuffling
Improved stack shuffling in corner cases.
2022-02-14 13:00:56 +01:00
nishant-sachdeva
276851ff91 Added support for FunctionType::Kind::StringConcat and functions string.concat 2022-02-10 22:08:47 +05:30
Daniel Kirchner
290b9326e3 Move stray semantics test to proper directory. 2022-02-10 13:43:49 +01:00
Kamil Śliwak
c6094bb0c2 externalTests: Benchmark reports 2022-02-09 17:02:40 +01:00
Kamil Śliwak
a7852cba75 Python script for parsing eth-gas-reporter output 2022-02-09 17:02:40 +01:00
Kamil Śliwak
7fc2253841 externalTests: Make comments about failing presets less terse 2022-02-09 17:02:40 +01:00
Kamil Śliwak
3e1aee1745 externalTests: Clean the build/ dir for Hardhat too 2022-02-09 17:02:40 +01:00
Marenz
46075d04d9 Include used events in `--hashes` output 2022-02-09 13:50:42 +01:00
Marenz
3e7c68d9b0 Merge identifier query methods into one 2022-02-08 17:44:21 +01:00
joshieDo
9e62f21b25 Add event and error identifiers to cli hashes cmd 2022-02-08 17:44:21 +01:00
chriseth
5c3bcb6c2d
Merge pull request #12434 from ethereum/outputLocations
Output searched locations on import failure.
2022-02-08 17:16:46 +01:00
joshuatarkwski
6225dad332 Output searched locations on import failure. 2022-02-08 16:20:27 +01:00
chriseth
91b7d5fe5d
Merge pull request #12642 from ethereum/remove-solidityfixedfeeregistrar-ref
Remove a reference to unused SolidityFixedFeeRegistrar (retry)
2022-02-08 13:32:05 +01:00
Kamil Śliwak
28bc5db576
Merge pull request #12598 from a3d4/case-insensitive-root-in-normalizeclipathforvfs
Treat root path in normalizeCLIPathForVFS as case insensitive on Windows
2022-02-08 13:17:05 +01:00
Kamil Śliwak
122ad0770a
Merge pull request #12632 from a3d4/symlinks-on-windows
Clarify symlink handling on Windows
2022-02-08 13:16:24 +01:00
Mathias L. Baumann
c139d39b9b
Merge pull request #12589 from ethereum/emit-immutable-references
Emit immutable references for pure yul code
2022-02-07 13:21:44 +01:00
Marenz
b9fe628b70 Emit immutable references for pure yul code 2022-02-07 12:32:54 +01:00
chriseth
4715fafb82 Re-enable preset for poolTogether. 2022-02-07 11:31:59 +01:00
a3d4
a0dd2cd1ff Remove a reference to unused SolidityFixedFeeRegistrar 2022-02-05 15:14:18 +01:00
a3d4
0a17495cf9 Treat root path in normalizeCLIPathForVFS as case insensitive on Windows 2022-02-05 11:51:11 +01:00
a3d4
7634fc4ea9 Clarify symlink handling on Windows 2022-02-05 03:44:54 +01:00
Kamil Śliwak
32d64ce666
Merge pull request #12630 from ethereum/enable-full-tests-in-prb-math-ext-test
Enable full tests in PRBMath external test
2022-02-04 16:56:31 +01:00
Kamil Śliwak
4ebd839d3a Run full tests, not just test:contracts in PRBMath external test
- `test:contracts` does not seem to be running any tests at all.
2022-02-04 15:51:34 +01:00
Kamil Śliwak
b52032a452 Re-enable Bleeps and just disable the failing governor test 2022-02-04 15:18:37 +01:00
Kamil Śliwak
9e641e60e7 externalTests/solc-js: Allow using a local checkout of solc-js 2022-02-04 15:05:00 +01:00
Kamil Śliwak
b925250705 Make solc-js.sh run its tests directly
- Its structure has diverged a lot from other external tests and there's not point in keeping it abstracted like this.
2022-02-04 15:05:00 +01:00
Kamil Śliwak
f5b345504b When installing solc-js use the dist/ subdir, which contains the built JS files 2022-02-03 18:47:19 +01:00
Kamil Śliwak
e1a90b829e bleeps: Patch WETH9.sol for 0.8.x 2022-02-01 16:40:28 +01:00
Kamil Śliwak
57800529d1 bleeps: Switch to the main branch 2022-02-01 16:40:08 +01:00
Kamil Śliwak
6788f77541 Add missing SELECTED_PRESETS argument to some of the recently added external tests 2022-02-01 15:25:13 +01:00
Kamil Śliwak
1528d4b9e4 perpetual-pools: Switch the test to our fork (original repo is gone) 2022-02-01 14:34:03 +01:00
hrkrshnn
0fe5811459 Fixed a ICE on calldata to struct member copy 2022-01-31 17:26:11 +01:00
nishant-sachdeva
dec511aad8 Corresponding code in the .cpp file has been commented instead of begin removed pending preliminary reviews
Code generators needed fixing of the cleanup process during typecasting of bytes and integers
2022-01-28 19:56:15 +05:30
Bhargava Shastry
4bcd69e7bd Code transform fuzzer: Only test against latest EVM version. 2022-01-27 14:49:44 +01:00
Bhargava Shastry
cfda0e41ce Filter log statements and remove gas comparison. 2022-01-26 15:58:12 +01:00
Kamil Śliwak
cdaa6dd591 Adjust workflow with solc-js checkout now that it's on TypeScrpt 2022-01-25 16:42:37 +01:00
Kamil Śliwak
2e1383eae1 Change the way we run solcjs now that it has been renamed in solc-js 2022-01-25 13:32:02 +01:00
Kamil Śliwak
cf024d9fa3 External test for ElementFi 2022-01-24 11:53:00 +01:00
Kamil Śliwak
36efd084df External test for PRBMath 2022-01-21 23:48:46 +01:00
Kamil Śliwak
aeb9637377 External test for Uniswap V3 2022-01-21 16:10:24 +01:00
Kamil Śliwak
d3cce85a8d externalTests: Make force_hardhat_unlimited_contract_size work with Typescript < 4.0
- The `??=` operator was added in Typescript 4. `??` Was already available on 3.7 so we can use it instead to get projects like Uniswap work.
2022-01-21 16:10:24 +01:00
Daniel Kirchner
de28f31716 Improved stack shuffling in corner cases. 2022-01-21 15:41:30 +01:00
Kamil Śliwak
a7cbb41bf9 externalTests: Add name_hardhat_default_export 2022-01-21 15:18:26 +01:00
Daniel Kirchner
76540b338e
Merge pull request #12561 from ethereum/perpetual-pools-ext-test
External test for Tracer Perpetual Pools
2022-01-21 11:42:26 +01:00
Marenz
a550048cf0 Fix too strict assert for calldata string -> bytes conversions 2022-01-20 15:11:26 +01:00
Daniel Kirchner
0b9ab33fce
Merge pull request #12557 from nishant-sachdeva/adding_stack_height_checker_to_address_provider_in_case_type_function
Adding Stack Height Checker and modifying the number of POP instructions
2022-01-19 21:18:15 +01:00
nishant-sachdeva
27d0480e96 Adding Stack Height Checker and modifying the number of POP instructions to appropriately provide the pointer address 2022-01-20 01:15:08 +05:30
Kamil Śliwak
7b4522f507 External test for Tracer Perpetual Pools 2022-01-19 20:24:25 +01:00
Kamil Śliwak
8f804333fe force_hardhat_unlimited_contract_size: Initialize 'hardhat' network if is not explicitly configured 2022-01-19 20:23:41 +01:00
Kamil Śliwak
93f7d5f8f0 External tests for Pool Together v4 2022-01-19 17:21:03 +01:00
Daniel Kirchner
c3c5937bd7
Merge pull request #12552 from ethereum/missing-bracket
Add missing bracket in test
2022-01-19 16:07:41 +01:00
Marenz
be7c7dd4a9 Make formatting more consistent in natspec tests 2022-01-19 15:35:27 +01:00
Marenz
6d05912d70 Require strict parsing for natspec JSON tests 2022-01-19 15:35:27 +01:00
Daniel Kirchner
92c262d116
Merge pull request #12553 from ethereum/ir-ice-12546
Fix .push() not considering external functions
2022-01-19 13:41:20 +01:00
nishant-sachdeva
a0d6c11860 Equality operator allowed for external function types 2022-01-19 15:20:31 +05:30
Marenz
89d6bff72a Fix .push() not considering external functions 2022-01-18 16:30:31 +01:00
Marenz
7fbf134ce3 Add test for fixed natspec ICE 2022-01-18 13:36:54 +01:00
Daniel Kirchner
cf8a7c3bea
Merge pull request #12544 from ethereum/natspec-ice-12528
Natspec: Fix ICE when overriding a struct getter with a Natspec-documented return value and the name in the struct is different.
2022-01-18 12:48:26 +01:00
Daniel Kirchner
79e9d619a3
Merge pull request #12545 from ethereum/yulGrammarFluke
Allow builtins in yul identifier paths in antlr grammar.
2022-01-17 20:42:14 +01:00
Daniel Kirchner
c91f995ec9
Update test/libsolidity/syntaxTests/inlineAssembly/assignment_to_function_pointer.sol
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-01-17 20:12:11 +01:00
Daniel Kirchner
2d0f6278bb Allow builtins as yul identifier paths in antlr grammar. 2022-01-17 18:42:54 +01:00
Marenz
7c0a121e45 Natspec: Fix ICE when overriding a struct getter with a Natspec-documented return value and the name in the struct is different. 2022-01-17 17:10:07 +01:00
Marenz
57d84c8bfb Fix genetic algorithms CI failure 2022-01-17 13:35:07 +01:00
Marenz
0004ad8764 Fix ICE when a constant variable declaration forward references a struct 2022-01-17 13:24:14 +01:00
Kamil Śliwak
1af0ce0f26 External test for Bleeps 2022-01-14 23:57:14 +01:00
Kamil Śliwak
4de1367ba7 External test for Yield Liquidator V2 2022-01-14 22:37:56 +01:00
Kamil Śliwak
054f1cb304 External test for Euler 2022-01-14 02:14:05 +01:00
Kamil Śliwak
f7a075bd48 externalTests: Add force_hardhat_unlimited_contract_size 2022-01-14 01:46:41 +01:00