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
15,774 Commits 348 Branches 121 Tags
3a4cb016ffc34819781d04429d82eb702b668df0
Commit Graph
2511 Commits
Author SHA1 Message Date
Alex Beregszaszi 17f6a5a060 Update test expectations in GasCosts for ABIEncoderV2 2019-11-19 17:09:18 +01:00
Alex Beregszaszi da50285ae3 Update test expectations in GasCostsTests 2019-11-19 17:09:18 +01:00
Alex Beregszaszi cbb08ae3db Add semantic test for SELFBALANCE in inline assembly 2019-11-19 17:09:18 +01:00
Alex Beregszaszi fc2af72a3d Add semantic test for CHAINID in inline assembly 2019-11-19 17:09:18 +01:00
Alex Beregszaszi 840aba8929 Add new gas price for deployed bytecode (EIP2028) 2019-11-19 17:09:18 +01:00
Erik K 94272d44aa Merge pull request #7745 from ethereum/develop 
Merge develop into develop_060
 2019-11-19 15:30:31 +01:00
chriseth 6797879128 Merge pull request #7647 from ethereum/virtual-5424 
Implement virtual keyword
 2019-11-19 13:21:27 +01:00
Erik Kundt 8faa6ffeaf Adjusts syntax and semantic tests to 0.6.0 2019-11-19 12:10:07 +01:00
Leonardo Alt e500a262ea Fix SMTChecker tests for 060 2019-11-19 10:58:59 +01:00
Leonardo Alt d818746e0c [SMTChecker] Fix ICE in abi.decode 2019-11-18 13:15:10 +01:00
Daniel Kirchner a0ae36ba70 Add selector member to public and external library functions. 2019-11-15 16:12:29 +01:00
chriseth 216e1749f4 Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-14 13:42:46 +01:00
chriseth 766309b6e4 Merge pull request #7713 from ethereum/no-lib-instance-7625 
Disallow variables of library types
 2019-11-14 13:39:56 +01:00
Mathias Baumann 0891b9451b Disallow variables of library types 2019-11-14 13:20:31 +01:00
chriseth a667384517 Merge pull request #7712 from ethereum/fixIstanbulAsmParsing 
Fix assembly parsing by passing evm version.
 2019-11-14 13:20:15 +01:00
chriseth b099374d8c Fix assembly parsing by passing evm version. 2019-11-14 13:06:36 +01:00
Mathias Baumann caa127e2a8 Make `abstract` keyword instead of reserved 2019-11-14 11:49:39 +01:00
Mathias Baumann 5b8ff78176 Implement virtual keyword 2019-11-14 11:49:39 +01:00
Leonardo Alt 8efacfb545 [SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion 2019-11-13 22:25:18 +01:00
Leonardo Alt e3652627fd [SMTChecker] Fix ICE in CHC when function used as argument 2019-11-13 15:11:30 +01:00
Mathias Baumann 7d4e4b6088 Parse "virtual" keyword 2019-11-13 13:28:01 +01:00
chriseth c0cf96cbc1 Merge pull request #7699 from ethereum/test-require-str 
Test `require` with string literals
 2019-11-13 12:20:23 +01:00
djudjuu e437443645 Inline assembly to AST json export 2019-11-13 12:13:22 +01:00
Mathias Baumann c74b1daef2 Test require with string literals 
fixes #6651
 2019-11-13 12:01:25 +01:00
Daniel Kirchner ce7268272d Allow obtaining the address of a library by conversion to `address`. 2019-11-12 17:09:13 +01:00
chriseth a7e133b95c Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment 
Add support for external libraries to extracted semantics tests.
 2019-11-12 15:50:36 +01:00
Leonardo 684ccea6f0 Merge pull request #7697 from ethereum/develop 
Merge develop into develop_060
 2019-11-12 15:30:34 +01:00
Daniel Kirchner c7e3318dba Add support for external libraries to extracted semantics tests. 2019-11-12 15:19:04 +01:00
Leonardo Alt dc2dff839c [SMTChecker] Remove flaky tests until we fix the SMTChecker tests 2019-11-12 12:58:42 +01:00
Daniel Kirchner 8148619d5b Merge branch 'develop' into develop_060 2019-11-12 10:32:41 +01:00
Leonardo Alt b323134ef0 [SMTChecker] Update test expectations for z3 4.8.6 2019-11-11 18:43:59 +01:00
chriseth 2e5a42836c Merge pull request #7681 from ethereum/develop 
Merge develop into develop_060
 2019-11-11 16:42:03 +01:00
Leonardo Alt 5dacaf57bc Fix ICE in FixedBytes IndexAccess 2019-11-08 17:29:40 +01:00
chriseth 138ee647f1 Provide different options for reason strings. 2019-11-07 14:13:53 +01:00
Daniel Kirchner 108992c335 Merge pull request #7640 from ethereum/smt_fix_060 
[SMTChecker] Fix override tests
 2019-11-07 14:10:10 +01:00
chriseth c0b27d0bc1 Merge pull request #7648 from ethereum/inlineAssemblyShadowing 
Error on shadowing and invalid names in inline assembly
 2019-11-07 13:31:09 +01:00
Daniel Kirchner 0556f64722 Analyze inline assembly variable declarations for invalid or shadowing names. 2019-11-07 13:04:37 +01:00
Leonardo Alt fc945880d1 [SMTChecker] Fix override tests 2019-11-07 11:49:32 +01:00
chriseth 21e65076b3 Merge pull request #7650 from ethereum/develop 
Merge develop into develop_060
 2019-11-06 21:56:55 +01:00
cd10012 a94d22e5fe Add documentation for extractReturnParameterDocs 2019-11-06 21:45:01 +01:00
cd10012 16fe59b7b4 Implement @erak review notes by creating function and adding constructor test 
Update 060 doc with natspec change

Add two more tests with mixed usage

Fix solc-js

fix changelog
 2019-11-06 21:44:59 +01:00
cd10012 f598b1515f Give unamed parameters unique keys and update tests to new spec 
Fix whitespace
 2019-11-06 21:44:34 +01:00
cd10012 18fe693fdd Add unamed return param test and check size in conditional 2019-11-06 21:44:09 +01:00
cd10012 b3ae601e88 Refactor to have multiple return params 2019-11-06 21:44:09 +01:00
Leonardo Alt 10e70b8603 [SMTChecker] Support inheritance and resolve overrides 2019-11-06 11:00:06 +01:00
chriseth 4d99bf68f4 Merge pull request #7638 from ethereum/develop 
Merge develop into develop_060
 2019-11-05 17:33:54 +01:00
chriseth 5388c919f0 Some changes to "abstract". 2019-11-05 13:55:31 +01:00
chriseth cac2e843e6 Merge pull request #7618 from ethereum/addMoreAbstractKeywordsInTests 
Add some more abstract keywords in test to make sure the correct property is tested.
 2019-11-05 13:38:21 +01:00
Leonardo Alt c5e081dc8c [SMTChecker] Refactor CHC loops and add if blocks 2019-11-05 09:28:59 +01:00
chriseth 46ac16d25c Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-04 19:09:11 +01:00