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,291 Commits 348 Branches 121 Tags
codecov
Commit Graph
4451 Commits
Author SHA1 Message Date
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
chriseth e324deabd6 Merge pull request #6740 from ethereum/unary-ops 
[Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, !
 2019-05-20 18:06:01 +02:00
Daniel Kirchner b6f4d4e9bc [Sol - Yul] Implement checked multiplication. 2019-05-20 17:36:53 +02:00
Mathias Baumann 86000fdcce [Sol -> Yul] Implement unary -, + 2019-05-20 16:14:46 +02:00
chriseth e08f521b7e Merge pull request #6764 from ethereum/smt_fix_tuple_ice 
[SMTChecker] Fix ICE in unsupported function calls with multi return values
 2019-05-20 15:18:11 +02:00
chriseth bbf45c4af1 Merge pull request #6758 from ethereum/smt_global_context 
[SMTChecker] Move handling of global vars and functions
 2019-05-20 15:15:54 +02:00
Mathias Baumann 7dbcb80523 [Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, ! 2019-05-20 11:43:12 +02:00
Leonardo Alt 60a4f03d3d [SMTChecker] Fix ice in unsupported functions with multi return values 2019-05-16 18:23:42 +02:00
Leonardo Alt 5493a41842 [SMTChecker] Move global variables and functions to encoding context 2019-05-16 18:11:31 +02:00
chriseth f2ae30f620 Fix handling of structs of dynamic size as constructor parameters. 2019-05-16 17:10:54 +02:00
chriseth 9d291a86cc Merge pull request #6742 from ethereum/smt_expr_context 
[SMTChecker] Move expression handling to EncodingContext
 2019-05-16 12:47:15 +02:00
chriseth ce19e2e4bc Merge pull request #6599 from ethereum/ipfsHash 
Add IPFS hash of source files to metadata.
 2019-05-15 14:21:58 +02:00
chriseth b01a8c544c Use IPFS url in metadata for source links. 2019-05-15 12:40:03 +02:00
Daniel Kirchner a10501bb7d Merge pull request #6725 from AndreyBronin/develop 
GCC 9.1 build fix. error: redundant move in return statement
 2019-05-15 11:37:20 +02:00
Andrey Bronin 4eb37fe631 fix warning in GCC 9.1: redundant move in return statement 2019-05-14 17:44:28 +03:00
Leonardo Alt 4e430ba0ae [SMTChecker] Move expression handling to EncodingContext 2019-05-14 15:56:43 +02:00
chriseth 74fbf5402d Merge pull request #6737 from ethereum/smt_vars_context 
[SMTChecker] Move variable handling to EncodingContext
 2019-05-14 13:30:35 +02:00
chriseth d753fcdb36 Tools to compute UnixFS IPFS hash. 2019-05-14 11:52:11 +02:00
Mathias Baumann f5980f08cc Remove m_code from IRValue 
Only one place to append to m_code avoids confusion and bugs
 2019-05-14 11:15:04 +02:00
Leonardo Alt ebbe03cad6 [SMTChecker] Move variable handling to EncodingContext 2019-05-13 16:59:28 +02:00
chriseth 01dd9ba2ae Merge pull request #6717 from ethereum/smt_namespace 
Move SMT specific code into smt namespace
 2019-05-13 12:45:34 +02:00
chriseth 37375b4271 Merge pull request #6606 from ethereum/stdin-output-wildcard 
Fix wildcard as output selector in standard JSON
 2019-05-13 10:24:13 +02:00
chriseth 8c232e8196 Merge pull request #6690 from ethereum/useConditionalWhiskers 
Use conditional whiskers
 2019-05-13 10:23:30 +02:00
chriseth 03c8e43da5 Merge pull request #6605 from ethereum/natspec-colon-fix 
Fix Natspec parser error
 2019-05-13 10:19:47 +02:00
chriseth e5d46767f1 Merge pull request #6722 from ethereum/smt_fix_variable_usage 
[SMTChecker] Fix VariableUsage for IndexAccess
 2019-05-13 10:17:26 +02:00
chriseth a28b6224a4 Merge pull request #6714 from ethereum/finishERC20 
Finish ERC20
 2019-05-13 10:00:38 +02:00
Leonardo Alt fac383a233 Move SMT specific code into smt namespace 2019-05-10 20:03:11 +02:00
Erik Kundt 2b021eaa30 Allows wildcard as output selector in standard JSON. 2019-05-10 18:58:51 +02:00
chriseth cc40e65a4b Merge pull request #6712 from ethereum/smt_unique_ptr 
[SMTChecker] Use unique_ptr instead of shared_ptr where applicable
 2019-05-10 12:53:53 +02:00
Leonardo Alt 3ea5c112d3 [SMTChecker] Fix VariableUsage for IndexAccess 2019-05-10 11:28:10 +02:00
Erik Kundt 656364d967 Fixes Natspec parser error when whitespace is missing. 2019-05-10 10:53:32 +02:00
Leonardo 661b08e16c Merge pull request #6718 from ethereum/smt_style 
[SMTChecker] Style changes
 2019-05-10 09:20:21 +02:00
chriseth 4de75b24c5 Merge pull request #6677 from ethereum/externalCalls 
[SolYul] External function calls
 2019-05-09 19:18:10 +02:00
Leonardo Alt 8d65fd18fc [SMTChecker] Style changes 2019-05-09 19:15:43 +02:00
chriseth 89700dbcff Merge pull request #6665 from ethereum/smt_inline_external_this 
[SMTChecker] Inline external function calls to `this`
 2019-05-09 19:09:08 +02:00
chriseth e047c8d4d9 Code generator for external function calls. 2019-05-09 18:55:12 +02:00
chriseth 63a072f122 [SolYul] Partially implement constructor. 2019-05-09 17:57:33 +02:00
chriseth 021b312264 Revert with reason. 2019-05-09 17:57:33 +02:00
chriseth 60a42f58a0 Fix internal function calls. 2019-05-09 17:57:33 +02:00
chriseth 45ee3fc007 Subtraction for unsigned integers. 2019-05-09 17:57:30 +02:00
Leonardo Alt ef32bf185f [SMTChecker] Inline external function calls to this. 2019-05-09 16:53:30 +02:00
Leonardo Alt c8a017ccd6 [SMTChecker] Use unique_ptr instead of shared_ptr where applicable. 2019-05-09 16:34:22 +02:00
Leonardo Alt 6027383ae5 [SMTChecker] Fix call to function at state var init 2019-05-09 16:12:44 +02:00
chriseth c3a1c168d0 Merge pull request #6711 from ethereum/solYulIf 
[Sol -> Yul] Implement if statements
 2019-05-09 15:33:34 +02:00
chriseth b3e51bcae1 Some more compression. 2019-05-09 15:25:21 +02:00
chriseth d3d205b6eb Some more compression. 2019-05-09 15:25:21 +02:00
chriseth c6b9fa96ae Use conditional Whiskers. 2019-05-09 15:25:21 +02:00
Daniel Kirchner b83f6d8d46 [Sol -> Yul] Implement if statements 2019-05-09 14:52:20 +02:00
Leonardo 9e09b5d33b Merge pull request #6679 from ethereum/smt_fix_ssa_reset 
[SMTChecker] Fix ICE in touched vars
 2019-05-09 12:17:32 +02:00