Commit Graph
19089 Commits
Author SHA1 Message Date
Alex Beregszaszi 03e805ab5a Reformat FixedHash.h for readability 2020-12-10 22:49:40 +00:00
Alex Beregszaszi fa37e69c25 Improved error messages when converting to/from builtin functions 2020-12-10 22:38:15 +00:00
Alex Beregszaszi ff7e45f417 Add test cases for assigning builtins/bound functions to function types 2020-12-10 22:18:52 +00:00
Đorđe Mijović 9e4f3bad06 Merge pull request #10569 from ethereum/byteArrayStorageStorage
Fix copying byte arrays from storage to storage.
2020-12-10 22:52:50 +01:00
Alex Beregszaszi 5a541e72be Merge pull request #10537 from ethereum/extra-warnings
Enable more C++ compiler warnings
2020-12-10 21:44:54 +00:00
Bhargava Shastry 9bd4a1095e Ensure empty arrays are not visited and fix formatting issues 2020-12-10 22:43:45 +01:00
Alex Beregszaszi bd641a5206 Enable more C++ compiler warnings 2020-12-10 21:03:58 +00:00
chriseth 7764ee8d86 Fix copying byte arrays from storage to storage. 2020-12-10 21:47:37 +01:00
Alex Beregszaszi 4b410b8731 Merge pull request #10571 from ethereum/smt_fix_breaking
Fix SMT tests on breaking
2020-12-10 20:05:50 +00:00
Daniel Kirchner 90c693be09 Merge pull request #10568 from ethereum/oldClangFixes
Deal with old clang compilers.
2020-12-10 20:03:51 +01:00
Kamil Śliwak 747e1709ff fixup! README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Kamil Śliwak 12418c533b fixup! README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Kamil Śliwak 14ea1bc145 README describing the workflow around external tests and their repositories 2020-12-10 19:53:49 +01:00
Leonardo Alt 64f81fe82b Fix SMT tests 2020-12-10 18:54:52 +01:00
chriseth ef3bcbda97 Merge pull request #9549 from ethereum/yul-reserved
[BREAKING] Disallow using reserved identifiers in Yul
2020-12-10 18:49:44 +01:00
chriseth eb7b191726 Merge pull request #10557 from ethereum/chainid
[BREAKING] Introduce block.chainid
2020-12-10 18:40:15 +01:00
chriseth f7a7e2928b New test. 2020-12-10 18:35:13 +01:00
Alex Beregszaszi 7cd05bf603 Introduce block.chainid 2020-12-10 17:07:54 +00:00
Bhargava Shastry 6ef9ef1e15 Merge pull request #10564 from ethereum/abiv2-isabelle-test-values
Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer
2020-12-10 17:56:43 +01:00
Daniel Kirchner 4cb9a42d9a Verify minimal clang version in cmake. 2020-12-10 17:40:29 +01:00
Daniel Kirchner c400c61fc3 Fix incorrect behaviour on clang 6. 2020-12-10 17:20:30 +01:00
Alex Beregszaszi 7d60ac6dcd Changelog entry 2020-12-10 17:18:15 +01:00
Alex Beregszaszi c032ad3379 Update tests 2020-12-10 17:18:15 +01:00
Alex Beregszaszi 2b09fa14e1 Disallow using reserved identifiers in Yul 2020-12-10 17:10:38 +01:00
Alex Beregszaszi 7df986539f Disallow using reserved identifiers in NameDispenser/VarNameCleaner 2020-12-10 17:10:38 +01:00
Alex Beregszaszi 3a687c34e4 Add reservedIdentifier to dialect 2020-12-10 17:10:38 +01:00
chriseth d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
chriseth d84415cb3b Merge pull request #10483 from ethereum/dlopenZ3
Experimental mechanism for loading Z3 dynamically at runtime.
2020-12-10 17:06:07 +01:00
Daniel Kirchner 7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
Bhargava Shastry dc1c0e9d4e Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer 2020-12-10 16:33:14 +01:00
Bhargava Shastry fe79a27a0a Merge pull request #10561 from ethereum/abiv2-isabelle-values
Abiv2 fuzzer: Make integer value generation consistent with range for…
2020-12-10 14:15:07 +01:00
chriseth db57842653 Merge pull request #10549 from ethereum/someDocs08
Some changes for the 0.8 list of changes.
2020-12-10 14:09:08 +01:00
chriseth e15136c210 Merge pull request #10558 from ethereum/magictype-tests
Adds more tests for state access (block/tx/msg)
2020-12-10 14:05:37 +01:00
Bhargava Shastry 3c8caabf2e Remove unused code 2020-12-10 12:56:04 +01:00
Bhargava Shastry 693548b787 Abiv2 fuzzer: Make integer value generation consistent with range for that integer type 2020-12-10 12:34:14 +01:00
chriseth 4861c9b8d1 Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul
[Sol->Yul] Implementing empty byte array push.
2020-12-10 12:19:07 +01:00
chriseth 482bda6887 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 12:15:52 +01:00
chriseth 66b15f24ad Merge pull request #10518 from ethereum/deduplicate-external-test-job-definitions
[CI] Deduplicate external test job definitions
2020-12-10 11:58:52 +01:00
chriseth 89b7c5f65a Merge pull request #10455 from ethereum/issue-10433
Fix segfault for empty @return tags in modifiers
2020-12-10 11:54:55 +01:00
Mathias Baumann 37cc795034 Fix segfault for empty @return tags in modifiers 2020-12-10 11:54:40 +01:00
Bhargava Shastry c72adbf3ec Merge pull request #10562 from ethereum/eoanCi
Switch CI runs from EOL'ed eoan to focal.
2020-12-10 11:44:41 +01:00
chriseth a105b065e2 Some changes for the 0.8 list of changes. 2020-12-10 11:44:30 +01:00
Daniel Kirchner 2e31a6bdbf Switch CI runs from EOL'ed eoan to focal. 2020-12-10 11:09:55 +01:00
Leonardo 7e930f7bb3 Merge pull request #10543 from ethereum/abiv2-isabelle-encode-test
Isabelle abiv2 fuzzer: Add type string
2020-12-09 23:33:41 +01:00
Alex Beregszaszi f9d6abf69b Add more tests for state access (block, msg, tx, etc.)
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
2020-12-09 20:46:01 +00:00
Leonardo 9e07981920 Merge pull request #10477 from ethereum/smt_isoltest_cex
[SMTChecker] Move CHC counterexamples to primary location
2020-12-09 20:37:24 +01:00
Leonardo Alt 3c142e0e94 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
Djordje Mijovic ab74194ca3 [Sol->Yul] Implementing empty byte array push. 2020-12-09 19:31:35 +01:00
Kamil Śliwak aa3acdd7d6 Merge pull request #10500 from ethereum/restore-original-external-test-branches
Restore original external test branches
2020-12-09 19:26:37 +01:00
Harikrishnan Mulackal cca484eaa5 Merge pull request #10551 from ethereum/restore-original-external-test-branches-on-breaking
[BREAKING] Restore original external test branches on breaking
2020-12-09 18:25:17 +01:00