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
16,747 Commits 348 Branches 121 Tags
042dc965fa04f360f205b2c61370f11a4281f2ed
Commit Graph
2737 Commits
Author SHA1 Message Date
Mathias Baumann d45bb2aa07 Add proper unipmlemented errors for array copying 2020-05-25 10:48:42 +02:00
hrkrshnn 37257548d0 Fixed bug when two empty NatSpec comments led to scanning past EOL 2020-05-20 20:26:02 +05:30
Leonardo Alt 45eba27424 Rename namespace 2020-05-20 12:55:18 +02:00
Leonardo Alt 087605ea02 Create libsmtutil 2020-05-20 12:55:18 +02:00
chriseth 3c71412a47 Merge pull request #8988 from ethereum/isoltest_default_formatting 
[isoltest] Improve parameter formatting.
 2020-05-20 08:05:33 +02:00
Alexander Arlt 410986e00f [isoltest] Improve parameter formatting. 2020-05-19 19:13:39 -05:00
chriseth 22d5caa979 Merge pull request #8532 from aarlt/structured-docs-variables-aarlt 
Allow NatSpec comments for state variables
 2020-05-19 19:26:35 +02:00
Kamil Śliwak 16e80b7bcd Test case for internal dispatch with functions that have arguments that take up multiple slots 2020-05-19 18:02:14 +02:00
Alexander Arlt af8bb5fb60 Allow natspec comments on state variables. 2020-05-19 11:01:52 -05:00
Erik Kundt 7d37ed4531 Adds structured docs for variable declarations. 
- adds natspec generation for state variables.
- exports structured docs for state variables to JSON.
 2020-05-19 11:01:52 -05:00
chriseth f70ff0dfaa Merge pull request #8977 from ethereum/mapping-type-error 
Error when Mapping type in (non-local) storage is assigned to
 2020-05-19 16:52:54 +02:00
Harikrishnan Mulackal 774edd4670 Error when Mapping type in (non-local) storage is assigned to 2020-05-19 19:12:38 +05:30
chriseth 3b27b4347c Merge pull request #8916 from ethereum/smt_array_push_pop 
[SMTChecker] Support array push/pop
 2020-05-19 15:41:10 +02:00
chriseth 3211e22045 Merge pull request #8979 from ethereum/doc-json 
[Trival] Test: Output JSON AST as array when it involves multiple sources
 2020-05-19 15:29:24 +02:00
Djordje Mijovic d235d0c166 [Sol->Yul] Implementing Byte array push() and pop() 2020-05-19 14:47:00 +02:00
Mathias Baumann 5a7217b90e Test: Output JSON AST as array when it involves multiple sources 2020-05-19 14:26:08 +02:00
Leonardo Alt 1ab6ad79d8 Update test expectation 2020-05-18 16:59:31 +02:00
Leonardo Alt 2435ab938c Add verification target for empty pop 2020-05-18 16:35:56 +02:00
Leonardo Alt d4d26c02e4 Assume that push will not overflow 2020-05-18 16:35:56 +02:00
Leonardo Alt 07bb1952a7 Test updates 2020-05-14 23:32:30 +02:00
Leonardo Alt a0c605aa85 [SMTChecker] Support array length 2020-05-14 23:32:29 +02:00
chriseth 7ef114db9a Merge pull request #8841 from ethereum/sol_yul_ripemd160_ecrecover 
[Sol - Yul] Add support for ripemd160 & ecrecover.
 2020-05-14 18:43:55 +02:00
Alexander Arlt 91e9d54c71 [Sol - Yul] Add support for ripemd160 & ecrecover. 2020-05-14 10:44:39 -05:00
chriseth b71a3f1f1d Merge pull request #8939 from ethereum/updateZ3 
Update z3 to version 4.8.8.
 2020-05-14 16:36:49 +02:00
chriseth 1b86f27002 Merge pull request #8935 from ethereum/moveScopesIntoResolver 
Move scopes into resolver.
 2020-05-14 14:20:58 +02:00
Daniel Kirchner 0303902173 Update smt test expectations. 2020-05-14 14:12:01 +02:00
chriseth e751a1c23d Move scopes into resolver. 2020-05-14 13:16:47 +02:00
Djordje Mijovic 472fb21ee0 [Sol->Yul] Enabling new bytes(n) 2020-05-14 12:55:14 +02:00
chriseth 504b8d29c9 Merge pull request #8907 from ethereum/licenseIdentifier 
Check for SPDX license identifiers.
 2020-05-14 01:21:24 +02:00
chriseth 1700bdc4ad Merge pull request #8925 from ethereum/abiEncodeCalldataSlice 
Allow abi encoding array slices without casting.
 2020-05-13 18:55:16 +02:00
Daniel Kirchner 97296d8622 Allow ABI encoding for array slices without explicit casts. 2020-05-13 18:20:07 +02:00
Alexander Arlt af44c05f1a Add new test. 2020-05-13 18:16:59 +02:00
Alexander Arlt 52b9a92ff8 Update existing tests. 2020-05-13 18:16:59 +02:00
chriseth 3872a1f000 Add support for SPDX license identifiers. 2020-05-13 18:16:59 +02:00
Mathias Baumann 820fdd9bf7 Escape backslashes when formatting 2020-05-13 17:08:37 +02:00
chriseth e9446475bb Merge pull request #8924 from ethereum/arraySliceBug 
Fix array slice bug.
 2020-05-13 16:06:28 +02:00
Daniel Kirchner 6f04664cfa Disallow array slicing for arrays with dyanmically encoded base types. 2020-05-13 15:52:22 +02:00
chriseth aca700497c Merge pull request #8903 from ethereum/exponentiation-bug 
Fix exponentiation bug
 2020-05-13 15:49:23 +02:00
Harikrishnan Mulackal 47e9a13e8a Fix exponentiation bug 2020-05-13 13:53:06 +05:30
chriseth b2122d479f Merge pull request #8915 from a3d4/partfix-5819-remove-erroroccurred-flag 
Remove a dedicated error flag from DeclarationTypeChecker and other classes
 2020-05-12 20:18:33 +02:00
a3d4 02d1f8c41a Remove a dedicated error flag from DeclarationTypeChecker 2020-05-12 18:13:17 +02:00
chriseth 901b421bb8 Merge pull request #8910 from ethereum/natspec-return-bug 
Bug that ignored return tag when no other devdoc tags were present
 2020-05-12 16:47:07 +02:00
Harikrishnan Mulackal 095e17f7f9 Bug that ignored return tag when no other devdoc tags were present 2020-05-12 20:05:22 +05:30
Harikrishnan Mulackal c29d76f8f2 Test for function with value setting 2020-05-12 15:21:13 +05:30
Daniel Kirchner c2f5a66a79 Implement .creationCode for Sol->Yul. 2020-05-11 18:51:51 +02:00
Daniel Kirchner 3fbde6e782 Merge pull request #8856 from ethereum/implicitConstructorCallvalueCheck 
Implicit constructor callvalue check
 2020-05-11 18:50:36 +02:00
Daniel Kirchner 79b217dfb3 Callvalue checks for implicit constructors. 2020-05-11 16:14:34 +02:00
chriseth c0bf529236 Support bare calls. 2020-05-11 15:11:46 +02:00
chriseth 0248303c15 Merge pull request #8872 from ethereum/int-min-max 
implemented type(X).min and type(X).max for all integer types
 2020-05-11 15:08:19 +02:00
Harikrishnan Mulackal e4e200f29f Changelog and tests 2020-05-11 15:29:05 +05:30