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,011 Commits 348 Branches 121 Tags
stackLimitEvaderRefactor3
Commit Graph
4909 Commits
Author SHA1 Message Date
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
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
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 016b9b83a8 Refactor predicates 2020-09-01 16:09:56 +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
chriseth f628fd3f03 Merge pull request #9655 from a3d4/fix-msvc-adl 
Fix MSVC ADL
 2020-09-01 10:35:11 +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
a3d4 8faa5243b5 Fix MSVC ADL 2020-09-01 00:42:42 +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 b3b1df6556 Merge pull request #9681 from ethereum/small-astjsontest-refactor 
Refactor ASTJSONTest to reduce redundancy
 2020-08-31 19:50:06 +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
chriseth 8c8eca3ec2 Merge pull request #9701 from a3d4/fix-8885-update-test-expectations 
Fix test expectation update
 2020-08-31 13:39:11 +02:00
chriseth 7346165b6c Merge pull request #9688 from ethereum/fix-9675 
ossfuzz: Generate antlr4 runtime deps
 2020-08-31 13:07:03 +02:00
a3d4 6336aa5aba Fix test expectation update 2020-08-31 12:50:18 +02:00
Leonardo Alt 8c05db88c0 [SMTChecker] Fix soundness of array pop 2020-08-31 12:11:33 +02:00
Alex Beregszaszi 7ef9591e64 Expose hex literal to the Yul parser 
This allows nicer error messages.
 2020-08-28 19:34:52 +01:00
Alex Beregszaszi 26a76c18d4 Add Yul syntax test for every Solidity keyword 2020-08-28 19:34:52 +01:00
Alex Beregszaszi 4366ede889 Introduce Leave as a keyword for Yul 2020-08-28 19:34:52 +01:00
Alex Beregszaszi caa329066e Do not emit Solidity-only tokens in the Scanner for Yul 
And simplfiy AsmParser greatly.
 2020-08-28 19:34:52 +01:00
Alex Beregszaszi bd7283ad22 Add scanner test for specially handled keywords in Yul 2020-08-28 19:34:52 +01:00
Alex Beregszaszi a80e2c1462 Update tests for immutable variables 2020-08-28 19:06:34 +01:00
Alex Beregszaszi 56624af209 Merge pull request #9695 from ethereum/scanner-test 
Add more scanner tests for hex and unicode literals
 2020-08-28 18:19:22 +01: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
Christian Parpart cd3836f467 Fixes compilation on MSVC wrt. narrowing conversion from cstr-ptr to bool. 2020-08-28 15:54:47 +02:00
Alex Beregszaszi aa70758c32 Add more scanner tests for hex and unicode literals 2020-08-28 14:33:29 +01: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
Bhargava Shastry 6101590d93 ossfuzz: Generate antlr4 runtime deps 2020-08-27 17:33:29 +02: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
Mathias Baumann c4962df262 Refactor ASTJSONTest to reduce redundancy 2020-08-27 15:56:41 +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
Alex Beregszaszi 4e5b403c37 Introduce RightArrow (->) token in the scanner 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