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
15,716 Commits 348 Branches 121 Tags
assignTypesInOptimizer
Commit Graph
3285 Commits
Author SHA1 Message Date
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
chriseth 0852ccc318 Merge pull request #4764 from ethereum/cbor-version 
Store compiler version in CBOR metadata
 2019-05-09 10:10:50 +02:00
Mathias Baumann 0abe00d393 [Sol -> Yul] Fix ForLoops and implement WhileLoops 2019-05-09 09:46:19 +02:00
Leonardo Alt 3d52a6ca68 [SMTChecker] Fix ICE in branch-inline function call-modify local variable 2019-05-09 09:15:11 +02:00
Leonardo Alt dcd6cb94bf Add function that retrieves first FunctionDefinition up the scope path 2019-05-09 09:15:11 +02:00
Daniel Kirchner a6a28ac475 Allow overwriting the release flag for tests and adjust test suite to CBOR metadata. 2019-05-08 22:21:50 +02:00
Alex Beregszaszi e121c8f3c7 Store compiler version in CBOR metadata 2019-05-08 22:21:50 +02:00
Leonardo Alt 9893cae27a [SMTChecker] Make mergeVariables deterministic 2019-05-08 20:46:01 +02:00
chriseth 4d460915f3 Merge pull request #6655 from ethereum/storageMappings 
[SolYul] Storage mappings
 2019-05-08 20:38:46 +02:00
Leonardo 241b6b4bae Merge pull request #6702 from ethereum/smt_fix_asgn_unsupported_type 
[SMTChecker] Fix unsupported type assignment
 2019-05-08 16:12:46 +02:00
chriseth 595544645e Mappings. 2019-05-08 15:54:52 +02:00
Leonardo Alt 0b046897ae [SMTChecker] Fix unsupported type assignment 2019-05-08 14:28:23 +02:00
chriseth b4d6f847b4 Events. 2019-05-08 13:29:11 +02:00
chriseth 5fb85a6118 Merge pull request #6662 from ethereum/msgSender 
Implement most trivial members.
 2019-05-08 13:28:43 +02:00
chriseth 6c9c54a657 Merge pull request #6657 from ethereum/smt_tuple_multi_decl 
[SMTChecker] Support tuples as multi var decl
 2019-05-07 17:55:36 +02:00
chriseth acca390ef5 Most trivial members. 2019-05-07 17:19:45 +02:00
chriseth b99ad2aaa3 Merge pull request #6639 from ethereum/yul-require-assert 
Yul generation of "require" and "assert"
 2019-05-07 16:59:37 +02:00