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,212 Commits 348 Branches 121 Tags
errtype
Commit Graph
3742 Commits
Author SHA1 Message Date
Leonardo 56b5f1bb12 Merge pull request #8976 from ethereum/libsmtutil 
libsmtutil
 2020-05-20 16:14:37 +02:00
chriseth 678a801daf Merge pull request #8921 from a3d4/partfix-5819-remove-erroroccurred-flag-continued 
Remove a dedicated error flag from DeclarationTypeChecker and other classes, continued
 2020-05-20 13:23:37 +02:00
chriseth 84092edc5d Merge pull request #8914 from random-internet-cat/down-with-unique-ptr 
Down with unique_ptr!
 2020-05-20 13:22:06 +02:00
Leonardo Alt 0eb067ae4f Add SMTLogicError exception catches 2020-05-20 13:18:33 +02:00
Kamil Śliwak 6c6a8a74e8 IRGenerationContext: Extract code for enumerating dispatchable functions from generateInternalDispatch() into a separate function 2020-05-20 13:16:08 +02:00
Leonardo Alt 7a91c9b971 Remove Type from SolverInterface 2020-05-20 12:55:19 +02:00
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
Kamil Śliwak bd75543900 Add IRNames::internalDispatch() and use it in IRGenerationContext 2020-05-20 12:48:49 +02:00
Kamil Śliwak 22c0568d34 IRGenerationContext::internalDispatch(): Remove unused local YulUtilFunctions instance 2020-05-20 12:46:32 +02:00
Kamil Śliwak 7d2292fbaf Rename IRGenerationContext::internalDispatch() to generateInternalDispatchFunction() 2020-05-20 12:46:31 +02:00
a3d4 6bb177ce77 Remove dedicated error flags from DocStringParser and DocStringAnalyser 2020-05-20 04:17:49 +02:00
a3d4 6dbf23d52a Remove a dedicated error flag from ReferencesResolver 2020-05-20 04:08:32 +02:00
Kamil Śliwak 1a521cc7ac Use YulArity in IR generator 2020-05-19 23:03:21 +02:00
Kamil Śliwak 16e58449ab ir/Common: Add YulArity struct 2020-05-19 23:03:15 +02: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
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
Kamil Śliwak b0ae85b6b0 IRGenerationContext::internalDispatch(): Don't use asCallableFunction() to get internal function type 2020-05-19 18:00:50 +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 3275243c89 Merge pull request #8898 from mijovic/sol2YulByteArrayPush 
[Sol->Yul] Implementing ByteArray push() and pop()
 2020-05-19 15:28:01 +02:00
Djordje Mijovic d235d0c166 [Sol->Yul] Implementing Byte array push() and pop() 2020-05-19 14:47:00 +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 82db35e563 [SMTChecker] Support array push/pop 2020-05-18 16:33:34 +02:00
Jason Cobb 20c8851f43 Use optional for CompilerStack::Contract source mappings 2020-05-18 10:24:38 -04:00
chriseth f92a4f1965 Provide runtime object in Yul mode. 2020-05-18 13:48:23 +02:00
Kamil Śliwak 465e4d4088 Extract more functions for generating function and variable names into IRNames 2020-05-15 14:51:00 +02:00
Leonardo Alt a0c605aa85 [SMTChecker] Support array length 2020-05-14 23:32:29 +02:00
Kamil Śliwak 7af7273b60 Move static functions for constructing names from IRGenerationContext into the new Common module 2020-05-14 19:48:00 +02:00
chriseth 2d1e7d9504 Merge pull request #8931 from random-internet-cat/lazy-init 
Add LazyInit
 2020-05-14 18:54:19 +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
Jason Cobb eae31559be Use LazyInit for CompilerStack::Contract members 2020-05-14 10:39:53 -04:00
Jason Cobb cffd1eaff1 Use LazyInit for ContractDefinition::m_interfaceFunctionList 2020-05-14 10:32:01 -04:00
Jason Cobb 413fa92cee Use LazyInit for ContractDefinition::m_interfaceEvents 2020-05-14 10:29:29 -04:00
Jason Cobb 0e26700f65 Use LazyInit for MemberList::m_storageOffsets 2020-05-14 10:29:26 -04:00
chriseth 1b86f27002 Merge pull request #8935 from ethereum/moveScopesIntoResolver 
Move scopes into resolver.
 2020-05-14 14:20:58 +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
Daniel Kirchner 97296d8622 Allow ABI encoding for array slices without explicit casts. 2020-05-13 18:20:07 +02:00
chriseth 3872a1f000 Add support for SPDX license identifiers. 2020-05-13 18:16:59 +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