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
18,823 Commits 348 Branches 121 Tags
develop_7
Commit Graph
3491 Commits
Author SHA1 Message Date
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
Leonardo 1eac3d1d83 Merge pull request #7582 from ethereum/smt_multid_array_assignment 
[SMTChecker] Support assignments to m-d arrays and mappings
 2019-11-04 17:37:33 +01:00
chriseth 7c258873bd Add some more abstract keywords in test to make sure the correct property is tested. 2019-11-04 17:26:38 +01:00
Daniel Kirchner 3321fc56ea Split fallback function and introduce "fallback()" and "receive()" syntax. 2019-11-04 17:17:58 +01:00
chriseth 5392532d70 Fix override error message. 2019-11-04 13:37:23 +01:00
Alexander Arlt c908c16acd Remove InternalCompilerError on abstract contract instantiation. 2019-11-01 14:54:47 -05:00
Alexander Arlt cd3ad73b5a Update tests. 2019-11-01 14:54:47 -05:00
Alexander Arlt e87924a96e Update soltest related tests. 2019-11-01 14:54:47 -05:00
Alexander Arlt 54c5e604e5 Add new tests. 2019-11-01 14:54:47 -05:00
Mathias Baumann 6c6a9054b2 Implement override checking 2019-10-30 17:31:33 +01:00
Mathias Baumann 20e227afb5 Ensure list of overrides consists of contracts 2019-10-30 17:31:33 +01:00
Mathias Baumann b76106fc4a Parse override keyword for modifier definitions 2019-10-30 17:31:33 +01:00
chriseth 499fe57d33 Tests 2019-10-29 14:32:16 +01:00
Leonardo Alt 8a42e3f87a [SMTChecker] Support assignments to m-d arrays and mappings 2019-10-28 17:27:39 +01:00
chriseth edf1e83fda Merge remote-tracking branch 'origin/develop' into develop_060 2019-10-28 15:21:49 +01:00
chriseth 607bf24afe Merge pull request #7386 from ethereum/060-strict-inline-assembly 
Defaulting to strict inline assembly (instead of loose)
 2019-10-28 12:48:58 +01:00
chriseth 9719f099aa Merge pull request #7551 from ethereum/060-cxx17-std-optional 
Use `std::optional<>` rather than `boost::optional<>`
 2019-10-28 12:17:31 +01:00
chriseth 07c67b98f6 Merge remote-tracking branch 'origin/develop' into HEAD 2019-10-28 12:12:52 +01:00
Christian Parpart df729b3084 Make use of C++17 std::optional<> instead of boost::optional<>. 2019-10-28 11:39:30 +01:00
Christian Parpart 30a99e0df4 test: Adapts InlineAssembly test case for jump instruction (which doesn't "exist" in strict assembly). 2019-10-28 10:03:16 +01:00
Henry Lee 24cbb4dd17 Treat magic variables as unknown identifiers in inline assembly 
This fixes #4575. For keywords such as 'super' and 'this', will be
treated as unknown identifiers.
 2019-10-28 14:59:50 +11:00