Commit Graph

21320 Commits

Author SHA1 Message Date
Kamil Śliwak
c76a8a738d CI: Tweak some job names to better reflect what they run 2021-11-03 12:54:56 +01:00
Kamil Śliwak
9c96234724 CI: Define a base_ dict for every image and set default values for some env variables there 2021-11-03 12:54:56 +01:00
Kamil Śliwak
9aafbf1092 CI: Replace test_ dicts with base_ ones and make their steps explicit 2021-11-03 12:54:56 +01:00
Kamil Śliwak
e9708105a4 CI: Remove superfluous/unused test_ dicts 2021-11-03 12:54:56 +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
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
a7b137829f
Merge pull request #12091 from ethereum/applyControlFlowSideEffectsUserDefined
Use side effects of user-defined functions in other optimizer steps.
2021-11-02 15:50:37 +01:00
chriseth
be6fb5f3d6 Changelog entry. 2021-11-02 11:59:01 +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
d6c461ed61 Use side effects of user-defined functions in other optimizer steps. 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
chriseth
ced7db9501
Merge pull request #12212 from ethereum/fixmodiferparams
Fix assignment of return variables from modifiers.
2021-11-01 14:56:30 +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
chriseth
408bd5fa62
Merge pull request #12213 from ethereum/fix-typos
Fix two typos and a misnamed test
2021-10-29 13:51:47 +02:00
Kamil Śliwak
fd66f13dc0 soltest.sh: Fix typo in a comment 2021-10-29 00:19:43 +02:00
Kamil Śliwak
60ba3b307f isolate_tests: Fix typo in script description 2021-10-29 00:19:43 +02: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
chriseth
cede36930d
Merge pull request #12207 from ethereum/fix-isoltest-enforce-gas-default
Fix defaults for `--enforce-gas-cost` in isoltest
2021-10-27 23:10:14 +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
chriseth
7ebf71f315
Merge pull request #12203 from ethereum/fixuseafterfreeside
Fix use-after-free bug.
2021-10-27 16:43:44 +02:00
chriseth
e4a94b69be
Merge pull request #12201 from ethereum/docs-path-fix
Fix wrong path to isoltest in docs
2021-10-27 16:13:13 +02:00
chriseth
9be882c90d
Merge pull request #12186 from ethereum/fix-userdefined-ice
Moved storage size assert to TypeChecker from DeclarationTypeChecker
2021-10-27 16:12:16 +02:00
chriseth
dce13fbb6a Fix use-after-free bug. 2021-10-27 15:49:41 +02:00
Marenz
61519da4f0 Fix wrong path to isoltest in docs 2021-10-27 14:16:50 +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
chriseth
453f404f8f
Merge pull request #12194 from ethereum/sort-changelog
[trivial] Sort bugfixes in changelog
2021-10-26 16:05:24 +02:00
Kamil Śliwak
14210825b1 externalTests/README: Recommend using upstream repository directly when possible 2021-10-26 16:04:08 +02:00
Kamil Śliwak
b8aed7ca86 Run external tests on latest upstream code where possible 2021-10-26 16:04:08 +02:00
Marenz
f588dd34a9 Sort bugfixes in changelog 2021-10-26 15:41:42 +02:00
Harikrishnan Mulackal
401dd4337a
Merge pull request #11451 from ethereum/smt_report_invariants
[SMTChecker] Report contract invariants
2021-10-26 12:41:36 +02:00
Leo Alt
902a2e232b Changelog 2021-10-26 11:30:30 +02:00
Leo Alt
d04ad57ee7 Docs 2021-10-26 11:30:30 +02:00
Leo Alt
4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
Leo Alt
38b0cf7f9c SMTChecker tests 2021-10-26 11:30:30 +02:00
Leo Alt
2cbd496576 Adjust ModelCheckerSettings in tools tests 2021-10-26 11:30:30 +02:00
Leo Alt
a104443ac1 Adjust errors script to also look for infos 2021-10-26 11:30:30 +02:00
Leo Alt
37215ffcfd Add SMTCheckerTest isoltest option to ignore invariants 2021-10-26 11:30:30 +02:00
Leo Alt
3118fb3666 Add invariants option to CLI and JSON 2021-10-26 11:30:30 +02:00
Leo Alt
d419c30ca6 Add errorCode list to invariants report 2021-10-26 11:30:30 +02:00