cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
19,867 Commits 348 Branches 121 Tags
more-function-params
Commit Graph
5845 Commits
Author SHA1 Message Date
Kamil Śliwak aae640dd3a Fix wrong name used in error message when reporting invalid named argument 2020-09-17 18:59:18 +02:00
Kamil Śliwak 4045f41c8d Make the test for invalid named arguments more robust 
- Add more parameters and use different types.
- Now it's clear that the name used in the error message is wrong.
 2020-09-17 17:29:28 +02:00
Kamil Śliwak dc62d763eb Move syntax tests for named arguments from namedAndTypeResolution/ to functionCalls/ 2020-09-17 17:29:28 +02:00
Kamil Śliwak 1a4cc4e64d Fix type check for nested arrays in abi.encode/decode functions in ABIEncoderV1 
- Without this fix, nested arrays are not detected as unsupported and compiler fails on an UnimplementedError.
- Now it's consistent with how structs are handled in ABIEncoderV1.
 2020-09-17 17:29:16 +02:00
Kamil Śliwak 89e696ca1b Allow using zero in patterns passed to isoltest --test 2020-09-17 17:28:49 +02:00
chriseth 684fff34a9 Replace exp by shl. 2020-09-17 16:06:52 +02:00
chriseth aa7a6922e7 Restrict unary negation to signed integers. 2020-09-17 15:01:53 +02:00
chriseth e4231b879b Merge pull request #9834 from ethereum/develop 
Merge develop into breaking.
 2020-09-17 15:00:41 +02:00
chriseth 6e4205e445 Do not run reasoning test if no SMT Solver is available. 2020-09-17 13:43:35 +02:00
Harikrishnan Mulackal 64ddf2c699 Verify simplification rule exp(2, X) to shl(X, 1) 2020-09-16 17:36:39 +02:00
chriseth 9750286ee4 Merge pull request #9823 from ethereum/develop 
Merge develop into breaking.
 2020-09-16 14:24:58 +02:00
chriseth 5000785ff8 Merge pull request #9822 from ethereum/fix-ice-on-returning-string-literal-in-calldata 
Mark string literals as not implicitly convertible to calldata arrays
 2020-09-16 14:23:47 +02:00
Alex Beregszaszi a187a1c4c4 Merge pull request #9798 from ethereum/smt-log 
[SMTChecker] Support events and low-level logs
 2020-09-16 12:26:27 +01:00
Kamil Śliwak 3ba3bde65e Mark string literals as not implicitly convertible to calldata arrays 2020-09-16 12:44:57 +02:00
Alex Beregszaszi c8c17b693b [SMTChecker] Support events and low-level logs 2020-09-16 11:50:39 +02:00
Kamil Śliwak 2916ae5bda Fix static arrays with dynamic elements not being treated as dynamic in FunctionType::returnParameterTypesWithoutDynamicTypes() 2020-09-16 11:15:52 +02:00
chriseth b08b76ffca Merge pull request #9776 from ethereum/reportUnimplemented 
Sol->Yul: Report source locations related to unimplemented features.
 2020-09-15 18:46:45 +02:00
chriseth 39ecc18d4d Merge pull request #9812 from ethereum/develop 
Merge develop into breaking.
 2020-09-15 15:58:45 +02:00
chriseth 9bcc2f1713 Make ReasoningBasedSimplifier available as step. 2020-09-15 15:57:59 +02:00
chriseth 2d7e28769a Skip smt optimizer tests if smt is disabled. 2020-09-15 15:57:59 +02:00
chriseth f73fb726af Reasoning based optimizer. 2020-09-15 15:57:58 +02:00
chriseth 2f41245e43 Commandline test for unimplemented IR. 2020-09-15 14:42:04 +02:00
chriseth 8c8c83a104 Adjust testing framework. 2020-09-15 14:41:46 +02:00
Alex Beregszaszi 5355e85639 Merge pull request #9782 from ethereum/smt-revert 
[SMTChecker] Support revert()
 2020-09-15 13:26:19 +01:00
chriseth ff93d8ac6c Merge pull request #9804 from ethereum/extractYulSyntaxTests 
Extract (some) yul syntax tests.
 2020-09-15 13:50:45 +02:00
chriseth 9eda69f637 Merge pull request #9793 from ethereum/same-syntax-test 
[Trivial] Use same multi-source-syntax for test files
 2020-09-15 13:49:34 +02:00
chriseth 74efd5ba46 Merge pull request #9703 from a3d4/fix-4558-shadowed-declaration-warning 
Corrected warning for homonymous, but not shadowing declarations
 2020-09-15 13:48:55 +02:00
Alex Beregszaszi 783d66c1a4 [SMTChecker] Support revert() 2020-09-15 11:46:33 +01:00
Alex Beregszaszi 8f36408ef9 Add test case for revert() in SMTChecker 2020-09-15 11:46:16 +01:00
Mathias Baumann a1eb0f7225 Use same multi-source-syntax for test files 2020-09-15 12:44:02 +02:00
chriseth 768e0e96e4 Extract yul syntax tests. 2020-09-15 12:13:30 +02:00
chriseth eac175c08b Merge pull request #9053 from ethereum/generatedSources 
Export generated sources
 2020-09-15 12:08:47 +02:00
chriseth 33cdefc40e New test. 2020-09-15 11:22:43 +02:00
chriseth 7f0a86ce56 Remove version from combined-json. 2020-09-15 11:22:43 +02:00
chriseth 3f9f63b829 Test updates. 2020-09-15 11:22:16 +02:00
Daniel Kirchner e93d74398b Merge pull request #9807 from ethereum/smt_readd_tests 
Readd SMTChecker tests
 2020-09-15 02:57:42 +02:00
a3d4 4ca7655b74 Correct the warning for homonymous, but not shadowing declarations 2020-09-15 02:39:21 +02:00
Leonardo Alt 28c8e01149 Readd SMTChecker tests 2020-09-14 23:44:13 +02:00
Alex Beregszaszi 83934254ea [SMTChecker] Support type(I).interfaceId 2020-09-14 20:34:52 +01:00
chriseth efe829b4b2 Merge pull request #9805 from ethereum/develop 
Merge develop into breaking.
 2020-09-14 20:48:03 +02:00
chriseth 552a5f0913 Merge pull request #9314 from ethereum/inlineStartingFromLeaves 
Handle "leaf functions" first in full inliner.
 2020-09-14 20:22:48 +02:00
chriseth c6281f29d5 Merge pull request #9577 from ethereum/removeflag 
Remove "removesNonConstant" flag.
 2020-09-14 20:20:46 +02:00
chriseth de51531366 Merge pull request #9791 from a3d4/refactor-collision-warnings 
Refactor collision warnings
 2020-09-14 20:19:53 +02:00
Leonardo Alt fd6c665548 Update SMTChecker tests with z3 4.8.9 2020-09-14 19:04:13 +02:00
Harikrishnan Mulackal b7944477a1 Update UnusedFunctionParameterPruner tests to avoid getting inlined 2020-09-14 17:59:50 +02:00
chriseth 8e39110a30 Remove flag. 2020-09-14 17:35:04 +02:00
Kamil Śliwak ea1c249822 [yul-phaser] Chromosome: Use more samples and higher tolerance in tests checking the distribution 
- This makes them run a second longer (which might seem small but it's a 3x increase).
- Hopefully they will break less when the random seed changes.
 2020-09-14 16:17:39 +02:00
Kamil Śliwak 5637bdcaec [yul-phaser] Replace mutation tests with hard-coded expectations with more robust ones that check the statistical distribution 
- The old tests would easily break when adding/removing optimiser steps.
 2020-09-14 16:17:39 +02:00
Kamil Śliwak d75f0ba437 [yul-phaser] Chromosome: Make it possible to use genes that do not correspond to existing optimiser steps 2020-09-14 16:17:39 +02:00
chriseth fb205b719e Merge pull request #9783 from ethereum/yul-phaser-fix-slow-tests-for-classic-algorithm 
[yul-phaser] Fix slow tests for classic genetic algorithm
 2020-09-14 16:16:59 +02:00