chriseth
|
e48d3e5847
|
Fix wording of error message.
|
2020-07-06 19:22:52 +02:00 |
|
chriseth
|
a09a791999
|
Merge pull request #9313 from ethereum/doesnt
[Trivial] Replace "doesn't" with "does not" in error message
|
2020-07-06 18:21:02 +02:00 |
|
chriseth
|
9009335b3f
|
Merge pull request #9319 from ethereum/noCalldataForConstructor
Constructors cannot have calldata parameters.
|
2020-07-06 17:58:23 +02:00 |
|
chriseth
|
c7b7542f73
|
Merge pull request #9318 from ethereum/wasm-drop
Rename drop to i64.drop in WasmDialect
|
2020-07-06 17:08:59 +02:00 |
|
chriseth
|
f372ba6fea
|
Constructors cannot have calldata parameters.
|
2020-07-06 16:52:51 +02:00 |
|
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 |
|
Mathias Baumann
|
8cdf14f1b3
|
Replace "doesn't" with "does not" in error message
|
2020-07-06 13:44:33 +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 |
|
chriseth
|
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 |
|