3580 Commits

Author	SHA1	Message	Date
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
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
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
chriseth	077cab0860	Merge pull request #8902 from a3d4/partfix-5819-add-more-error-ids ... Add error IDs to OverrideChecker, BMC and ContractLevelChecker	2020-05-12 13:22:42 +02:00
a3d4	02eee54f38	Add error IDs to ContractLevelChecker	2020-05-12 11:42:29 +02:00
a3d4	7cae074b8a	Add error IDs to BMC	2020-05-12 11:39:18 +02:00
a3d4	1d5350e32f	Add error IDs to OverrideChecker	2020-05-12 02:26:02 +02:00
Daniel Kirchner	b9c63e0032	Merge pull request #8894 from ethereum/dockerUbuntuFocal ... Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.	2020-05-12 00:52:21 +02:00
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	c1ed5bbb0f	Update Dockerfiles and CI scripts to Ubuntu 20.04 and simplify them.	2020-05-11 17:35:01 +02:00
chriseth	debee799dc	Merge pull request #8892 from ethereum/boost-cxx11 ... Replace boost/algorithm/cxx11 with C++11 features	2020-05-11 16:29:42 +02:00