hrkrshnn
|
8167029dc1
|
Updating tests after improving Yul error reporting
|
2021-02-09 16:55:33 +01:00 |
|
Djordje Mijovic
|
993c8c0734
|
[Sol->Yul] Adding unimplemented assert for fixed point types on right shift.
|
2021-02-09 16:17:56 +01:00 |
|
hrkrshnn
|
5a21e33743
|
Improve error reporting for Yul parser errors
This makes debugging Sol2Yul codegen bugs slightly easier.
|
2021-02-09 15:40:25 +01:00 |
|
chriseth
|
3669137297
|
Merge pull request #10915 from nora-dunno/develop
Fix typo in Windows -DBoost_DIR specification
|
2021-02-09 15:35:09 +01:00 |
|
Mathias Baumann
|
e4f1257c83
|
Yul Backend: Get rid of heuristics for finding the matching runtime
|
2021-02-09 14:50:25 +01:00 |
|
Bhargava Shastry
|
4ff0069f41
|
Merge pull request #10913 from ethereum/refactor-solgen
Solidity fuzzer: Add test state.
|
2021-02-09 14:18:14 +01:00 |
|
Bhargava Shastry
|
75e7e1bee7
|
Consistent use of returns documentation tag.
|
2021-02-09 12:51:36 +01:00 |
|
Bhargava Shastry
|
896de75bcb
|
Solidity fuzzer: Add test state.
|
2021-02-09 12:49:35 +01:00 |
|
nora
|
e2c1aafedb
|
Fix typo in Windows -DBoost_DIR specification
|
2021-02-09 10:33:38 +02:00 |
|
chriseth
|
ec62d12319
|
Merge pull request #10909 from miohtama/patch-3
Small clean up on call stack section
|
2021-02-08 14:49:33 +01:00 |
|
Harikrishnan Mulackal
|
9e58a568a9
|
Fixed links in Docs
|
2021-02-08 14:30:09 +01:00 |
|
Harikrishnan Mulackal
|
47d5939dbd
|
Improved wording in documentation
|
2021-02-08 14:21:37 +01:00 |
|
Đorđe Mijović
|
4fd5643970
|
Merge pull request #10912 from ethereum/calldataLValueSol2Yul
[Sol->Yul] Check lvalue kind is stack in case of calldata.
|
2021-02-08 14:19:24 +01:00 |
|
Harikrishnan Mulackal
|
9a5a4dfc6c
|
Added a note about 63/64 rule
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2021-02-08 14:19:13 +01:00 |
|
chriseth
|
c82c2189d4
|
Merge pull request #10877 from ethereum/bash-arrays-for-arg-variables
Use Bash arrays for argument lists in shell scripts
|
2021-02-08 13:31:31 +01:00 |
|
Djordje Mijovic
|
e53feaedc4
|
[Sol->Yul] Check lvalue kind is stack in case of calldata.
|
2021-02-08 13:27:51 +01:00 |
|
Bhargava Shastry
|
8843890785
|
Merge pull request #10902 from ethereum/unified-solc-fuzzer
Unify solc fuzzers.
|
2021-02-08 13:25:52 +01:00 |
|
chriseth
|
8a876c8f79
|
Merge pull request #10911 from ethereum/fixedPointAssertionSol2Yul
[Sol->Yul] Adding unimplemented assert for fixed point type shifting.
|
2021-02-08 13:20:57 +01:00 |
|
chriseth
|
711671236a
|
Merge pull request #10910 from ethereum/calldataLValueSol2Yul
[Sol->Yul] Fixing setLValue for calldata types.
|
2021-02-08 13:17:58 +01:00 |
|
Djordje Mijovic
|
97e9829988
|
[Sol->Yul] Adding unimplemented assert for fixed point type shifting.
|
2021-02-08 13:13:19 +01:00 |
|
Djordje Mijovic
|
706f5d9874
|
[Sol2Yul] Fixing setLValue for calldata types.
|
2021-02-08 12:42:10 +01:00 |
|
Mikko Ohtamaa
|
f6b403581e
|
Small clean up on call stack section
Spelling, clarified what items go to the call stack and how any attack is executed
|
2021-02-08 12:17:53 +01:00 |
|
Bhargava Shastry
|
7e343987fc
|
Update solidity dictionary with TestReader syntax.
|
2021-02-08 11:16:11 +01:00 |
|
Bhargava Shastry
|
2f001bb91c
|
Unify solc fuzzers.
|
2021-02-08 11:14:38 +01:00 |
|
Bhargava Shastry
|
a39aae8604
|
Merge pull request #10907 from ethereum/yul-fuzzer-clang-tidy-fixes
Clang tidy fixes in protoToYul.cpp.
|
2021-02-08 10:34:18 +01:00 |
|
Bhargava Shastry
|
c7ee2c1f39
|
Clang tidy fixes in protoToYul.cpp.
|
2021-02-07 23:27:11 +01:00 |
|
chriseth
|
2fb27884ff
|
Merge pull request #10860 from ethereum/clarifyStorageLayout
Clarify storage layout.
|
2021-02-04 16:26:48 +01:00 |
|
chriseth
|
61b5e8e8fe
|
Clarify storage layout.
|
2021-02-04 16:26:30 +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
|
8a414d3fab
|
Merge pull request #10838 from ethereum/solc-bin-bytecode-comparison-pr-check-scripts
Bytecode comparison PR scripts for solc-bin
|
2021-02-04 11:40:56 +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 |
|
Kamil Śliwak
|
887f27fbbf
|
Merge pull request #10897 from DragonDev1906/patch-1
Fix formatting in "Implicit Conversions"
|
2021-02-04 02:41:47 +01:00 |
|
DragonDev1906
|
17b0289696
|
Fix formatting in "Implicit Conversions"
|
2021-02-03 23:00:04 +01:00 |
|
Kamil Śliwak
|
800c338534
|
Scripts for generating and comparing bytecode reports for solc-bin binaries
|
2021-02-03 19:15:52 +01:00 |
|
Bhargava Shastry
|
1a949e5323
|
Merge pull request #10856 from ethereum/add-import-stmt-generator
Solidity fuzzer: Add import stmt generator
|
2021-02-03 18:56:11 +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 |
|
Leonardo
|
43ce5d3f79
|
Merge pull request #10884 from blishko/smt-refactor
[SMTChecker] Small refactoring
|
2021-02-03 17:26:53 +01:00 |
|
Bhargava Shastry
|
0a59bd825b
|
Solidity fuzzer: Add simple import statements.
Co-authored-by: Leonardo <leo@ethereum.org>
|
2021-02-03 17:03:57 +01:00 |
|
Martin Blicha
|
4bcdac71df
|
[SMTChecker] updates to the tests
|
2021-02-03 15:53:58 +01:00 |
|
Martin Blicha
|
d99256aae7
|
[SMTChecker] refactoring of resetting storage variables
|
2021-02-03 15:53:58 +01:00 |
|
Martin Blicha
|
f1013427a7
|
[SMTChecker] refactoring the accessing the encoding state
|
2021-02-03 15:53:58 +01:00 |
|
chriseth
|
8a4e6acdac
|
Merge pull request #10680 from ethereum/more-features-in-prepare-report
More features in prepare_report.py
|
2021-02-03 11:51:51 +01:00 |
|
Leonardo
|
d393624384
|
Merge pull request #10585 from ethereum/fix-quoting-and-whitespace-in-shell-scripts
Fix quoting in shell scripts
|
2021-02-03 11:27:40 +01:00 |
|
Leonardo Alt
|
665ce27c18
|
Fix inheritance bug in CHC cex
|
2021-02-02 18:06:32 +01:00 |
|
chriseth
|
358324ed3e
|
Merge pull request #10679 from ethereum/backwards-compatibility-for-bytecode-comparison
Backwards compatibility for bytecode comparison
|
2021-02-02 16:59:03 +01:00 |
|
Kamil Śliwak
|
67fe5fb145
|
prepare_report.py: Print some statistics about contracts and errors
|
2021-02-02 16:16:28 +01:00 |
|
Kamil Śliwak
|
4576b1ec89
|
prepare_report.py: --exit-on-error option
|
2021-02-02 16:16:28 +01:00 |
|
Kamil Śliwak
|
acaab18a0a
|
prepare_report.py: More information on stdout, with verbosity control
|
2021-02-02 16:16:28 +01:00 |
|