chriseth
|
d744a8fb48
|
Fail on invalid storage encoding for byte arrays.
|
2020-11-12 11:12:42 +01:00 |
|
chriseth
|
14ed67ac4b
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-11 20:33:40 +01:00 |
|
chriseth
|
44eb63fad0
|
Merge pull request #10263 from ethereum/fixTryCreateYul
Fix Yul codegen for try with create.
|
2020-11-11 20:10:54 +01:00 |
|
chriseth
|
571e1e5269
|
Merge pull request #10266 from ethereum/fixCalldataIndexAccess
Fix calldata index access.
|
2020-11-11 19:03:19 +01:00 |
|
chriseth
|
8f570a3184
|
Fix calldata index access.
|
2020-11-11 18:42:26 +01:00 |
|
chriseth
|
01d7d50750
|
Fix initializing mapping return variables.
|
2020-11-11 18:08:42 +01:00 |
|
chriseth
|
59da25056b
|
Fix Yul codegen for try with create.
|
2020-11-11 17:52:50 +01:00 |
|
Kamil Śliwak
|
ed55d48727
|
cmdlineTests.sh: Fix buggy calculation of the number of input files
|
2020-11-11 13:47:36 +01:00 |
|
chriseth
|
0f6d3bc4ed
|
Merge pull request #10192 from ethereum/refactorMoveTests2
Moving tests to semanticTests part2
|
2020-11-11 13:45:02 +01:00 |
|
chriseth
|
0a31a6bc36
|
Merge pull request #10258 from ethereum/develop
Merge develop into breaking.
|
2020-11-11 13:36:17 +01:00 |
|
Alex Beregszaszi
|
6f6bcdd526
|
[ewasm] Display custom sections as hex string in the text output
|
2020-11-10 23:48:24 +01:00 |
|
Alex Beregszaszi
|
e5396e42c3
|
Add wasm support to libyul/ObjectCompilerTest
|
2020-11-10 23:24:49 +01:00 |
|
chriseth
|
d3a016b597
|
Merge pull request #10251 from ethereum/cmdline-tests-input-sol-by-default
Assume input.sol by default in command-line tests (restores old behavior) (reopened)
|
2020-11-10 17:29:58 +01:00 |
|
chriseth
|
141277dadf
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-10 17:28:36 +01:00 |
|
Kamil Śliwak
|
25badc4095
|
cmdlineTests.sh: When there's no input file assume input.sol instead of reporting an error
|
2020-11-10 16:55:11 +01:00 |
|
Djordje Mijovic
|
6915d9d2a8
|
Moving some struct tests to semanticTests
|
2020-11-10 16:37:29 +01:00 |
|
Djordje Mijovic
|
490064590a
|
Moving more abi decoder tests to semanticTests.
|
2020-11-10 16:37:26 +01:00 |
|
Djordje Mijovic
|
a838adc481
|
Moving some more array tests to semanticTests
|
2020-11-10 16:37:26 +01:00 |
|
Leonardo
|
55ac5de472
|
Merge pull request #10240 from ethereum/immutablesPureValue
Immutables with literal values are pure.
|
2020-11-10 15:23:33 +00:00 |
|
chriseth
|
6cc264ff0a
|
Merge pull request #10221 from ethereum/refactorArrayConversions
[Sol->Yul] Refactor array conversions
|
2020-11-10 16:18:11 +01:00 |
|
hrkrshnn
|
2348b721bb
|
Tests after changing type of super to TypeType
|
2020-11-10 15:38:21 +01:00 |
|
Djordje Mijovic
|
362a36ed59
|
Enabling test for old codegen.
|
2020-11-10 15:13:48 +01:00 |
|
chriseth
|
eaba9a680a
|
Merge pull request #10199 from ethereum/readfile
[CLI] Improve error handling of missing/unwriteable files
|
2020-11-10 13:50:40 +01:00 |
|
chriseth
|
da92fe548e
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-10 13:48:32 +01:00 |
|
chriseth
|
fc50169d00
|
Merge pull request #10233 from ethereum/cmdline-tests-arbitrary-input-extension
Arbitrary input file extensions in command-line tests
|
2020-11-10 13:45:56 +01:00 |
|
chriseth
|
b981a2a74a
|
Merge pull request #10229 from ethereum/linking-in-assembly-mode
Linking in assembly mode
|
2020-11-10 13:21:57 +01:00 |
|
chriseth
|
3db94fbc48
|
Merge pull request #10212 from ethereum/testfileparser
Refactor and simplify TestFileParser
|
2020-11-10 13:15:35 +01:00 |
|
chriseth
|
3c1d990964
|
Merge pull request #10224 from ethereum/strict-literal-to-enum-conversion
[BREAKING] Strict explicit conversion between literals and enums
|
2020-11-10 13:15:12 +01:00 |
|
chriseth
|
74339ac0d7
|
Merge pull request #10227 from ethereum/cmdline-tests-for-linking
Command-line tests for linking
|
2020-11-10 13:12:33 +01:00 |
|
Alex Beregszaszi
|
81c448fb4c
|
Rework TestFileParser
|
2020-11-10 13:09:07 +01:00 |
|
Alex Beregszaszi
|
c002fcc39f
|
Untangle headers and namespaces in TestFileParser
|
2020-11-10 13:09:07 +01:00 |
|
chriseth
|
765ed13814
|
Immutables with literal values are pure.
|
2020-11-10 13:08:42 +01:00 |
|
chriseth
|
9230ddf110
|
Merge pull request #10225 from ethereum/cmdline-tests-bytecode-output-with-linker-references
Strip bytecode from command-line test output but preserve link references
|
2020-11-09 18:14:33 +01:00 |
|
Leonardo
|
25b2a38d8b
|
Merge pull request #10202 from ethereum/smt_fix_modifiers_branches
[SMTChecker] Fix CHC false positives when using branches inside modifiers
|
2020-11-09 16:42:30 +00:00 |
|
Kamil Śliwak
|
df8e182b46
|
Link binaries produced in assembly mode
|
2020-11-09 17:17:43 +01:00 |
|
Kamil Śliwak
|
6ef1e4cfd4
|
Command-line tests for linking in assembly mode
|
2020-11-09 17:17:27 +01:00 |
|
Kamil Śliwak
|
a0d22422b0
|
Command-line tests for linking in Solidity mode
|
2020-11-09 17:17:27 +01:00 |
|
Kamil Śliwak
|
06ea7c66f7
|
Use consistent style for stuff removed from the output of command-line tests
|
2020-11-09 17:17:15 +01:00 |
|
Kamil Śliwak
|
0e4edc8424
|
Strip bytecode from command-line test output but leave linker references intact
|
2020-11-09 17:17:15 +01:00 |
|
Kamil Śliwak
|
a6ef907f55
|
cmdlineTests.sh: Allow arbitrary extensions for input files
|
2020-11-09 17:10:15 +01:00 |
|
Kamil Śliwak
|
dfb5516446
|
cmdlineTests.sh: Remove double slashes from input file paths
- `${tdir}` already ends with a slash so something like `${tdir}/input.json` evaluates to `test_dir//input.json`.
|
2020-11-09 17:07:47 +01:00 |
|
Kamil Śliwak
|
7f1389a6cd
|
cmdlineTests.sh: Print task name before the error about ambiguous input
- Otherwise it looks as if the error applies to a test that actually succeeded.
|
2020-11-09 17:00:30 +01:00 |
|
chriseth
|
04195439b7
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-11-09 14:28:05 +01:00 |
|
hrkrshnn
|
03f58c6b52
|
Strict explicit conversion between literals and enums
Explicit conversions between literals and enums are only allowed if the literal can represent a
value in the enum.
|
2020-11-06 19:15:02 +01:00 |
|
Leonardo Alt
|
00858c0ccf
|
Isoltets SMTChecker option and BMC specific tests
|
2020-11-06 15:03:38 +00:00 |
|
Leonardo Alt
|
1b6abfa37f
|
Make timeout tests harder
|
2020-11-06 13:35:07 +00:00 |
|
Kamil Śliwak
|
3c4273a06c
|
cmdlineTests: Use .yul extension for Yul files
- Currently many files have .sol extension because originally the test script required it but this has changed some time ago.
|
2020-11-05 18:05:23 +01:00 |
|
chriseth
|
8814e32b31
|
Merge pull request #10193 from ethereum/revert-test
Add tests for empty string literals in the ABI and fix TestFileParser
|
2020-11-05 15:31:11 +01:00 |
|
Alex Beregszaszi
|
1536e49b3d
|
Add more syntax tests for uncovered cases
|
2020-11-05 10:30:09 +00:00 |
|
Leonardo Alt
|
1dbd8f8d67
|
Fix CHC false positives when using branches inside modifiers
|
2020-11-04 21:47:07 +00:00 |
|
Alex Beregszaszi
|
f2a51bcf38
|
Fix TestFileParser to support empty strings
Previously empty strings would be replaced with the token name, e.g. "string" in this case.
|
2020-11-04 17:49:23 +00:00 |
|
Alex Beregszaszi
|
39f6286e9f
|
Add tests for ABI coding empty strings and string literals
Include the case of revert("")
|
2020-11-04 17:48:59 +00:00 |
|
Alex Beregszaszi
|
9ebd3da3ff
|
[CLI] Report error on missing file for --standard-json
|
2020-11-04 16:35:19 +00:00 |
|
Alex Beregszaszi
|
3c7f642227
|
Change readFile/readFileAsString to throw FileNotFound exception
|
2020-11-04 16:35:19 +00:00 |
|
Christian Parpart
|
1a9a3b115c
|
Moving the surplus_input inline assembly test to yulSyntaxTests.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
f55844e0f2
|
InlineAssembly: Extracting remaining tests.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
3597c8343d
|
InlineAssembly: Extracting tests for name clashes.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
55f9eab51f
|
InlineAssembly: Extracting tests for function definition and calls.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
f2117b87f7
|
InlineAssembly: Extracting tests for for-statements.
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
671b1c950e
|
InlineAssembly: Extracting function expression tests
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
616f03f577
|
InlineAssembly: Extracting tests for variable declaration
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
cc230ddda3
|
InlineAssembly: Extracting tests for switch statement
|
2020-11-04 12:03:33 +01:00 |
|
Christian Parpart
|
6f872dbebf
|
InlineAssembly: Extracting tests for if statement
|
2020-11-04 12:03:33 +01:00 |
|
Leonardo
|
62535c2fd4
|
Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
|
2020-11-04 10:55:28 +00:00 |
|
Leonardo
|
a8045ba5eb
|
Merge pull request #10177 from ethereum/smt_chc_fix_warnings
[SMTChecker] Report SMTEncoder warnings also via CHC
|
2020-11-03 16:41:16 +00:00 |
|
Harikrishnan Mulackal
|
24cce56215
|
Merge pull request #10189 from ethereum/underscore-tests
Add syntax and semantic tests for underscore
|
2020-11-03 17:06:31 +01:00 |
|
Leonardo Alt
|
daf859c15b
|
[SMTChecker] report SMTEncoder warnings also via CHC
|
2020-11-03 16:06:17 +00:00 |
|
Alex Beregszaszi
|
b0864a4af9
|
Add syntax and semantic tests for underscore
|
2020-11-03 15:22:57 +00:00 |
|
chriseth
|
26cf6f189d
|
Test with storage struct containing external function.
|
2020-11-03 14:34:18 +01:00 |
|
chriseth
|
1f3239d097
|
Simplify split parameter.
|
2020-11-03 14:34:18 +01:00 |
|
hrkrshnn
|
29e23efc93
|
Tests/Docs after "stricter explicit conversion from Literals to Integers"
|
2020-11-03 14:31:44 +01:00 |
|
chriseth
|
06d0459a72
|
Merge pull request #10187 from ethereum/validateExternal
[SolYul] Properly validate external functions from calldata.
|
2020-11-03 14:29:28 +01:00 |
|
chriseth
|
5ffee049fa
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-03 14:05:14 +01:00 |
|
chriseth
|
4e6ae00f89
|
Merge pull request #10096 from ethereum/pragmaabicoder
Introduce abicoder pragma.
|
2020-11-03 13:53:59 +01:00 |
|
chriseth
|
9305ab987e
|
Merge pull request #10185 from ethereum/refatorMoveTests
Move some tests to semanticTests
|
2020-11-03 13:50:30 +01:00 |
|
chriseth
|
e27a1b786b
|
Wording in error messages.
|
2020-11-03 13:31:51 +01:00 |
|
chriseth
|
834da7be90
|
Introduce abicoder pragma.
|
2020-11-03 13:31:50 +01:00 |
|
chriseth
|
c16b535804
|
Validate external functions from calldata.
|
2020-11-03 13:28:08 +01:00 |
|
Djordje Mijovic
|
3f60223c41
|
Moving enum test to semanticTests
|
2020-11-03 13:13:21 +01:00 |
|
Leonardo Alt
|
d03ddeb0fa
|
[SMTChecker] User timeout option
|
2020-11-03 10:46:11 +00:00 |
|
Djordje Mijovic
|
73fcd9b5f0
|
Moving some array tests to semanticTests
|
2020-11-03 11:34:22 +01:00 |
|
Djordje Mijovic
|
18a464f4f4
|
Moving some tests to semantic tests.
|
2020-11-03 11:00:52 +01:00 |
|
chriseth
|
22b31054b6
|
Merge pull request #10174 from ethereum/storeInternalFunctions
Implement internal functions in storage.
|
2020-11-03 09:56:12 +01:00 |
|
Đorđe Mijović
|
e0529989da
|
Merge pull request #10180 from ethereum/convertDuringStoring
[SolYul] Convert properly during storing.
|
2020-11-03 08:42:14 +01:00 |
|
chriseth
|
129b095b09
|
Implement internal functions in storage.
|
2020-11-02 23:10:03 +01:00 |
|
chriseth
|
49bd3f2af4
|
Convert properly during storing.
|
2020-11-02 21:15:34 +01:00 |
|
chriseth
|
b287a6e995
|
Disallow specifying call options multiple times.
|
2020-11-02 20:07:23 +01:00 |
|
Leonardo Alt
|
e38d0db683
|
[SMTChecker] Fix internal error when array.push() is used as LHS of assignment
|
2020-11-02 13:32:53 +00:00 |
|
Leonardo Alt
|
94e2506132
|
Fix inherited state vars for BMC
|
2020-11-02 11:42:39 +00:00 |
|
Martin Blicha
|
c1a57ffbfe
|
[SMTChecker] More precise creation of verification targets.
|
2020-10-30 19:11:28 +01:00 |
|
chriseth
|
ef503f180c
|
New test.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
6ec5612f35
|
Enable more tests.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
1066af3b98
|
Copy byte array to storage.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
b6f7640801
|
Merge pull request #10146 from ethereum/stop-after-parsing-script
Fix test/stopAfterParseTests.sh for macos.
|
2020-10-29 18:15:22 +01:00 |
|
chriseth
|
ace810b078
|
Merge pull request #10137 from ethereum/fixedBytesOps
[Sol->Yul] Bit operations for fixed bytes types.
|
2020-10-29 18:04:07 +01:00 |
|
chriseth
|
ce50f05fc1
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-10-29 16:44:47 +01:00 |
|
Đorđe Mijović
|
3bb35d80ff
|
Merge pull request #10150 from ethereum/isoltestStorageEmpty
Empty storage option for isoltest.
|
2020-10-29 15:02:36 +01:00 |
|
chriseth
|
3b8c038647
|
Empty storage option for isoltest.
|
2020-10-29 13:55:07 +01:00 |
|
Alex Beregszaszi
|
bcd31daf94
|
[ewasm] Terminate on out-of-bounds access in EwasmInterpreter
|
2020-10-29 10:26:41 +00:00 |
|
Alexander Arlt
|
ff7c47a1f3
|
Fix test/stopAfterParseTests.sh for macos.
|
2020-10-28 17:59:56 -05:00 |
|