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
17,096 Commits 348 Branches 121 Tags
60d4b1e8ccb198cfab27b013df966d7ad51bcd2e
Commit Graph
17096 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Beregszaszi 60d4b1e8cc Rename drop to i64.drop in WasmDialect 
Also properly implement support for both i32.drop and i64.drop in BinaryTransform, TextTransform, and YulInterpreter
 2020-07-06 15:47:17 +01:00
chriseth 375cb09341 Merge pull request #9316 from ethereum/yul-cleanup-evm 
Tiny cleanups to EVMDialect in Yul
 2020-07-06 16:14:24 +02:00
Alex Beregszaszi 67ebb206ea Turn Instruction::JUMP* into yulAssert 2020-07-06 14:46:36 +01:00
Alex Beregszaszi 55e41b602a Explicitly check for jump instructions in EVMDialect 2020-07-06 14:46:24 +01:00
chriseth 083ef2d685 Merge pull request #9311 from a3d4/improve-large-variable-size-warning 
Add variable name to the "Variable covers ...." warning
 2020-07-06 15:31:33 +02:00
chriseth f11b0336ad Merge pull request #9300 from a3d4/introduce-errorcodes-next 
Introduce error_codes.py --next flag
 2020-07-06 15:17:30 +02:00
Leonardo 84d4b062a3 Merge pull request #9307 from ethereum/smt_reduce_resource_limit 
[SMTChecker] Decrease Z3 resource limit
 2020-07-06 14:15:07 +02:00
chriseth 64be079a26 Merge pull request #9309 from ethereum/fix-script-mismatched-docstrings-and-typos 
Fix a few mismatched docstrings and a typo in scripts/
 2020-07-06 14:01:37 +02:00
a3d4 5e4aeaa460 Add variable name to the "Variable covers a large part of storage ...." message 2020-07-06 13:49:09 +02:00
Alex Beregszaszi f0d256bfdb Add test case for jumpi in inline assembly 2020-07-06 10:41:35 +01:00
Leonardo Alt 27f0529b80 [SMTChecker] Decrease Z3 resource limit 2020-07-06 11:30:24 +02:00
chriseth 6e70aaf7ee Merge pull request #9310 from ethereum/get-nightly-version-script 
get_nightly_version.sh script
 2020-07-06 09:42:29 +02:00
Daniel Kirchner b9b24daa8a Merge pull request #9295 from ethereum/requireFLIR 
Require for loop init rewriter for SSA.
 2020-07-04 17:51:57 +02:00
Kamil Śliwak 67ea1931ee A script that generates version string for nightlies 2020-07-03 23:42:04 +02:00
Kamil Śliwak 9b2c197091 Fix a typo in yul_converage script docstring 2020-07-03 21:21:15 +02:00
Kamil Śliwak 51522f99c4 Fix mismatched docstrings in some of the scripts 2020-07-03 21:20:29 +02:00
chrisethandHarikrishnan Mulackal 711ed588d7 Require for loop init rewriter for SSA. 
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
 2020-07-03 19:24:31 +02:00
Alex Beregszaszi 0ac039e4ea Merge pull request #9305 from ethereum/yul-dot-tests 
Add Yul syntax tests for dots in identifiers
 2020-07-03 18:18:58 +01:00
Daniel Kirchner 8c5fce5b31 Merge pull request #9304 from ethereum/yul-assert 
Only use yulAssert and not solAssert in libyul
 2020-07-03 19:00:14 +02:00
Alex Beregszaszi 889131321a Merge pull request #9298 from ethereum/yul-evm-version-tests 
Use different error code for various EVM features in Yul
 2020-07-03 17:05:01 +01:00
a3d4 46bcac58eb Merge pull request #9187 from a3d4/fix-storagesizeestimate 
Fixed recursive check in structureSizeEstimate
 2020-07-03 17:35:11 +02:00
Alex Beregszaszi 4c7c7c0270 Only use yulAssert and not solAssert in libyul 2020-07-03 15:46:50 +01:00
Alex Beregszaszi 8b53f85e28 Add Yul syntax tests for dots in identifiers 2020-07-03 15:41:09 +01:00
a3d4 1c7a0dcbea Add warnings for oversized subtypes 2020-07-03 15:18:02 +02:00
Alex Beregszaszi 9a94b89c48 Update and add new tests for features of different EVM version 2020-07-03 14:08:09 +01:00
a3d4 e810d84a07 Introduce error_codes.py --next flag 2020-07-03 14:51:38 +02:00
Alex Beregszaszi 2e6cbd8718 Rename warnOnInstructions to validateInstructions 2020-07-03 12:35:22 +01:00
Alex Beregszaszi d211a45aa4 Use different error code for various EVM features in Yul 2020-07-03 12:35:22 +01:00
Daniel Kirchner c0ee566049 Merge pull request #9293 from ethereum/yul-restrict-linkersymbol-to-object-dialect 
[Yul] Restrict `linkersymbol` to object dialect and add missing changelog entries
 2020-07-03 11:37:21 +02:00
a3d4 4fcf0b489a Refactor error_codes.py to simplify generation of new error codes 2020-07-03 01:26:26 +02:00
Leonardo 8985a93b39 Merge pull request #9041 from ethereum/smt_summary_inputs 
[SMTChecker] Add current input variables to the function summary
 2020-07-02 19:34:41 +02:00
chriseth 3d96e2b11a Merge pull request #9257 from ethereum/yul-in-memory-struct-creation 
Yul: Implement memory struct allocation
 2020-07-02 17:03:46 +02:00
Mathias Baumann 50373ac1b0 Yul: Implement memory struct allocation 2020-07-02 16:37:20 +02:00
Leonardo Alt f97fa9b520 [SMTChecker] Add current input variables to the function summary 2020-07-02 15:30:29 +02:00
Kamil Śliwak c18c6e9319 Add missing changelog entries for linkersymbol and for long string literals in builtin parameters 2020-07-02 14:44:18 +02:00
Kamil Śliwak 356b9a7904 Restrict linkersymbol builtin to object dialect of Yul 2020-07-02 14:41:40 +02:00
chriseth b0bc747000 Merge pull request #9289 from ethereum/doc-jumpdest 
[DOCS] Added jumpdest to yul doc.
 2020-07-02 14:18:01 +02:00
Harikrishnan Mulackal 40322fa703 Added jumpdest to yul doc. 2020-07-02 16:49:10 +05:30
chriseth 2d64f53a39 Merge pull request #9265 from a3d4/improve-fixerrorids-script 
Add --examine-coverage to fix_error_ids.py
 2020-07-02 11:18:46 +02:00
Leonardo b19c1941b7 Merge pull request #8950 from ethereum/smt_external_calls 
[SMTChecker] Support to external calls to unknown code
 2020-07-02 10:05:08 +02:00
a3d4 c2e1273ff4 Fixed recursive check in structureSizeEstimate 2020-07-02 04:14:58 +02:00
a3d4 919572d6ec Add --examine-coverage to fix_error_ids.py 2020-07-01 21:41:31 +02:00
Leonardo Alt 5517e817d5 Do not trust code of external functions 2020-07-01 18:20:46 +02:00
Leonardo Alt 56e7d43384 Rename var 2020-07-01 18:20:34 +02:00
Leonardo Alt 5160f89c1b [SMTChecker] Support to external calls to unknown code 2020-07-01 18:20:33 +02:00
chriseth 1ec1166a27 Merge pull request #9277 from a3d4/improve-docstringparser-error-coverage 
Add a missing DocStringParser error to tests
 2020-07-01 18:17:09 +02:00
chriseth 3d602b3190 Merge pull request #9271 from ethereum/sloadKnowledge 
[Yul Optimizer] Make DataFlowAnalyzer aware of storage / memory slot after sload / mload
 2020-07-01 13:46:10 +02:00
chriseth e0b1d8b9bd Make DataFlowAnalyzer aware of storage / memory slot after sload / mload. 2020-07-01 13:45:25 +02:00
chriseth ea46636ad2 Merge pull request #9281 from ethereum/fix-6772 
Fuzzer: Add a specialized StackTooDeepError Exception that is caught …
 2020-07-01 11:47:35 +02:00
chriseth 9d6413df86 Merge pull request #9273 from ethereum/RemoveIncorrectYulFuzzAssertFailure 
yul proto fuzzer: Remove assertion that no errors/warnings while pars…
 2020-07-01 11:12:12 +02:00