Commit Graph
18352 Commits
Author SHA1 Message Date
chriseth 9c61060eff ExpressionStatements can only be FunctionCalls. 2020-11-10 12:00:58 +01:00
Alex Beregszaszi 41f5036507 Merge pull request #10219 from ethereum/wasm-objects
[ewasm] Support compiling data subobjects
2020-11-09 21:05:37 +00:00
Leonardo b9d2f9f10f Merge pull request #10241 from ethereum/solc-ewasm-exception
[solc] Handle exceptions in AssemblyStack.translate() gracefully
2020-11-09 19:41:05 +00:00
Alex Beregszaszi 3246d0f9a9 [solc] Handle exceptions in AssemblyStack.translate() gracefully 2020-11-09 18:19:20 +00:00
Alex Beregszaszi 6e11754c8b [ewasm] Support compiling data subobjects 2020-11-09 17:47:12 +00:00
Alex Beregszaszi e41700e5f7 [ewasm] Clarify custom section handling in BinaryTransform 2020-11-09 17:47:01 +00: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
chriseth bf40857018 Merge pull request #10217 from ethereum/ewasm-main
[ewasm] Allow compiling Yul without "main"
2020-11-09 18:12:10 +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
Alex Beregszaszi cd08dab4e6 [ewasm] Allow compiling Yul without "main" 2020-11-09 16:36:29 +00: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
chriseth 32f1d25498 Merge pull request #10237 from ethereum/editorconfig-json-indentation
JSON indentation rules in .editorconfig
2020-11-09 15:39:46 +01:00
Kamil Śliwak df00f4d163 .editorconfig: Define indentation rules for JSON files 2020-11-09 14:53:29 +01:00
Leonardo 8d5b32e5b9 Merge pull request #10232 from ethereum/sol-yul-better-assertion-message-from-yulutilfunctions-conversionfunction
More informative assertion message on invalid conversions YulUtilFunctions::conversionFunction()
2020-11-09 13:19:48 +00:00
Kamil Śliwak c970fb46ce YulUtilFunctions::conversionFunction: Add more info to the assertion that fails on invalid conversion 2020-11-09 13:41:03 +01:00
Leonardo 6fa42b5efd Merge pull request #10206 from ethereum/smt_add_bmc_specific
Isoltest SMTChecker option and BMC specific tests
2020-11-06 17:16:02 +00:00
Leonardo Alt 00858c0ccf Isoltets SMTChecker option and BMC specific tests 2020-11-06 15:03:38 +00:00
Harikrishnan Mulackal 170cfeb1f0 Merge pull request #10205 from ethereum/smt_remove_cli_timeout_tests
Adjust SMTChecker timeout tests
2020-11-06 15:29:57 +01:00
Leonardo Alt 1b6abfa37f Make timeout tests harder 2020-11-06 13:35:07 +00:00
Leonardo 6309d78762 Merge pull request #10222 from ethereum/smt_remove_nondet
[SMTChecker] Decrease nondeterminism
2020-11-06 13:27:29 +00:00
Leonardo Alt 89dce24f24 Force SMT variable creation order 2020-11-06 11:51:01 +00:00
Leonardo Alt 646be53f2f Sort variables and expressions by AST id 2020-11-06 11:50:43 +00:00
chriseth f55f5c2424 Merge pull request #10215 from ethereum/cmdline-tests-yul-extension-for-yul-files
Command-line tests: Rename .sol files with Yul code to .yul
2020-11-05 18:26:16 +01: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 d9f9eb1ec5 Merge pull request #10209 from ethereum/removeUnusedCode
Remove access to functions from inline assembly (unused code).
2020-11-05 16:22:09 +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
chriseth b40fb527de Remove access to functions from inline assembly (unused code). 2020-11-05 14:43:29 +01:00
chriseth 90d1a81929 Merge pull request #10203 from ethereum/more-tests
Add more missing syntax tests
2020-11-05 12:29:18 +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
chriseth 5b4125447b Merge pull request #10169 from ebouchut/patch-1
Fix typo modifier onlyowner using all lowercase instead of mixed case
2020-11-04 18:03:30 +01:00
Eric Bouchut 950245e384 Fix typos: onlyOwner not mixed case
Fix the modifier name `onlyowner` using lowercase where mixedCase is expected.
2020-11-04 18:02:32 +01:00
chriseth d1e1e961f2 Merge pull request #10085 from ethereum/yul-syntax-test-extractions
Extracting inline assembly syntax tests.
2020-11-04 17:06:20 +01:00
Harikrishnan Mulackal be74479517 Merge pull request #10197 from cakesoft-khushi/new_branch
Update yul.rst
2020-11-04 12:37:39 +01:00
Christian Parpart c00a825b10 error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/ 2020-11-04 12:03:33 +01: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
Christian Parpart 8270af8560 editorconfig: force same coding style on all .sol files 2020-11-04 12:03:33 +01:00
DELL 058721a0b7 Typo error 2020-11-04 16:31:12 +05:30
Leonardo 62535c2fd4 Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
2020-11-04 10:55:28 +00:00