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
19,867 Commits 348 Branches 121 Tags
more-function-params
Commit Graph
3878 Commits
Author SHA1 Message Date
chriseth b4a0a79398 Merge pull request #6993 from ethereum/smt_false_positives 
[SMTChecker] Remove overflow check for assignments
 2019-06-26 13:06:31 +02:00
chriseth f58bd5551e Test for sign bit chopping. 2019-06-25 13:00:02 +02:00
Leonardo Alt 48d6729164 [SMTChecker] Remove overflow check for assignments 2019-06-24 17:58:56 +02:00
Mathias Baumann 5f072d30df Enable yul for more end to end tests 2019-06-24 16:06:22 +02:00
chriseth 350631ae0d Merge pull request #6940 from ethereum/sol-yul-storage-array-index 
[Sol->Yul] Implement index access for storage arrays
 2019-06-24 12:49:19 +02:00
Mathias Baumann 1dd63f416e [Sol->Yul] Implement index access for storage arrays 2019-06-20 16:14:51 +02:00
chriseth 9bb7160c4c Merge pull request #6958 from sifmelcara/fix-abiencoderv2-codegen 
Fix incorrect abi encoding of storage array of data type that occupy multiple storage slots
 2019-06-20 13:08:42 +02:00
Daniel Kirchner fcd3410f26 Implement checked mod for sol->yul code generation. 2019-06-20 12:30:32 +02:00
Daniel Kirchner a5b9f634ef Implement signed multiplication for sol->yul code generation. 2019-06-20 12:30:30 +02:00
Daniel Kirchner 5f6af8b374 Implement signed subtraction for sol->yul code generation. 2019-06-20 12:16:56 +02:00
Daniel Kirchner 88988af561 Implement signed addition for sol->yul code generation. 2019-06-20 11:42:50 +02:00
Mathias Baumann 910cb8d329 [Sol->Yul] Implement .length for storage arrays 2019-06-19 18:09:23 +02:00
mingchuan 13c1409669 Add test case that abi.encode nested storage arrays 2019-06-19 10:46:47 +08:00
rocky 1a7e09ab7a Add errorRecovery boolean to StandardCompiler 2019-06-18 15:54:05 -04:00
rockyandchriseth ca3afea1d7 Add Steve Johnson-style parser recovery rules: 
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-06-17 14:47:07 +02:00
Daniel Kirchner 4d38df6920 Set state mutability of function type members `gas and value` to pure. 2019-06-13 18:27:53 +02:00
Leonardo d2019f49ea Merge pull request #6906 from ethereum/delegatecall_value_msg 
Improve error message for delegatecall.value
 2019-06-12 21:14:54 +02:00
Daniel Kirchner 2849169bff Merge pull request #6909 from ethereum/yul-delete-operation 
[Sol->Yul] Make IRStorageItem work with dynamic offsets
 2019-06-12 16:46:00 +02:00
Mathias Baumann 9e23d6d05e [Sol->Yul] Compile some tests with yul 2019-06-11 17:44:36 +02:00
Daniel Kirchner bd1f65d609 Merge pull request #6888 from anurag-git/anurag_semantic_test_update 
New semantic tests extracted
 2019-06-11 10:50:10 +02:00
Anurag Dashputre 60332c6469 Extract semantic tests for 
1. Transaction Status
2. Empty Contract
3. Smoke test for Range
 2019-06-09 14:46:02 +02:00
Daniel Kirchner 8e20a5e59a Allow extracted semantics tests to run both with and without Yul. 2019-06-06 20:19:16 +02:00
Daniel Kirchner 6368cd4c82 AsmParser: disallow trailing commas in function call arguments. 2019-06-06 13:16:27 +02:00
Leonardo Alt b7634faa3d Improve error message for delegatecall.value 2019-06-06 12:55:12 +02:00
Leonardo Alt d9ce9cab99 [SMTChecker] Use smtlib's implies instead of \!a or b 2019-06-04 14:23:44 +02:00
chriseth 4ee703e6e5 Revert "Add Steve Johnson-style parser recovery rules:" 
This reverts commit 97f8ee0d1b.
 2019-05-28 18:09:24 +02:00
rockyandchriseth 97f8ee0d1b Add Steve Johnson-style parser recovery rules: 
SourceUnit = Error $
    Block = '{' Error '}'
    ContractDefinition = '{' Error '}'
    Statement = Error ';'

Co-Authored-By: chriseth <chris@ethereum.org>
 2019-05-28 15:06:34 +02:00
chriseth df96648b1c Do not allow msize in inline assembly if the Yul optimizer is active. 2019-05-28 12:54:33 +02:00
chriseth b95eebee1c Merge pull request #6822 from ethereum/uninitializedLoadFromStorage 
Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.
 2019-05-28 11:48:56 +02:00
chriseth 01b6b680f1 Merge pull request #6829 from ethereum/solYulDivision 
[SolYul] Division.
 2019-05-28 11:48:20 +02:00
chriseth 7183940e24 Merge pull request #6770 from ethereum/isoltest-parser-fix 
[isoltest] TestFileParser: Fixes access of iterator at and beyond iterator ends
 2019-05-27 19:14:35 +02:00
chriseth fbf189151d [SolYul] Division. 2019-05-27 17:53:46 +02:00
chriseth 5b1a984882 Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage. 2019-05-27 17:26:37 +02:00
chriseth a600126703 Merge pull request #6833 from sifmelcara/fix-struct-array-mapping 
Fix assignment of struct containing array of mappings
 2019-05-27 11:14:28 +02:00
mingchuan bf8af89bba Fix assignment of struct containing array of mappings 2019-05-25 01:33:49 +08:00
chriseth 73d0eb6b7a Modify test to prevent underflow. 2019-05-23 21:32:30 +02:00
chriseth ee7548a339 Activate some tests. 2019-05-23 21:32:30 +02:00
Mathias Baumann 981983089c [Sol -> Yul] Implement delete for function pointers 2019-05-23 15:51:59 +02:00
Mathias Baumann 81702717b0 [Sol -> Yul] Enable function pointer comparison 2019-05-23 12:52:50 +02:00
chriseth 0291abf10f Merge pull request #6818 from ethereum/alwaysUseBuiltins 
Provide builtin functions even in loose assembly mode.
 2019-05-23 12:29:12 +02:00
chriseth 90e8594858 Update tests. 2019-05-23 11:30:12 +02:00
chriseth 9a00729ce7 Provide dialect to Parser and InlineAssembly AST nodes. 2019-05-23 00:24:58 +02:00
chriseth 7506b5752a Do not require payable for callvalue instruction. 2019-05-22 11:30:29 +02:00
Mathias Baumann cbf81b123a Fix new found spelling mistakes and add exceptions 2019-05-21 10:59:34 +02:00
chriseth e324deabd6 Merge pull request #6740 from ethereum/unary-ops 
[Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, !
 2019-05-20 18:06:01 +02:00
chriseth af2bdfd2fa Merge pull request #6793 from ethereum/irCheckedMul 
[Sol - Yul] Implement checked multiplication.
 2019-05-20 17:54:57 +02:00
Daniel Kirchner b6f4d4e9bc [Sol - Yul] Implement checked multiplication. 2019-05-20 17:36:53 +02:00
chriseth 46d9df7574 Add EVM opcodes as builtins. 2019-05-20 16:46:31 +02:00
Christian Parpart 63ae9f1415 [isoltest] TestFileParser: Fixes access of iterator at and beyond iterator ends. 2019-05-20 16:29:03 +02:00
Mathias Baumann 86000fdcce [Sol -> Yul] Implement unary -, + 2019-05-20 16:14:46 +02:00