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
5329 Commits
Author SHA1 Message Date
chriseth f8d5c4db36 Merge pull request #9843 from ethereum/deleteStructSol2Yul 
[Sol->Yul] Implementing delete struct
 2020-10-08 19:08:40 +02:00
chriseth 34e7ae6ff9 New tests. 2020-10-08 18:56:18 +02:00
chriseth b2f1d558da Update existing tests. 2020-10-08 18:56:17 +02:00
chriseth 346fe1c6c5 Constants at file-level. 2020-10-08 18:56:17 +02:00
chriseth b5a08f8641 Merge pull request #9958 from a3d4/fix-ice-storage-parameters-in-libraries 
Fix ICE caused by storage parameters with nested mappings in libraries
 2020-10-08 17:17:09 +02:00
Djordje MijovicandDaniel Kirchner ad8d840ee7 [Sol->Yul] Implementing conversion of struct to struct pointer. 
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
 2020-10-08 16:37:57 +02:00
Djordje Mijovic fa69378f4f Changing unimplemented test for yul 2020-10-08 15:27:33 +02:00
Djordje Mijovic 4e8275df2c Enabling triggered tests and adding one new for deleting struct 2020-10-08 15:27:33 +02:00
chriseth fd6196af16 Copying of arrays from storage to memory. 2020-10-08 15:16:13 +02:00
a3d4 d7b4b4a7aa Fix ICE caused by storage parameters with nested mappings in libraries 2020-10-07 22:07:57 +02:00
Mathias Baumann 6114cd8e8e Add missing annotation assignments 2020-10-07 14:52:35 +02:00
Christian Parpart 04079bff6f Eliminates dead code around GasEstimator 
- structuralEstimation()
- breakToStatementLevel()
 2020-10-07 13:31:40 +02:00
chriseth 431397eddf Merge pull request #9943 from ethereum/array-cleanup 
Array cleanup
 2020-10-07 11:53:06 +02:00
Kamil Śliwak 33ff79bf82 Add missing checks for parameter compatibilty with ABIEncoderV1 in calls 2020-10-06 21:28:46 +02:00
chriseth 25d408058b Merge pull request #9954 from ethereum/issue-9948 
Remove unneeded assert
 2020-10-06 16:50:14 +02:00
Harikrishnan Mulackal 1bdbc10110 Properly cleanup after copying dynamic-array to storage for packed types 2020-10-06 16:06:02 +02:00
chriseth 046cc42121 Merge pull request #9965 from ethereum/var_is_reserved 
Var is reserved keyword.
 2020-10-06 15:49:53 +02:00
chriseth 3102b98e82 Var is reserved keyword. 2020-10-06 15:08:57 +02:00
Djordje Mijovic 818afcbec2 [Sol->Yul] Implementing push for nested storage arrays and storage arrays of structs. 2020-10-06 13:06:40 +02:00
Mathias Baumann 6af16469e7 Remove unneeded assert 
An error will trigger later in the name resolve phase
 2020-10-05 13:01:11 +02:00
Harikrishnan Mulackal 756e21a888 Merge pull request #9946 from ethereum/viewpure-tests 
Add more tests to ViewPureChecker
 2020-10-02 14:36:28 +02:00
Alex Beregszaszi 32cb5207b3 Add more tests to ViewPureChecker 2020-10-02 11:57:35 +01:00
Alex Beregszaszi fedbea46cd [SMTChecker] Support type conversions 2020-10-02 10:26:02 +02:00
Leonardo 87e1934bee Merge pull request #9885 from ethereum/smt_array_slices 
[SMTChecker] Support array slices
 2020-10-01 18:12:57 +02:00
chriseth e5771efdf8 Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul 
[Sol->Yul] Implementing deleting of storage array of types that are packed in storage
 2020-10-01 16:50:57 +02:00
Leonardo Alt c8cc73c80c Support array slices 2020-10-01 11:52:02 +02:00
Djordje Mijovic 03eeb49a66 Adding test for deleting packed storage array. 2020-10-01 10:25:04 +02:00
chriseth 3af21c92d2 Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings 
Fix ICE caused by an array of mappings
 2020-09-30 20:24:09 +02:00
chriseth fda8bde2d7 Stop after parsing. 2020-09-30 16:57:49 +02:00
Mathias Baumann 4c02cd2310 Add name for split-test to prevent failure in other places 2020-09-30 16:56:53 +02:00
Harikrishnan Mulackal fd02ccc68c Implemented events with indexed function as parameter in Yul 2020-09-30 12:11:39 +02:00
Harikrishnan Mulackal 3970412422 Implemented events with function type as one of its indexed parameters 2020-09-30 12:11:38 +02:00
chriseth 7a86a61b08 Merge pull request #9895 from ethereum/exp-negative-one 
Optimize exp when base is -1
 2020-09-30 11:54:22 +02:00
a3d4 a244daaacb Exclude tests with overly deep nesting from antlr grammar checks 2020-09-29 20:20:20 +02:00
a3d4 3c876fcb60 Fix ICE caused by an array of mappings 2020-09-29 18:17:46 +02:00
Harikrishnan Mulackal 2b9f040c48 Optimize exp when base is -1 2020-09-29 17:44:09 +02:00
a3d4 3698cd54a5 Complete error coverage of Parser and SyntaxChecker 2020-09-29 16:07:02 +02:00
chriseth 4b67829328 Merge pull request #9917 from ethereum/leb-encoding 
Add LEB128 encoding functions & tests.
 2020-09-29 14:55:25 +02:00
Leonardo Alt 352cce5fc8 [SMTChecker] Support addmod and mulmod. 2020-09-29 12:45:19 +02:00
Alexander Arlt b6e1415509 Add LEB128 encoding functions & tests. 2020-09-28 16:06:19 -05:00
Leonardo Alt fa7c9a0dc6 Simplify internal function calls 2020-09-28 15:31:15 +02:00
chriseth 9115100f2a Merge pull request #9909 from ethereum/fix-9890 
Fix missing annotation settings because of early return
 2020-09-28 12:27:43 +02:00
Mathias Baumann 76bb2cafe9 Fix missing annotation settings because of early return 2020-09-28 12:12:44 +02:00
chriseth bab2d6d644 Merge pull request #9852 from ethereum/fix-9851 
Typechecker: Disallow free function redefinition
 2020-09-28 11:15:47 +02:00
a3d4 9721bda36e Complete error coverage of ParserBase 2020-09-28 01:56:25 +02:00
Leonardo Alt e6bd18525b [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
Leonardo Alt 0223571987 [SMTChecker] Do not report error when rlimit 2020-09-25 18:43:10 +02:00
Bhargava Shastryandchriseth e2a2276272 Contract level checker: Disallow free function redefinition and alias 
shadowing another free function

Co-authored-by: chriseth <chris@ethereum.org>
 2020-09-25 17:09:58 +02:00
Alex Beregszaszi 9f3d5d3e2f [SMTChecker] Implement support for memory allocation 2020-09-25 15:56:24 +01:00
Alex Beregszaszi 9c1b041dcb [SMTChecker] Keep constraints of string literals after assignment 2020-09-25 11:32:48 +01:00