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
20,366 Commits 348 Branches 121 Tags
add-function-calls
Commit Graph
4719 Commits
Author SHA1 Message Date
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 23514c1749 Merge pull request #9724 from ethereum/superForYul 
Implement ``super``.
 2020-09-02 12:48:39 +02:00
Djordje Mijovic 1fab5b79fb Refactoring signature for updateStorageValueFunction 2020-09-02 12:28:53 +02:00
Djordje MijovicandDaniel Kirchner 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 8f34ac472f Implement `super`. 2020-09-02 11:00:42 +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
Leonardo Alt 49d3804de4 [SMTChecker] Fix rational number short circuit 2020-09-01 17:21:13 +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
Leonardo Alt 238b8a929e [SMTChecker] Fix ICE on tuples of one element that actually have tuple type 2020-09-01 08:31:57 +02:00
Leonardo Alt 5cafbeebec [SMTChecker] Fix ICE on tuple assignment 2020-09-01 08:29:01 +02:00
Leonardo Alt 50e0ada77d [SMTChecker] Fix unary operator on lvalue tuple 2020-09-01 08:25:06 +02:00
chriseth 34543e5eab Merge pull request #9692 from ethereum/smt_fix_pop 
[SMTChecker] Fix soundness of array pop
 2020-08-31 20:07:58 +02:00
chriseth 0203eea20e Merge pull request #9649 from a3d4/improve-error-coverage-erorrecovery 
Complete test coverage for errors related to parser error recovery
 2020-08-31 18:33:19 +02:00
Leonardo Alt 8c05db88c0 [SMTChecker] Fix soundness of array pop 2020-08-31 12:11:33 +02:00
chriseth 20efba6b55 Merge pull request #9568 from ethereum/fixImmutables 
Fix reads checks for complex assignment and increment/decrement for immutable variables.
 2020-08-28 16:14:18 +02:00
chriseth 8b564a7be7 Fix reads checks for immutable variables. 2020-08-28 15:24:40 +02:00
chriseth ec3f3c41dd Merge pull request #9690 from ethereum/immutable-rhs-vardecl 
Disallow assigning more than once to immutables during the variable declaration
 2020-08-28 14:39:23 +02:00
Leonardo df79a4f162 Merge pull request #9691 from ethereum/oversized-function-array 
Changed canonicalName() to toString() because of internal functions
 2020-08-28 13:57:47 +02:00
Harikrishnan Mulackal 7ff809dc78 Disallow assigning more than once to immutables during the vardecl 2020-08-28 13:42:54 +02:00
Harikrishnan Mulackal 672f391660 Changed canonicalName() to toString() because of internal functions 2020-08-27 21:09:35 +02:00
Alex Beregszaszi e872b1b51e Merge pull request #9689 from ethereum/using-for-interface 
Disallow ``using for`` directive for interfaces.
 2020-08-27 19:09:19 +01:00
chriseth 0798167f3d Merge pull request #9612 from ethereum/yul-rightarrow 
Introduce RightArrow (->) token
 2020-08-27 16:21:18 +02:00
Harikrishnan Mulackal c7dc42a794 Disallow `using for` directive for interfaces. 2020-08-27 15:57:51 +02:00
Harikrishnan Mulackal 7826564226 Fix infinite loop for structs in library function parameter 2020-08-27 14:18:07 +02:00
Harikrishnan Mulackal 1c066b1059 Allow type(Contract).name for abstract contracts and interfaces 2020-08-27 13:37:08 +02:00
Alex Beregszaszi 662f7d8fac Rename Arrow to DoubleArrow 2020-08-27 12:28:27 +01:00
chriseth 161ed4c948 Merge pull request #9683 from ethereum/fix-exp-neg-literal 
Disallow the exponent to be a signed integer literal
 2020-08-27 13:26:15 +02:00
Harikrishnan Mulackal 6f22899153 Disallow the exponent to be a signed integer literal 2020-08-27 12:08:45 +02:00
Harikrishnan Mulackal 79b2e41252 Fix inheritdoc tags trying to resolve 'empty' elements 2020-08-26 21:28:00 +02:00
Leonardo fdc4142b2c Merge pull request #9661 from ethereum/smtBitwiseOr 
[SMTChecker] Support bitwise or, xor and not operator
 2020-08-26 18:20:15 +02:00
chriseth dbe0518cd2 Merge pull request #9652 from ethereum/iceInlineAssemblyOffset 
[Sol->Yul] Enabling storage pointers to local vars in inline assembly.
 2020-08-26 17:12:54 +02:00
Djordje Mijovic 11a7763f49 [SMTChecker] Support bitwise or, xor and not. 2020-08-26 11:06:56 +02:00
Djordje Mijovic d99b81ef02 [Sol->Yul] Enabling storage pointers to local vars in inline assembly. 2020-08-26 10:25:42 +02:00
chriseth 21489d8193 Merge pull request #9638 from ethereum/fixNullValuesAST 
Remove null values from AST also in standard-json mode.
 2020-08-24 15:57:33 +02:00
Đorđe Mijović 4dd25f7302 Merge pull request #9639 from ethereum/smtConditionalSupport 
[SMTChecker] Supporting conditional operator
 2020-08-21 14:25:47 +02:00
Djordje Mijovic 3f97a1012a [SMTChecker] Supporting conditional operator 2020-08-20 21:39:35 +02:00
a3d4 0ee4a85a84 Complete test coverage for errors related to parser error recovery 2020-08-20 16:14:39 +02:00
chriseth 4a720a6511 Merge pull request #9646 from a3d4/improve-error-coverage-syntaxchecker 
Improve error coverage of syntax checker
 2020-08-20 13:18:35 +02:00
chriseth 4dc63875f9 Merge pull request #9113 from ethereum/smt_chc_overflow 
[SMTChecker] Add underflow/overflow target to CHC
 2020-08-20 13:17:00 +02:00
a3d4 ad311fae19 Improve error coverage of syntax checker 2020-08-20 03:23:21 +02:00
chriseth 7b8cc0c49b Remove null values from AST also in standard-json mode. 2020-08-19 11:06:14 +02:00
chriseth 17edf4f207 Merge pull request #9479 from ethereum/exp 
Implement checked exponentiation.
 2020-08-18 13:57:25 +02:00