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
21,741 Commits 348 Branches 121 Tags
newCodegen2
Commit Graph
4259 Commits
Author SHA1 Message Date
chriseth fcdb5e0b40 Export statement documentation. 2021-02-09 17:33:01 +01:00
hrkrshnn 8167029dc1 Updating tests after improving Yul error reporting 2021-02-09 16:55:33 +01:00
Djordje Mijovic 706f5d9874 [Sol2Yul] Fixing setLValue for calldata types. 2021-02-08 12:42:10 +01:00
chriseth d4ce896582 Merge pull request #10886 from ethereum/issue-10874 
OverrideSpecifier: Check for null before dereferencing
 2021-02-04 14:12:07 +01:00
Mathias Baumann 3a8a74cbc7 OverrideSpecifier: Check for null before dereferencing 2021-02-04 13:17:28 +01:00
Daniel Kirchner 5faefdea65 Merge pull request #10893 from ethereum/string2BytesSol2Yul 
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
 2021-02-04 10:33:40 +01:00
Djordje Mijovic 530435439d [Sol->Yul] Fixing string calldata to bytes calldata conversion. 2021-02-04 09:30:19 +01:00
Leonardo 7405dc5b7f Merge pull request #10836 from ethereum/smt_fix_cex_inheritance 
Fix inheritance bug in CHC cex
 2021-02-03 18:49:25 +01:00
Martin Blicha 4bcdac71df [SMTChecker] updates to the tests 2021-02-03 15:53:58 +01:00
Leonardo Alt 665ce27c18 Fix inheritance bug in CHC cex 2021-02-02 18:06:32 +01:00
Martin Blicha a49950cdf3 [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
chriseth c7d1e1911e Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance 
[ewasm] Polyfill: balance, address.
 2021-02-01 16:19:23 +01:00
Leonardo Alt 545305a31f [SMTChecker] Fix super and virtual 2021-01-28 18:51:29 +01:00
Martin Blicha deb90d84a6 [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +01:00
Martin Blicha 484e67815a [SMTChecker] Basic support for inline assembly using over-approximating analysis 2021-01-26 16:20:50 +01:00
chriseth 4697beeab2 Merge pull request #10769 from ethereum/allocationCleanup 
Cleanup allocation.
 2021-01-26 11:58:11 +01:00
Leonardo 22ad64a0fd Merge pull request #10845 from ethereum/smt_z3_4-8-10 
Update smtCheckerTests for z3 4.8.10
 2021-01-26 11:37:03 +01:00
hrkrshnn 133bc72970 Tests and changelog for <address>.code.length shortcut 2021-01-26 11:08:39 +01:00
Leonardo Alt 40221a90c4 Update smtCheckerTests for z3 4.8.10 2021-01-26 10:18:52 +01:00
hrkrshnn ec57c791ef Fix infinite loop when accessing circular constants from inline assembly. 2021-01-26 09:22:05 +01:00
Mathias Baumann 07a1d230cd Fix missing error when accessing unintialized variables. 2021-01-25 14:44:15 +01:00
Kamil Śliwak 4ad0b4338a Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/ 2021-01-25 11:17:06 +01:00
Leonardo Alt a612daa783 Add msgvalue to cex 2021-01-21 19:05:44 +01:00
Leonardo a75b87c80e Merge pull request #10813 from ethereum/smt_targets_option 
Add CLI and JSON option to select SMTChecker targets
 2021-01-20 18:37:08 +01:00
chriseth bbd29b24ab Update tests. 2021-01-20 18:25:27 +01:00
chriseth 3cc07694ed Cleanup allocation. 2021-01-20 18:25:27 +01:00
Leonardo Alt 3b23cadbdc Add CLI and JSON option to select SMTChecker targets 2021-01-20 17:35:37 +01:00
chriseth 60cb8726f1 Enable test. 2021-01-20 14:02:35 +01:00
chriseth aad7297b58 Merge pull request #10818 from ethereum/explainDisabled 
Enable via yul or explain why disabled.
 2021-01-20 14:01:09 +01:00
Alexander Arlt f928107181 [ewasm] Polyfill: balance & address: Update Tests. 2021-01-19 13:04:45 -05:00
Alexander Arlt 87e3fbee6c [ewasm] Polyfill: balance & address. 2021-01-19 13:03:40 -05:00
Leonardo 0b023b893e Merge pull request #10817 from ethereum/splitShiftBytesTest 
Split shift bytes test.
 2021-01-19 16:16:45 +01:00
chriseth 06d19a9203 Enable via yul or explain why disabled. 2021-01-19 16:12:53 +01:00
chriseth 1fcc76a562 Fix empty packed encoder. 2021-01-19 15:50:04 +01:00
chriseth 52511a2163 Split shift bytes test. 2021-01-19 14:55:18 +01:00
chriseth 9caf671607 Merge pull request #10808 from ethereum/uninitializedInternal 
Update expectations for uninitialized internal function.
 2021-01-19 13:02:33 +01:00
chriseth c3d3415207 Update expectations for uninitialized internal function. 2021-01-19 12:37:30 +01:00
Leonardo 9bde92ca20 Merge pull request #10807 from ethereum/fixIRReasonStrings 
Properly omit require revert strings in IR code generator if requested.
 2021-01-19 10:31:15 +01:00
Leonardo 957e9995a0 Merge pull request #10801 from blishko/issue-10793 
[SMTChecker] Gather local variables also from nested try/catch clauses
 2021-01-18 22:37:16 +01:00
chriseth 185e129657 Merge pull request #10776 from ethereum/fixABIEncoderWithSignature 
Fix abi encode with signature shortcut.
 2021-01-18 19:07:56 +01:00
chriseth a3ee334b42 Omit require revert strings in IR code generator. 2021-01-18 18:47:55 +01:00
Martin Blicha 35d228d9b6 [SMTChecker] Gather local variables also from nested try/catch clauses 2021-01-18 18:30:18 +01:00
chriseth 87a68feea1 Merge pull request #10653 from ethereum/spdx-tests 
Add more tests for the SPDX-License-Identifier
 2021-01-18 18:05:25 +01:00
Leonardo Alt c7ca87c012 Fix static virtual resolution 2021-01-18 16:23:38 +01:00
Kamil Śliwak f0cb181545 Even more license tests 2021-01-18 16:17:06 +01:00
Alex Beregszaszi 0a3084abc0 Add metadata tests for SPDX-License-Identifier 2021-01-18 16:17:06 +01:00
Kamil Śliwak baf530c484 Test helper for license metadata tests 2021-01-18 16:17:06 +01:00
Kamil Śliwak 5677211471 SyntaxTest::filterObtainedErrors(): Remove hard-coded preamble to match changes in setupCompiler() 2021-01-18 16:17:06 +01:00
Alex Beregszaszi 6f1f0c5bbc Do not insert SPDX identifier if already present in SyntaxTest 2021-01-18 16:15:17 +01:00
Alex Beregszaszi 5bbb017915 Add more tests for the SPDX-License-Identifier 2021-01-18 16:15:17 +01:00