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,642 Commits 348 Branches 121 Tags
656364d967f5277aa0f07193486547097fcabd19
Commit Graph
2058 Commits
Author SHA1 Message Date
Erik Kundt 656364d967 Fixes Natspec parser error when whitespace is missing. 2019-05-10 10:53:32 +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
Leonardo Alt ef32bf185f [SMTChecker] Inline external function calls to this. 2019-05-09 16:53:30 +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
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
chriseth f61348728c Merge pull request #6704 from ethereum/abiEncodeV2Cleanup 
Add ABIEncoderV2 cleanup tests.
 2019-05-09 09:30:58 +02:00
Leonardo Alt 3d52a6ca68 [SMTChecker] Fix ICE in branch-inline function call-modify local variable 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
Daniel Kirchner 62dc8d0a87 Add ABIEncoderV2 cleanup tests. 2019-05-08 22:16:06 +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
chriseth 4037da9575 Merge pull request #6663 from ethereum/events 
Events
 2019-05-08 14:58:41 +02:00
chriseth 54a3116ab8 Merge pull request #6698 from ethereum/asmPrinterOneLine 
Format short blocks and loops on a single line.
 2019-05-08 14:46:02 +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 0532a8cef2 Format short blocks and loops on a single line. 2019-05-08 13:28:00 +02:00
chriseth 97f16421f5 Merge pull request #6692 from ethereum/runEndToEndTestsViaYul 
Run end to end tests via yul
 2019-05-08 12:49:45 +02:00
chriseth ed450a31a3 Merge pull request #6696 from ethereum/sol-yul-while 
Fix wrong test settings
 2019-05-08 12:48:57 +02:00
Mathias Baumann 85b67d3820 Fix wrong test settings 2019-05-08 10:46:38 +02:00
Daniel Kirchner 76b88bdfd8 Allow test cases to indicate fatal errors. 2019-05-07 18:12:21 +02:00
Daniel Kirchner 0a99519142 Move gas cost tests from command line tests to interactive gas cost tests. 2019-05-07 18:12:21 +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 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 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 c604481cef Logical operators. 2019-05-07 15:59: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
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
Erik Kundt 9956319e8b Adds support for string literals to soltest. 2019-05-07 11:36:38 +02:00
Leonardo Alt 2139c20776 [SMTChecker] Support delete 2019-05-06 18:32:10 +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
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