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 |
|
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
|
4222ead28c
|
Merge pull request #9276 from ethereum/fixMergeConflict
Fix merge conflict resolution.
|
2020-07-01 12:46:01 +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 |
|
Bhargava Shastry
|
1a0391bceb
|
Fuzzer: Add a specialized StackTooDeepError Exception that is caught in the fuzzing harness
|
2020-07-01 11:08:20 +02:00 |
|
a3d4
|
acd42a08c1
|
Add a missing DocStringParser error to tests.
|
2020-07-01 04:42:37 +02:00 |
|
Bhargava Shastry
|
b82590322c
|
yul proto fuzzer: Remove assertion that no errors/warnings while parsing yul code
|
2020-06-30 21:46:38 +02:00 |
|
chriseth
|
d7899a31af
|
Fix merge conflict resolution.
|
2020-06-30 18:59:54 +02:00 |
|