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
13,672 Commits 348 Branches 121 Tags
blockOutlining
Commit Graph
2918 Commits
Author SHA1 Message Date
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 701aed4beb Also run some end to end tests via yul. 2019-05-07 17:37:29 +02:00
chriseth e43df3b72a Move compile to cpp file. 2019-05-07 17:37:29 +02:00
chriseth acca390ef5 Most trivial members. 2019-05-07 17:19:45 +02:00
chriseth 815a272238 Merge pull request #6688 from ethereum/whiskersCond 
Conditionals for Whiskers
 2019-05-07 17:12:53 +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
Leonardo Alt 3c7540ceb2 [SMTChecker] Support tuples with multiple var decls 2019-05-07 16:57:27 +02:00
chriseth 133fd18223 Merge pull request #6660 from ethereum/shortCircuiting 
Short circuiting
 2019-05-07 16:55:12 +02:00
chriseth a4e8ca06df Merge pull request #6687 from ethereum/rely-on_flush 
TestFramework: Remove polling and use eth_flush instead
 2019-05-07 16:54:36 +02:00
chriseth a060dce9a8 Tests. 2019-05-07 16:48:00 +02:00
chriseth c604481cef Logical operators. 2019-05-07 15:59:35 +02:00
chriseth 055254847e Merge pull request #6659 from ethereum/comparisonOperators 
Comparison operators
 2019-05-07 15:46:21 +02:00
Mathias Baumann 473243ef31 TestFramework: Remove polling and use eth_flush instead 2019-05-07 14:45:59 +02:00
chriseth 2370eefa74 Merge pull request #6680 from ethereum/fixExp 
Fix interpreter exp bug.
 2019-05-07 12:39:35 +02:00
chriseth 3fa4c3da1e Comparison operations. 2019-05-07 12:35:05 +02:00
Mathias Baumann 7f14352bbf Yul generation of require and assert 2019-05-07 12:19:41 +02:00
chriseth ad817ac630 Tests for string literals. 2019-05-07 11:55:18 +02:00
chriseth 49b1ff76ae Test file reorganisation. 2019-05-07 11:55:07 +02:00
Erik Kundt 3a69a72eb9 Adds external ColonyNetworks tests. 2019-05-07 11:55:06 +02:00
chriseth e12da81899 Merge pull request #6672 from ethereum/soltest-string-literals 
[soltest] Add support for string literals
 2019-05-07 11:54:54 +02:00
chriseth 18bc82e6fd Fix interpreter exp bug. 2019-05-07 11:40:33 +02:00
Erik Kundt 9956319e8b Adds support for string literals to soltest. 2019-05-07 11:36:38 +02:00
chriseth a21f8a0b66 Merge pull request #6675 from ethereum/smt_delete 
[SMTChecker] Support delete
 2019-05-07 11:27:41 +02:00
Leonardo Alt 2139c20776 [SMTChecker] Support delete 2019-05-06 18:32:10 +02:00
chriseth f113f8e4a0 Implement datasize, dataoffset and datacopy for yul interpreter. 2019-05-06 16:59:47 +02:00
Leonardo e99efec085 Merge pull request #6652 from ethereum/smt_tuple_function 
[SMTChecker] Support tuples as function calls with multiple return values
 2019-05-06 15:19:24 +02:00
chriseth dee1c1109c Merge pull request #6668 from ethereum/smt_fix_short_circuit 
Fix short circuit with assignments
 2019-05-06 11:40:07 +02:00
chriseth 36c78baa41 Merge pull request #6646 from ethereum/storageAccess 
[Yul] Storage access for sol -> yul
 2019-05-06 11:33:36 +02:00
Leonardo Alt 80712f44cb Fix short circuit with assignments 2019-05-06 11:04:43 +02:00
Leonardo Alt 5440a53d4d [SMTChecker] Support tuples as function calls with multiple return values 2019-05-03 06:10:22 +02:00
Bhargava Shastry 2d1faf53be Reset loop state (to default) before interpreting for-loop post block 2019-05-02 22:22:19 +02:00
chriseth befadea0c6 Merge pull request #6600 from sifmelcara/wasm-dialect-transpiler 
Add a transformation that replace every u256 variable with four u64 variables
 2019-05-02 20:52:58 +02:00
mingchuan 57fc4fde85 Add wordSizeTransform yulOptimizerTests 2019-05-03 01:52:01 +08:00
chriseth c137455614 Merge pull request #6656 from ethereum/proto-add-terminating-opcodes 
[Proto fuzzer]: Add terminating opcodes
 2019-05-02 18:45:42 +02:00
chriseth 5bd3ed97bd Merge pull request #6649 from ethereum/smt_tuple_asgn 
[SMTChecker] Support tuple assignment
 2019-05-02 18:43:16 +02:00
chriseth e9f41d1148 Merge pull request #6604 from ethereum/library-self-delegatecall 
Error on library calling itself externally
 2019-05-02 17:25:25 +02:00
chriseth aa4d4afcdc LValues and state variables of value type. 2019-05-02 17:03:22 +02:00
chriseth dcca6f6318 Tests that compile via Yul have to use the Yul optimizer. 2019-05-02 17:02:05 +02:00
chriseth f5f0804c19 Merge pull request #6504 from ethereum/soltest-interactive-update 
[soltest] Improve interactive update routine
 2019-05-02 16:41:52 +02:00
Bhargava Shastry a5524983f9 [Proto fuzzer]: Add terminating opcodes 2019-05-02 15:34:26 +02:00
Leonardo Alt 204dcf1771 [SMTChecker] Support tuple assignments 2019-05-02 12:55:34 +02:00
chriseth 54775a7880 Merge pull request #6647 from ethereum/smt_tuple_decl 
[SMTChecker] Support tuple type declaration
 2019-05-02 12:49:50 +02:00
Erik Kundt 07744dbd12 Throws error on library calling itself externally. 2019-05-02 12:41:07 +02:00
chriseth d4c4a473d8 Merge pull request #6622 from ethereum/warn-this-super 
Issue warning for variables called `super` or `this`
 2019-05-02 12:38:53 +02:00
Leonardo Alt 6c7527ac90 [SMTChecker] Support tuple type declaration 2019-05-02 12:05:21 +02:00
chriseth 6b2dbbffe4 Merge pull request #6620 from ethereum/external-tests-abiv2 
Fix typo in external test commons
 2019-05-02 11:38:08 +02:00
Erik Kundt 672f874b54 Fixes typo in external test commons. 2019-05-02 11:33:11 +02:00
Mathias Baumann cf35e5ba02 Issue warning for variables called super or this 2019-05-02 11:30:24 +02:00
chriseth 73484ccaf2 Merge pull request #6640 from ethereum/smt_inherited_state_vars 
[SMTChecker] Fix ICE in inherited state var
 2019-05-02 10:49:34 +02:00
chriseth 2538bf897d Merge pull request #6645 from ethereum/add-blockchain-ops 
Support generation of calldata, code, extcode and returndata opcodes
 2019-05-02 10:47:54 +02:00