Commit Graph
4352 Commits
Author SHA1 Message Date
chriseth 6e4e54cbc6 Merge pull request #7309 from ethereum/yulproto-refactor
Yul proto fuzzer: Do not shadow variables
2019-09-03 12:29:13 +02:00
chriseth 029941a168 Merge pull request #7251 from ethereum/sideEffectsForUserDefinedFunctions
Side effects for user defined functions
2019-09-03 12:10:56 +02:00
Bhargava Shastry 6427ec661a Yul interpreter: Out of bounds mloads return zero 2019-09-03 09:51:15 +02:00
Leonardo Alt a774b2d905 [SMTChecker] Zero-initialize arrays 2019-09-02 22:37:30 +02:00
chriseth 55024d40fe Test updates. 2019-09-02 17:41:51 +02:00
chriseth 127bcfc69d Take user function side-effects into account for unused pruner. 2019-09-02 17:41:51 +02:00
chriseth 1c5845e3f2 Side-effects of user-defined functions. 2019-09-02 17:41:51 +02:00
chriseth c499758cd8 Merge pull request #7326 from ethereum/develop
Merge develop into 0.6.0 branch.
2019-09-02 16:11:20 +02:00
Bhargava Shastry bcf0c1810c Yul proto fuzzer: Do not reuse variable names 2019-09-02 15:23:10 +02:00
chriseth 9a6357ab09 Merge pull request #7188 from ethereum/abiv2-use-bytes-string-longer-than-32-bytes
Abiv2 use bytes string longer than 32 bytes
2019-09-02 15:05:43 +02:00
chriseth bdf29277a2 Change interpreter memory to be non-contiguous. 2019-09-02 13:51:47 +02:00
Bhargava Shastry 46a133e848 Generate bytes and string literals that are longer than 32 bytes 2019-09-02 12:43:47 +02:00
Daniel Kirchner 467d420f7e ABI and AST tests. 2019-09-02 12:23:21 +02:00
chriseth a988b64597 Merge pull request #7312 from ethereum/fixInterpreterScopes
Fix handling of scopes in Yul Interpreter.
2019-09-02 12:05:33 +02:00
Daniel Kirchner 2b938d703c Allow global enum definitions. 2019-09-02 11:52:51 +02:00
Bhargava Shastry 3963d0ca02 Create bytes/string values of shorter than 32 bytes and adjust invalid encoding length accordingly 2019-09-02 11:30:38 +02:00
Daniel Kirchner fae0e10d26 Import tests. 2019-09-02 11:17:57 +02:00
Daniel Kirchner 872d21f527 Allow global struct definitions. 2019-09-02 11:17:42 +02:00
chriseth 01e0a12c3b Fix handling of scopes in Yul Interpreter. 2019-09-02 10:41:26 +02:00
chriseth e86b5cf14e Replace byte(A, X) by zero if A >= 32 2019-08-29 15:35:34 +02:00
Leonardo Alt 214e5c6369 [SMTChecker] Fix index access type type error 2019-08-27 16:39:19 +02:00
Mathias Baumann 24716404f8 Parse override keyword 2019-08-26 17:34:21 +02:00
Alex Beregszaszi 5749a5d7c9 Introduce istanbul and berlin versions 2019-08-26 13:15:01 +01:00
Bhargava Shastry 922790730c Do not create duplicate case statements 2019-08-26 12:44:06 +02:00
Bhargava Shastry 86c981d9fa proto fuzzer: Use a yul optimizer dictionary 2019-08-26 12:44:06 +02:00
Erik K d47863ef35 Merge pull request #7300 from ethereum/fix-docCheck
Fix deprecated option style for docCheck
2019-08-26 12:23:03 +02:00
Mathias L. Baumann e1bb4b9f81 Merge pull request #7280 from ethereum/isoltest-empty-revert
[isoltest] Support empty revert message
2019-08-26 11:45:36 +02:00
Mathias Baumann 7f6bb543a9 Fix deprecated option style for docCheck
solhint was updated and now warns about deprecated option values
2019-08-26 11:23:29 +02:00
Erik Kundt 755dae5d66 [isoltest] Supports empty revert message. 2019-08-26 11:06:30 +02:00
Mathias L. Baumann 502bf01be2 Merge pull request #7278 from ethereum/develop
Merge develop into develop_060
2019-08-26 10:26:48 +02:00
Leonardo Alt c27235b2f5 [SMTChecker] Adapt division test for Z3 only 2019-08-23 17:33:29 +02:00
Mathias Baumann 0e3ff25b4e Make sure json output array order is consistent
The source of the "contractDependencies" value was an std::map, thus
order was more or less random.
2019-08-19 17:42:03 +02:00
Daniel Kirchner 4354ef2ef4 Add update suggestion. 2019-08-19 14:58:05 +02:00
Daniel Kirchner 20b23e124b Add test case. 2019-08-19 14:56:04 +02:00
Daniel Kirchner 9f6fff2120 Replace casting of external functions to address by a member named "address". 2019-08-19 14:56:04 +02:00
Daniel Kirchner aa2167b208 Extract some import tests. 2019-08-19 14:45:26 +02:00
Daniel Kirchner 6ed219ebe8 Support multiple sources for syntax tests. 2019-08-19 14:45:26 +02:00
Daniel Kirchner 4a65c5ebaa Compile succeeding syntax tests. 2019-08-16 17:14:49 +02:00
chriseth 3c4f558242 Tests 2019-08-15 16:30:05 +02:00
Leonardo Alt 1a70a46f9b [CHC] Add function blocks and check asserts 2019-08-15 12:25:15 +02:00
chriseth 2508cbc1eb Merge pull request #7095 from ethereum/isoltest-failure-reason
[isoltest] Support FAILURE with reason
2019-08-15 11:37:56 +02:00
Erik Kundt 6c73bc5bac [isoltest] Refactors parameter formatting. 2019-08-14 21:28:43 +02:00
Erik Kundt 18157f5a49 [isoltest] Splits smoke test into separate files. 2019-08-14 21:28:43 +02:00
Erik Kundt 30483acc42 [isoltest] Support FAILURE with reason. 2019-08-14 21:28:43 +02:00
Daniel Kirchner b0a5666b43 Better error messages when writing to expressions that cannot be written to. 2019-08-14 17:59:48 +02:00
chriseth 7d30fbdef0 Extract side effects into their own struct. 2019-08-14 15:06:10 +02:00
chriseth e396dc7246 Properly set storage and memory after erasing potentially destroyed keys 2019-08-13 18:43:15 +02:00
Mathias Baumann 30373d5719 Test scripts: Make build dir a variable 2019-08-13 12:44:29 +02:00
chriseth c82e46842a Merge pull request #7226 from ethereum/release
Merge release back into develop.
2019-08-13 10:50:59 +02:00
chriseth 4596a761c4 Remove version in errors for release build. 2019-08-12 17:23:56 +02:00