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,511 Commits 348 Branches 121 Tags
988cc0a99d32841606c0bf244abeef8e8e32f660
Commit Graph
5685 Commits
Author SHA1 Message Date
chriseth 988cc0a99d Syntax for custom errors. 2021-02-11 14:10:40 +01:00
chriseth 1716dcfb57 Merge pull request #10950 from ethereum/removeChecks 
[SolYul] Remove (hopefully) unnecessary checks.
 2021-02-11 14:10:05 +01:00
chriseth 45dc705683 Remove unnecessary checks. 2021-02-11 13:08:03 +01:00
chriseth f4790971ae Add test. 2021-02-11 10:50:54 +01:00
Christian Parpart 9ca389d6cd MemberList.Member's last argument (declaration) made mandatory to avoid accidental missing out during construction. 2021-02-11 10:46:14 +01:00
chriseth cbb197f7fa Merge pull request #10833 from ethereum/ast-precise-name-locations 
Extend the Solidity AST for precise locations of names
 2021-02-11 10:44:58 +01:00
chriseth 70aa111dbf Update AST Json expectations. 2021-02-11 10:11:24 +01:00
Harikrishnan Mulackal 215233d5c8 Merge pull request #10945 from ethereum/constructor-modifier-bugfix 
Fix IR bug about calling the wrong modifier during construction
 2021-02-10 21:42:45 +01:00
hrkrshnn 2f30fdaa21 Fix IR bug about calling the wrong modifier during construction 2021-02-10 20:53:11 +01:00
Christian Parpart 32ba5f5ae7 libsolidity: Extend the AST for named AST nodes in order to get precise locations for names. 
The actual SourceLocation on an ASTNode is representing the whole
ASTNode whereas in an LSP (for example) you are also interested in the
SourceLocation of a name of a construct (e.g. variable decarlation, function definition, ...).

This also properly encodes non-existend sources as `-1` in the JSON output (eliminating the use of `numeric_limits<size_t>::max()`).
 2021-02-10 18:13:09 +01:00
Daniel Kirchner cb74a45fd6 Add inlining for old optimizer. 2021-02-09 19:08:58 +01:00
chriseth e777cad78a Merge pull request #10924 from ethereum/exportDocs 
Export statement documentation.
 2021-02-09 18:23:45 +01:00
chriseth fcdb5e0b40 Export statement documentation. 2021-02-09 17:33:01 +01:00
chriseth 2e699e8865 Merge pull request #10923 from ethereum/improve-error-reporting 
Improve error reporting
 2021-02-09 17:18:44 +01:00
hrkrshnn 8167029dc1 Updating tests after improving Yul error reporting 2021-02-09 16:55:33 +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
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
Bhargava Shastry 8843890785 Merge pull request #10902 from ethereum/unified-solc-fuzzer 
Unify solc fuzzers.
 2021-02-08 13:25:52 +01:00
Djordje Mijovic 706f5d9874 [Sol2Yul] Fixing setLValue for calldata types. 2021-02-08 12:42:10 +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 c7ee2c1f39 Clang tidy fixes in protoToYul.cpp. 2021-02-07 23:27:11 +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 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
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
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
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
Kamil Śliwak 67fe5fb145 prepare_report.py: Print some statistics about contracts and errors 2021-02-02 16:16:28 +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 4a7d494d3c Use Bash arrays for variables containing multiple space-separated values 2021-02-02 15:45:24 +01:00
Kamil Śliwak 27754d3e3d Quote stuff properly 2021-02-01 17:14:38 +01:00
Kamil Śliwak 566d49a1d1 Correct whitespace inside conditions 2021-02-01 17:03:05 +01:00
Martin Blicha a49950cdf3 [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
chriseth c7d1e1911e Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance 
[ewasm] Polyfill: balance, address.
 2021-02-01 16:19:23 +01:00
Leonardo Alt 545305a31f [SMTChecker] Fix super and virtual 2021-01-28 18:51:29 +01:00
chriseth 46bb81d7ae Merge pull request #10676 from ethereum/cli-bytecode-comparison 
Bytecode comparison via CLI interface
 2021-01-28 11:58:30 +01:00
Bhargava Shastry b5525668de Merge pull request #10855 from ethereum/clang-tidy-fixes-solgen 
Solidity fuzzer: Clang tidy suggested fixes in Solidity generator
 2021-01-28 10:28:50 +01:00
Martin Blicha deb90d84a6 [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +01:00
Bhargava Shastry 8e691293e4 ossfuzz: Clang tidy suggested fixes in Solidity generator 2021-01-27 14:55:49 +01:00
Kamil Śliwak 53f9a11440 prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode 2021-01-26 23:30:38 +01:00