Leonardo
|
3045770a6f
|
Merge pull request #10828 from ethereum/smt_cex_value
[SMTChecker] Add msgvalue to cex if > 0
|
2021-01-21 21:34:38 +01:00 |
|
Leonardo Alt
|
a612daa783
|
Add msgvalue to cex
|
2021-01-21 19:05:44 +01:00 |
|
chriseth
|
5bb29b1f14
|
Merge pull request #10814 from ethereum/autoupdate
Autoupdate for commandline tests.
|
2021-01-21 16:16:29 +01:00 |
|
chriseth
|
a4e228e552
|
Autoupdate for commandline tests.
|
2021-01-21 13:43:20 +01:00 |
|
Harikrishnan Mulackal
|
bad8d23802
|
Merge pull request #10830 from az1az1/develop
Update value-types.rst
|
2021-01-21 12:41:46 +01:00 |
|
az1az1
|
91b1ada8f5
|
Update value-types.rst
|
2021-01-20 17:19:38 -05:00 |
|
Leonardo
|
a75b87c80e
|
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 18:37:08 +01:00 |
|
chriseth
|
2cc1e3393f
|
Merge pull request #10603 from ethereum/yul-optimiser-step-fuzzing
Fuzzer: Enable fine-grained yul optimizer fuzzing
|
2021-01-20 17:43:03 +01:00 |
|
Leonardo Alt
|
3b23cadbdc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
chriseth
|
8d84f587db
|
Merge pull request #10824 from ethereum/fixPayableExample
Fix payable example.
|
2021-01-20 15:09:47 +01:00 |
|
chriseth
|
ceecfcb8a3
|
Fix payable example.
|
2021-01-20 15:09:26 +01:00 |
|
chriseth
|
085b5c423d
|
Merge pull request #10815 from ethereum/enableCall
Enable test.
|
2021-01-20 15:04:58 +01:00 |
|
chriseth
|
60cb8726f1
|
Enable test.
|
2021-01-20 14:02:35 +01:00 |
|
chriseth
|
aad7297b58
|
Merge pull request #10818 from ethereum/explainDisabled
Enable via yul or explain why disabled.
|
2021-01-20 14:01:09 +01:00 |
|
chriseth
|
1df284733e
|
Merge pull request #10823 from DmytroShalaiev/DmytroShalaiev-events-doc-fix
Update events doc
|
2021-01-19 23:37:43 +01:00 |
|
Bhargava Shastry
|
b3dd83a20b
|
Enable fine grained yul optimizer fuzzing
|
2021-01-19 18:22:59 +01:00 |
|
Leonardo
|
0b023b893e
|
Merge pull request #10817 from ethereum/splitShiftBytesTest
Split shift bytes test.
|
2021-01-19 16:16:45 +01:00 |
|
chriseth
|
06d19a9203
|
Enable via yul or explain why disabled.
|
2021-01-19 16:12:53 +01:00 |
|
chriseth
|
66dac95b88
|
Merge pull request #10816 from ethereum/fixEmptyPacked
Fix empty packed encoder.
|
2021-01-19 16:01:12 +01:00 |
|
chriseth
|
1fcc76a562
|
Fix empty packed encoder.
|
2021-01-19 15:50:04 +01:00 |
|
chriseth
|
52511a2163
|
Split shift bytes test.
|
2021-01-19 14:55:18 +01:00 |
|
chriseth
|
86051dc099
|
Merge pull request #10792 from ethereum/fix-github-api-errors-from-check-style
Fix github API errors in check_style CI jobs
|
2021-01-19 13:46:15 +01:00 |
|
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 |
|
Kamil Śliwak
|
433c261a2f
|
report_errors.sh: Don't try to communicate with github if path or line is not known
|
2021-01-18 15:27:00 +01:00 |
|
Kamil Śliwak
|
ca7327ec3f
|
Replace the weird magic trap-waterfall-style flow in report_errors.sh with normal calls
|
2021-01-18 15:27:00 +01:00 |
|
Kamil Śliwak
|
5958e8d9ea
|
check_style: Always use a newly created temporary file to store logs
|
2021-01-18 15:27:00 +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 |
|