Commit Graph
19320 Commits
Author SHA1 Message Date
chriseth e1be9f901f Merge pull request #9929 from ethereum/ewasm-hera-debug-module
[ewasm] Add support for hera debug module
2021-01-19 13:35:40 +01:00
chriseth f5092088b4 Merge pull request #10811 from ethereum/prep-for-fuzzable-opt-steps
Minor refactor yul optimizer test framework to make it easier to fuzz
2021-01-19 13:05:35 +01:00
chriseth 9caf671607 Merge pull request #10808 from ethereum/uninitializedInternal
Update expectations for uninitialized internal function.
2021-01-19 13:02:33 +01:00
chriseth c3d3415207 Update expectations for uninitialized internal function. 2021-01-19 12:37:30 +01:00
Bhargava Shastry 7c24074909 Minor refactor yul optimizer test framework to make it easier to fuzz 2021-01-19 11:45:27 +01:00
Leonardo 9bde92ca20 Merge pull request #10807 from ethereum/fixIRReasonStrings
Properly omit require revert strings in IR code generator if requested.
2021-01-19 10:31:15 +01:00
Alexander Arlt 321e971eb3 [ewasm] Add support for hera debugging module. 2021-01-18 20:06:12 -05:00
Leonardo 957e9995a0 Merge pull request #10801 from blishko/issue-10793
[SMTChecker] Gather local variables also from nested try/catch clauses
2021-01-18 22:37:16 +01:00
chriseth 185e129657 Merge pull request #10776 from ethereum/fixABIEncoderWithSignature
Fix abi encode with signature shortcut.
2021-01-18 19:07:56 +01:00
chriseth a3ee334b42 Omit require revert strings in IR code generator. 2021-01-18 18:47:55 +01:00
Martin Blicha 35d228d9b6 [SMTChecker] Gather local variables also from nested try/catch clauses 2021-01-18 18:30:18 +01:00
chriseth 87a68feea1 Merge pull request #10653 from ethereum/spdx-tests
Add more tests for the SPDX-License-Identifier
2021-01-18 18:05:25 +01:00
Leonardo 51b7dc69b7 Merge pull request #10802 from ethereum/smt_fix_override
[SMTChecker] Fix static virtual resolution
2021-01-18 17:10:31 +01:00
Leonardo Alt c7ca87c012 Fix static virtual resolution 2021-01-18 16:23:38 +01:00
Kamil Śliwak f0cb181545 Even more license tests 2021-01-18 16:17:06 +01:00
Alex Beregszaszi 0a3084abc0 Add metadata tests for SPDX-License-Identifier 2021-01-18 16:17:06 +01:00
Kamil Śliwak baf530c484 Test helper for license metadata tests 2021-01-18 16:17:06 +01:00
Kamil Śliwak 5677211471 SyntaxTest::filterObtainedErrors(): Remove hard-coded preamble to match changes in setupCompiler() 2021-01-18 16:17:06 +01:00
Alex Beregszaszi 6f1f0c5bbc Do not insert SPDX identifier if already present in SyntaxTest 2021-01-18 16:15:17 +01:00
Alex Beregszaszi 5bbb017915 Add more tests for the SPDX-License-Identifier 2021-01-18 16:15:17 +01:00
chriseth 359c70649d Merge pull request #10752 from ethereum/yulopti-option-order
[yulopti] Options ordered by name and in columns rather than rows
2021-01-18 15:59:58 +01:00
chriseth 1ad1591617 Merge pull request #10805 from ethereum/structMappingTestCase
Adding test for conversion of struct from storage to mapping.
2021-01-18 15:48:02 +01:00
chriseth 611d2b4de5 Enable some tests. 2021-01-18 14:30:50 +01:00
chriseth 87d4ae503b Merge pull request #10699 from ethereum/refactor-yul-optimiser-test-framework
Yul optimizer test: Separate test parsing and optimisation
2021-01-18 14:28:15 +01:00
Djordje Mijovic 4c0cb2d76f Adding test for conversion of struct from storage to mapping. 2021-01-18 14:27:36 +01:00
chriseth 4f3839e4ba Fix abi encode with signature shortcut. 2021-01-18 13:44:52 +01:00
chriseth 6ac87a144e Merge pull request #10804 from ethereum/copyingBytesMultiassignSol2Yul
[Sol->Yul] Enabling copying_bytes_multiassign test via ir.
2021-01-18 13:23:47 +01:00
Djordje Mijovic d738a5219c Activating more end to end tests via ir. 2021-01-18 12:52:33 +01:00
Djordje Mijovic a0c80c2bdb [Sol->Yul] Enabling copying_bytes_multiassign test via ir. 2021-01-18 12:40:51 +01:00
Bhargava Shastry 02b28b42e8 Remove fuzzer mode from yul optimizer unit test framework. 2021-01-18 10:27:58 +01:00
Bhargava Shastry 3e7659596e Header cleanup 2021-01-18 10:27:58 +01:00
Bhargava Shastry 42c05df0a9 Yul optimizer test: Separate test parsing and optimisation 2021-01-18 10:27:58 +01:00
Kamil Śliwak 0f75582e12 [yulopti] Rewrite the check against overlapping abbreviations using ranges-v3 2021-01-16 01:10:55 +01:00
Kamil Śliwak 88a7dddfbd [yulopti] Sort options by step name, with special options on top of the list 2021-01-16 01:10:55 +01:00
Kamil Śliwak 18c0e70ccf [yulopti] Print options in column-wise rather than row-wise 2021-01-16 01:10:55 +01:00
Alex Beregszaszi 055c4b4d44 Merge pull request #10795 from ethereum/improve-experimental-pragma-tests
Replace "pragma experimental ABIEncoderV2" in tests where appropriate
2021-01-15 21:48:05 +00:00
Alex Beregszaszi e117c9516e Replace "pragma experimental ABIEncoderV2" in tests where appropriate
And add a few tests for "pragma abicoder".
2021-01-15 19:57:09 +00:00
Alex Beregszaszi d4eb2bd0b4 Merge pull request #10794 from ethereum/pragma-tests
Move all experimental pragma tests to syntaxTests/pragma
2021-01-15 19:13:16 +00:00
Alex Beregszaszi 2c92f7641b Move all experimental pragma tests to syntaxTests/pragma 2021-01-15 19:12:32 +00:00
Daniel Kirchner 9bf88d5459 Merge pull request #10791 from ethereum/committer-date-in-prerelease-txt-on-windows
Use committer date in CI build version strings on Windows
2021-01-15 20:12:04 +01:00
Kamil Śliwak 68e416e905 build_win.ps1: Use committer date rather than author date in prerelease.txt
- That's what the Linux/macOS scripts do.
2021-01-15 19:09:49 +01:00
Leonardo 726c5ff68c Merge pull request #10777 from blishko/smt-fix-checked
[SMTChecker] Fix BMC crash related to `unchecked` blocks
2021-01-15 16:46:32 +01:00
Alex Beregszaszi 3e678acd7d Merge pull request #10781 from ethereum/new-ir-tests
Enable some semantic tests for the IR
2021-01-15 14:48:22 +00:00
Martin Blicha 18214d1ccc [SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC 2021-01-15 15:36:26 +01:00
Leonardo 93b25dc783 Merge pull request #10741 from ethereum/smt_cex_external_calls
[SMTChecker] Synthesize untrusted functions called externally
2021-01-15 15:31:56 +01:00
Alex Beregszaszi 293bb01c56 Enable some semantic tests for the IR 2021-01-15 14:10:54 +00:00
Leonardo Alt 007d39871b [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
Alex Beregszaszi eaf7d7daa7 Merge pull request #10546 from ethereum/isoltestHardError
[isoltest] Error out in case of different result when enforcing via yul.
2021-01-14 22:53:36 +00:00
Djordje MijovicandAlex Beregszaszi b92d024898 [isoltest] Error out in case of different result when enforcing via yul.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2021-01-14 22:37:12 +00:00
chriseth ece2fdd8c6 Merge pull request #10774 from ethereum/roundUpAllocations
Round up allocations to multiples of 32.
2021-01-14 23:16:41 +01:00