cerc-io/solidity
16
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
17,732 Commits 348 Branches 121 Tags 100 MiB
df8bbeeb22
Commit Graph

17732 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Arlt
df8bbeeb22 ViewPureChecker::reportMutability: don't check visibility on constructors. 2020-09-07 11:35:33 -05:00
chriseth
2b29f4e56d
Merge pull request #9750 from ethereum/virtual-library-modifier 
Type Checker: Disallow ``virtual`` for modifiers in libraries.
 2020-09-07 14:05:10 +02:00
Harikrishnan Mulackal
acec8f271d Type Checker: Disallow `virtual` for modifiers in libraries. 2020-09-07 11:17:38 +02:00
Leonardo
90d356b3a8
Merge pull request #9749 from nikeshnazareth/fix-documentation-typo 
Fix typo: "fallback" should be "receive"
 2020-09-07 10:07:43 +02:00
Nikesh Nazareth
b94b927a91 Fix typo: "fallback" should be "receive" 2020-09-07 15:59:56 +10:00
Leonardo
f964966090
Merge pull request #9670 from ethereum/smt_struct 
[SMTChecker] Support structs
 2020-09-03 17:50:56 +02:00
Leonardo Alt
69a7808838 Add new tests 2020-09-03 15:19:33 +02:00
Leonardo Alt
7b3cd019d4 Make recursive structs unsupported 2020-09-03 15:19:33 +02:00
Leonardo Alt
3093648c05 Changelog 2020-09-03 15:19:32 +02:00
Leonardo Alt
bd0c46abf5 Remove unreachable/redundant error messages 2020-09-03 15:19:03 +02:00
Leonardo Alt
afcd44e77c Update current tests 2020-09-03 15:19:03 +02:00
Leonardo Alt
e61b731647 [SMTChecker] Support structs 2020-09-03 15:19:03 +02:00
chriseth
ff6415aa9e
Merge pull request #9397 from ethereum/function-unused-parameter 
[YUL] Remove unused function parameters
 2020-09-03 14:03:35 +02:00
Harikrishnan Mulackal
974e35d09c Tests and changelog 2020-09-03 13:15:38 +02:00
Harikrishnan Mulackal
e2fd41f097 Implemented UnusedFunctionArgumentPruner 2020-09-03 13:15:38 +02:00
chriseth
cde6522484
Merge pull request #9732 from ethereum/dropI386PPA 
Drop i386 from the PPA release script.
 2020-09-02 18:56:09 +02:00
chriseth
92920c2a0f
Merge pull request #9733 from ethereum/release 
Merge release back into develop.
 2020-09-02 18:55:46 +02:00
Daniel Kirchner
5b64f0b7ed Drop i386 from the PPA release script. 2020-09-02 18:26:05 +02:00
Leonardo
767d06b297
Merge pull request #9730 from ethereum/setversionto072 
Set version to 0.7.2.
 2020-09-02 18:05:56 +02:00
chriseth
d58c5f48e4 Set version to 0.7.2. 2020-09-02 16:21:48 +02:00
chriseth
f4a555bedc
Merge pull request #9729 from ethereum/develop 
Merge develop into release for 0.7.1
 2020-09-02 14:43:57 +02:00
chriseth
3a48be546d
Merge pull request #9602 from ethereum/structMemToStorageSol2Yul 
[Sol->Yul] Implementing various copying of structs
 2020-09-02 13:50:46 +02:00
chriseth
840791a470
Merge pull request #9717 from ethereum/prepare071 
Prepare release of 0.7.1.
 2020-09-02 12:58:13 +02:00
chriseth
23514c1749
Merge pull request #9724 from ethereum/superForYul 
Implement ``super``.
 2020-09-02 12:48:39 +02:00
Djordje Mijovic
a740cb619b Adding tests for copying structs with function pointers between storage and memory 2020-09-02 12:28:53 +02:00
Djordje Mijovic
1fab5b79fb Refactoring signature for updateStorageValueFunction 2020-09-02 12:28:53 +02:00
Djordje Mijovic
15163b2270 Refactoring readFromStorage util frunctions 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2020-09-02 12:28:53 +02:00
Djordje Mijovic
23f6369a46 Implementing struct copying from calldata to storage 2020-09-02 12:28:53 +02:00
Djordje Mijovic
762e3f3cee [Sol->Yul] Implementing struct copying from calldata to storage 2020-09-02 12:28:53 +02:00
Djordje Mijovic
381784dd89 [Sol->Yul] Implementing struct copying from storage to memory 2020-09-02 12:28:53 +02:00
Djordje Mijovic
b89c863e11 [Sol->Yul] Implementing struct copying from memory to storage 2020-09-02 12:28:53 +02:00
chriseth
5e66583b0b
Merge pull request #9726 from ethereum/arrayCopySol2YulTests 
Adding simple array copying tests
 2020-09-02 11:05:01 +02:00
chriseth
8f34ac472f Implement `super`. 2020-09-02 11:00:42 +02:00
Djordje Mijovic
e7a05324af Adding simple array copying tests 2020-09-02 09:39:28 +02:00
Leonardo
0d83977d5a
Merge pull request #9648 from ethereum/smt_refactor_predicates 
[SMTChecker] Refactor CHC predicates
 2020-09-01 20:38:47 +02:00
chriseth
b52f334fff Prepare release of 0.7.1. 2020-09-01 17:47:56 +02:00
chriseth
3599258d86
Merge pull request #9723 from ethereum/smt_fix_rational 
[SMTChecker] Fix rational number short circuit
 2020-09-01 17:34:56 +02:00
Leonardo Alt
49d3804de4 [SMTChecker] Fix rational number short circuit 2020-09-01 17:21:13 +02:00
Leonardo Alt
e23d96464b Adjust test 2020-09-01 16:10:12 +02:00
Leonardo Alt
a3b6019131 Move post input and post output filtering from CHC to Predicate 2020-09-01 16:10:12 +02:00
Leonardo Alt
2e2e96cc93 Move state model filtering from CHC to Predicate 2020-09-01 16:10:12 +02:00
Leonardo Alt
e3a8c94ace Move formatFunctionCallCounterexample from CHC to Predicate 2020-09-01 16:10:11 +02:00
Leonardo Alt
5bbb20d3cb Move stateVariablesIncludingInheritedAndPrivate from CHC to SMTEncoder 2020-09-01 16:09:57 +02:00
Leonardo Alt
016b9b83a8 Refactor predicates 2020-09-01 16:09:56 +02:00
chriseth
e582731aab
Merge pull request #9721 from ethereum/allowCxxStandardOverride 
Do not generally override CXX standard.
 2020-09-01 14:35:23 +02:00
Daniel Kirchner
c6dff971cb Do not generally override CXX standard. 2020-09-01 14:29:44 +02:00
chriseth
ea38ff0348
Merge pull request #9715 from ethereum/macosx-readlink 
OSX: Fix readlink & ASTImportTest.sh issues.
 2020-09-01 12:26:01 +02:00
Leonardo
6b38c64c84
Merge pull request #9709 from ethereum/smt_fix_tuple_3 
[SMTChecker] Fix ICE on tuples of one element of tuple type
 2020-09-01 10:47:36 +02:00
Leonardo
20b359e5c5
Merge pull request #9716 from ethereum/smt_fix_tuple_2 
[SMTChecker] Fix ICE on tuple assignment
 2020-09-01 10:44:34 +02:00
Leonardo
c9ca1d1814
Merge pull request #9706 from ethereum/smt_fix_tuple_lvalue 
[SMTChecker] Fix unary operator on lvalue tuple
 2020-09-01 10:37:24 +02:00