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
19,475 Commits 348 Branches 121 Tags
fcdb5e0b405cfaf62926e94f3f8b7b05e0711d74
Commit Graph
19475 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth fcdb5e0b40 Export statement documentation. 2021-02-09 17:33:01 +01: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 MulackalandAlex Beregszaszi 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 ShastryandLeonardo 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
Kamil Śliwak 96fd9051ed prepare_report.py: Add --report-file option 2021-02-02 16:16:28 +01:00
Kamil Śliwak 7bebcb7871 prepare_report.js: Print ERROR in case of an exception during compilation instead of failing 
- Our v0.4.11 release raises an exception on some LLL snippets containing returnlll (extracted from its end-to-end tests).
- The report comparison will fail anyway because emscripten prints an abort code to stdout in that case but at least we'll be able to continue if we're comparing multiple versions.
 2021-02-02 16:16:14 +01:00
Kamil Śliwak 17fe96c4d0 prepare_report.py: Don't use --metadata option with compiler versions that do not support it 
- Before 0.4.3 the option was unavailable but ignored.
- Between 0.4.3 and 0.4.6 an attempt to use that option causes an error.
 2021-02-02 16:16:14 +01:00
Kamil Śliwak 49aede680b prepare_report.py: Add --force-no-optimize-yul flag to work around a bug in solc 0.6.0/0.6.1 2021-02-02 16:16:14 +01:00
Kamil Śliwak 7e48aeb848 prepare_report.py: Make parsing more lax to handle output from older compiler versions 2021-02-02 16:16:14 +01:00
Kamil Śliwak b06de9a2d5 prepare_report: Add command-line options for switching between SMT pragma stripping and only disabling the SMT checker 2021-02-02 16:16:14 +01:00
Kamil Śliwak cba6e6814b scripts/soltest.sh: Disable the warning about missing quotes around $DEBUGGER 
- There are ways to fix the warning properly but they're all less readable than this in my opinion.
 2021-02-02 15:45:24 +01:00
Kamil Śliwak 4a7d494d3c Use Bash arrays for variables containing multiple space-separated values 2021-02-02 15:45:24 +01:00