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
16,962 Commits 348 Branches 121 Tags
v0.6.10
Commit Graph
2812 Commits
Author SHA1 Message Date
chriseth 0689cda19a Merge pull request #9116 from ethereum/solYulCleanupFromStorageReference 
New test for getters.
 2020-06-11 14:08:10 +02:00
chriseth 012ba9537b Merge pull request #9184 from ethereum/fixUsingForStorage 
Fix using for with explicit reference types.
 2020-06-11 14:00:28 +02:00
chriseth 5c71b3fbb0 Merge pull request #9173 from ethereum/fixBoundCalldata 
Fix bound functions with calldata parameters.
 2020-06-11 13:31:30 +02:00
chriseth 549c90612c Fix using for with explicit reference types. 2020-06-11 13:04:41 +02:00
Daniel Kirchner 73cd009b89 Fix struct allocation in Sol->Yul. 2020-06-11 12:16:45 +02:00
chriseth d4e3491f35 Merge pull request #9177 from ethereum/fixYulStructMemberAccess 
[Sol -> Yul] Fix struct member access for memory and implement for calldata.
 2020-06-11 09:41:04 +02:00
Leonardo d7f29a33b9 Merge pull request #9096 from ethereum/conversionWarningsLibSol 
Adding fixes for signedness warnings in libsolidity
 2020-06-11 01:06:32 +02:00
Daniel Kirchner 90b66a7362 Fix struct member access for memory and implement for calldata. 2020-06-10 20:01:30 +02:00
chriseth baabe65a84 Fix bound functions with calldata parameters. 2020-06-10 17:37:59 +02:00
chriseth 2410f0ed5a Merge pull request #9135 from ethereum/fixReturnParameterLocation 
Fixing ICE on calling externally a function that returns calldata pointers
 2020-06-10 16:44:38 +02:00
Djordje Mijovicandchriseth e73fe17277 Fixing ICE on calling externally a function that returns calldata pointers 
Co-authored-by: chriseth <chris@ethereum.org>
 2020-06-10 14:41:45 +02:00
a3d4 51e64fe0b1 Add error IDs to console output 2020-06-10 13:27:25 +02:00
a3d4 b17915a6ba Add error IDs to JSON 2020-06-10 13:26:51 +02:00
Djordje MijovicandKamil Śliwak c6e4943089 Adding fixes for signedness warnings in libsolidity 
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2020-06-10 10:41:55 +02:00
chriseth 81f54a170b Cleanup from storage. 2020-06-09 14:57:04 +02:00
Harikrishnan Mulackal d8263d331e Ignore warnings for yulOptimizer tests 2020-06-09 13:03:57 +02:00
Harikrishnan Mulackal 73e634924e Warn on YUL switch statement with only default statement 2020-06-09 12:32:53 +02:00
chriseth 2724ce9511 Index access to fixed bytes and byte arrays. 2020-06-09 10:50:28 +02:00
Leonardo Alt f49e2424b2 [SMTChecker] Erase knowledge when array variable is pushed 2020-06-08 10:23:06 +02:00
Leonardo d243f5baac Merge pull request #9045 from ethereum/smt_fix_tuple 
[SMTChecker] Fix internal error in tuples of tuples.
 2020-06-05 14:21:32 +02:00
Leonardo 731e6466a0 Merge pull request #9067 from ethereum/smt_fix_fp_again 
[SMTChecker] Fix BMC targets with FP
 2020-06-05 12:39:28 +02:00
Leonardo Alt 87ceb72b82 [SMTChecker] Fix internal error in tuples of tuples. 2020-06-05 12:20:47 +02:00
chriseth 010a2246c7 More tests for getters. 2020-06-03 21:47:24 +02:00
chriseth 6b5f83cdfa Merge pull request #9058 from ethereum/memberAccessSolYul 
[Sol->Yul] Member access for structs.
 2020-06-03 21:19:49 +02:00
chriseth f38e3a3574 Merge pull request #9056 from ethereum/solYulGetters 
[Sol->Yul] Implement getters.
 2020-06-03 19:08:15 +02:00
Mathias Baumann 6f8b5fe53b Disallow override with non-public state variables 2020-06-03 14:03:26 +02:00
Christian Parpart c708a1bec2 AsmAnalysis: Fixes a superfluous whitespace in an error string 2020-06-03 12:23:06 +02:00
chriseth e7f3c042b6 Struct member access for storage and memory. 2020-06-03 10:37:39 +02:00
chriseth 37e8d78cff [Sol->Yul] Implement getters. 2020-06-03 10:33:37 +02:00
Leonardo 96ce4abe0e Merge pull request #9069 from ethereum/smt_try 
[SMTChecker] Fix internal error on try/catch
 2020-06-02 21:09:49 +02:00
chriseth 8ab8d5b1b0 Do not try compiling via yul if explicitly forbidden. 2020-06-02 19:55:33 +02:00
chriseth c07254f5ac Merge pull request #9055 from ethereum/issue-8881 
Output error when forward referencing constants in inline assembly
 2020-06-02 17:10:56 +02:00
chriseth 837e29fff8 Merge pull request #9084 from ethereum/remove-dead-code-from-execution-framework 
Remove dead code from SolidityExecutionFramework::compileContract()
 2020-06-02 17:00:27 +02:00
Leonardo Alt 10162016ae [SMTChecker] Fix internal error on try/catch 2020-06-02 16:51:53 +02:00
chriseth 9c92562e28 Merge pull request #9059 from ssi91/refactor-interactive-tests 
Refactor interactive tests
 2020-06-02 16:50:31 +02:00
ssi91 79407c87fb remove extra definition of printIndented 
add CommonBaseTestCase class and inherit some of TestCase classes from it. Since that, remove print source extra definitions

create the base defifnition for printUpdatedExpectations and remove extra definitions of the method

make CommonBaseTestCase c-tor explicit

include AnsiColorized.h and sort includes

implement a common result checker

move the common implementations into TastCase
 2020-06-02 21:15:00 +07:00
Leonardo 97cb091ada Merge pull request #9068 from ethereum/smt_fix_state_var_init_call 
[SMTChecker] Relax assertion about callstack
 2020-06-02 15:53:14 +02:00
Mathias Baumann bdc2c63327 Output error when forward referencing constants in inline assembly 2020-06-02 14:37:54 +02:00
Leonardo Alt ede39fc2da [SMTChecker] Relax assertion about callstack 2020-06-02 12:50:51 +02:00
Kamil Śliwak 9bb9b6345c SolidityExecutionFramework: Fix indentation 
- This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.
 2020-06-01 18:25:02 +02:00
Kamil Śliwak df7b82bf31 SolidityExecutionFramework: Remove dead code for handling errors from parsing and analysis 
- This code can never be reached because CompilerStack.compile() called above does the same analysis and fails if it's not successful.
 2020-06-01 18:24:31 +02:00
Kamil Śliwak 311f025eb5 SolidityExecutionFramework: Fix compileContract() to print Yul errors from the correct source 2020-06-01 18:17:50 +02:00
Leonardo Alt 2128ff9f13 Fix ICE on push for member access 2020-05-29 19:13:27 +02:00
Leonardo Alt e5d25692a5 [SMTChecker] Fix BMC targets with FP 2020-05-29 18:13:13 +02:00
chriseth 0b216f5771 Merge pull request #9050 from ethereum/smt_fix_nonvalue_asgn 
[SMTChecker] Fix ICE on index access assignment inside single branches
 2020-05-28 16:25:46 +02:00
chriseth 65d8b6cf75 Merge pull request #9033 from a3d4/partfix-5819-add-errorid-to-error-class 
Add unique ID to Error class
 2020-05-28 16:24:47 +02:00
Leonardo 1051cea91c Merge pull request #9052 from ethereum/smt_add_test_delete_m_d_array 
[SMTChecker] Add test that deletes arrays
 2020-05-28 16:14:55 +02:00
Leonardo Alt 9b0146be42 Add test 2020-05-28 15:56:47 +02:00
Leonardo Alt ec766958ea Add test 2020-05-28 13:14:21 +02:00
Leonardo Alt 13f32268da [SMTChecker] Add test that shows that deleting arrays takes the index into account 2020-05-28 13:08:16 +02:00