Commit Graph
6482 Commits
Author SHA1 Message Date
chriseth f42e3c0bae Merge pull request #12262 from ethereum/functionGrouper
Keep canonical form of Yul during optimization.
2021-11-10 11:09:15 +01:00
Kamil Śliwak 79af83eae3 Merge pull request #12191 from ethereum/more-flexible-external-test-scripts
Make external test scripts more flexible
2021-11-09 16:31:21 +01:00
Daniel Kirchner 10618188dd Update tests. 2021-11-09 14:34:05 +01:00
chriseth fe6e58b0e4 Merge pull request #12259 from ethereum/external-tests-and-scripts-minor-reactors
Tiny refactors in external tests and scripts
2021-11-08 17:21:23 +01:00
chriseth 1633e367c9 Merge pull request #12199 from ethereum/expose-parsingAndImporting
Expose "parsingAndImporting" setting to user
2021-11-08 17:06:20 +01:00
Kamil Śliwak 44f7065fc9 Merge pull request #12074 from ethereum/output-selection-in-assembler-mode
CLI output selection in assembler mode
2021-11-08 16:59:57 +01:00
Kamil Śliwak 0745279f15 externalTests: Generalize force_truffle_solc_modules and make it use symlinks instead of redownloading solc-js 2021-11-08 16:37:23 +01:00
Kamil Śliwak c090ff9d83 externalTests: Neutralize npm hooks instead of replacing pragmas twice
- This also has the nice effect of stopping projects from trying to compile contracts during installation
2021-11-08 16:37:23 +01:00
Kamil Śliwak 7b7cc081db externalTests: Helper for neutralizing package locks 2021-11-08 16:37:23 +01:00
Kamil Śliwak b57c0a0b81 externalTests: Refactor to be more explicit and easier to adjust for special cases 2021-11-08 16:37:23 +01:00
Kamil Śliwak 7ccdbd5b08 Use consistent syntax for Bash function declarations 2021-11-08 16:34:07 +01:00
Marenz fc224f74c7 Evaluate absolute paths for imports in 'parsing' stage 2021-11-08 16:34:02 +01:00
Kamil Śliwak bc2402e76f externalTests: Use named tmp dirs 2021-11-08 16:29:59 +01:00
Kamil Śliwak ed907561eb externalTests: Enable set -e in external tests 2021-11-08 16:29:52 +01:00
chriseth 080c7245ae Update tests. 2021-11-08 14:59:00 +01:00
chriseth 31c504c5ba Add test for extcodesize check. 2021-11-08 14:58:09 +01:00
chriseth a1aa9d2d90 Skip extcodesize check if return data is expected. 2021-11-08 14:58:09 +01:00
chriseth f9ba1bf3c8 Merge pull request #12227 from ethereum/smt_fix_gas
Fix ICE in CHC when using gas in the function options
2021-11-08 11:54:20 +01:00
Kamil Śliwak 1a19d9a5cf New CLI output in assembly mode: --ewasm-ir 2021-11-04 18:23:11 +01:00
Kamil Śliwak affeff18f5 Don't ignore output selection in assembly mode 2021-11-04 18:23:11 +01:00
chriseth 766d10b848 Tests. 2021-11-04 16:38:07 +01:00
chriseth 776ae466bc Control flow side effects on non-disambiguated source. 2021-11-04 16:32:11 +01:00
Daniel Kirchner 95c973d6c2 Refactoring of optimiser suite and yulopti. 2021-11-03 19:33:01 +01:00
Daniel Kirchner 0cbb297c7b Non-interactive mode for yulopti. 2021-11-03 19:33:01 +01:00
Leo 58688bd9c1 Merge pull request #12167 from ethereum/smt_merge_query_entry_points
[SMTChecker] Merge all entry points for a target
2021-11-03 16:43:16 +01:00
Leo Alt dff280cadc Fix ICE in CHC when using gas in the function options 2021-11-03 15:40:54 +01:00
chriseth 6b029c3349 Merge pull request #11974 from ethereum/newCodeTransformIROnly
New code transform (IR codegen only).
2021-11-03 14:52:28 +01:00
Kamil Śliwak 2d45099a87 Merge pull request #12118 from ethereum/separate-input-modes-for-help-license-version
Separate input modes for `--help`,  `--license` and `--version`
2021-11-03 12:52:47 +01:00
Kamil Śliwak 5ce85d7a90 Merge pull request #12187 from ethereum/external-tests-directly-on-upstream
Run external tests directly on upstream repo where possible
2021-11-03 12:51:46 +01:00
Daniel Kirchner 28ae316556 Named function labels. 2021-11-03 12:42:07 +01:00
Daniel Kirchner 1a0605c594 Update tests. 2021-11-03 12:39:55 +01:00
Leo Alt e40cf92b1d [SMTChecker] Merge all entry points for a target 2021-11-03 11:12:58 +01:00
Kamil Śliwak 0417db0f6a Don't return an error from --help 2021-11-02 16:31:45 +01:00
Kamil Śliwak a1c9c1e2b5 CommandLineInterface: Merge processInput() and actOnInput()
- The distinction between them is not as clear-cut as it should be. For example processInput() prints output in assembly mode.
2021-11-02 16:31:45 +01:00
Kamil Śliwak 93c1fe6878 Treat --help, --license and --version as separate input modes 2021-11-02 16:31:43 +01:00
chriseth 7f7c5ca171 New tests. 2021-11-02 11:59:01 +01:00
chriseth 3996d0a343 Update tests. 2021-11-02 11:59:01 +01:00
chriseth 5eb97fa6ee Merge pull request #12219 from ethereum/precompile-extcodesize-check-test
Semantic test for high level call to precompiles.
2021-11-01 15:08:52 +01:00
hrkrshnn 7683442ce2 Semantic test for high level call to precompiles.
Because of the extcodesize check, the high level call will fail. Even though the low level call can
succeed and return data.
2021-11-01 14:22:48 +01:00
chriseth 8e208f23cb Fix assignment of return variables from modifiers. 2021-11-01 14:14:50 +01:00
Kamil Śliwak 464ac18a1f Rename negation_bug.yul to negation_bug.sol 2021-10-29 00:19:43 +02:00
Kamil Śliwak 558d9d4556 Merge pull request #12177 from DavidRomanovizc/patch-4
Include actual contract size in the code size warning
2021-10-29 00:18:07 +02:00
David Dzhalaev 79ffa16a61 Improve error message for contract size limit error 2021-10-27 20:06:53 +02:00
Kamil Śliwak f4421f1b69 Disable metadata in syntax tests 2021-10-27 20:06:53 +02:00
Kamil Śliwak a039431627 isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used 2021-10-27 18:56:45 +02:00
Kamil Śliwak eb2425bd7c isoltest: Fix gas tests always being enforced regardless of evm version 2021-10-27 18:56:45 +02:00
hrkrshnn 8815d6f5f0 Moved a check related to constants to TypeChecker
And added a proper error message when constant types containing (nested) mapping types are used.
2021-10-26 18:43:04 +02:00
hrkrshnn 51009c005d Moved a canBeStored assert for struct members to TypeChecker
This is to avoid a assert from failing for forward declared user defined value types.
2021-10-26 18:43:04 +02:00
hrkrshnn 9428dbc94f Moved storage size assert to TypeChecker from DeclarationTypeChecker 2021-10-26 18:43:04 +02:00
Kamil Śliwak 14210825b1 externalTests/README: Recommend using upstream repository directly when possible 2021-10-26 16:04:08 +02:00