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
17,911 Commits 348 Branches 121 Tags
panic
Commit Graph
3164 Commits
Author SHA1 Message Date
chriseth 6d64095ccf Merge pull request #8987 from ethereum/sol-yul-bound-functions 
[Sol->Yul] Bound functions
 2020-05-25 16:53:33 +02:00
Mathias Baumann d45bb2aa07 Add proper unipmlemented errors for array copying 2020-05-25 10:48:42 +02:00
Leonardo Alt 0fda5fe077 [SMTChecker] Add test that has an unused mapping 2020-05-25 10:24:48 +02:00
Kamil Śliwak 4a2ce57bed Add support for bound function calls in IR generator 2020-05-20 21:10:20 +02:00
chriseth 74b9b094c0 Merge remote-tracking branch 'origin/develop' into HEAD 2020-05-20 17:22:47 +02:00
hrkrshnn 37257548d0 Fixed bug when two empty NatSpec comments led to scanning past EOL 2020-05-20 20:26:02 +05:30
hrkrshnn 4a001d568e Removed null members from JSON output 2020-05-20 16:56:33 +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
chriseth d422a406ba Merge pull request #8983 from ethereum/develop 
Merge develop into breaking.
 2020-05-19 18:05:28 +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
Djordje Mijovic bd64b971b9 Fixing tests on breaking branch. 2020-05-19 17:42:19 +02: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 993a7941b1 Merge remote-tracking branch 'origin/develop' into breaking 2020-05-14 17:24:40 +02: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
chriseth 257bc6a416 Merge remote-tracking branch 'origin/develop' into breaking 2020-05-14 13:04:46 +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