1818 Commits

Author	SHA1	Message	Date
chriseth	2546a274ca	Merge pull request #3941 from ethereum/bytes-contract ... Disallow explicit conversion of bytesXX to contract	2018-04-19 16:10:15 +02:00
Alex Beregszaszi	754d79edfa	Disallow explicit conversion of bytesXX to contract	2018-04-19 15:58:14 +02:00
chriseth	a94945dfe4	Improve error message for failed member lookup.	2018-04-18 22:56:45 +01:00
Alex Beregszaszi	39b7b44a8d	Merge pull request #3923 from ethereum/warnConstructor ... Warn about functions named "constructor".	2018-04-18 22:22:58 +01:00
Alex Beregszaszi	377254d5a8	Merge pull request #3922 from ethereum/smt_sol_unimplementedassert ... [SMTChecker] Using solUnimplementedAssert instead of solAssert	2018-04-18 20:28:47 +01:00
chriseth	4895864302	Warn about functions named "constructor".	2018-04-18 21:23:09 +02:00
chriseth	29a97f1641	Fix name clashes between constructor and fallback function.	2018-04-18 14:24:35 +02:00
Leonardo Alt	78ba34608f	[SMTChecker] Using solUnimplementedAssert instead of solAssert when applicable	2018-04-18 13:17:59 +02:00
Leonardo Alt	ae3350ae03	[SMTChecker] Integration with CVC4	2018-04-17 12:26:58 +01:00
chriseth	3d04d83297	Merge pull request #3868 from ethereum/bytescleanup ... Properly force-clean for shortening bytesXX conversions.	2018-04-16 15:23:36 +02:00
chriseth	533d08517f	Merge pull request #3793 from ethereum/rationalNumberLimit ... Rational number limit	2018-04-16 13:10:50 +02:00
Alex Beregszaszi	0201492bbf	Remove redundant cleanup for abi.encode.	2018-04-16 12:47:38 +02:00
chriseth	4c1d39b7a2	Properly force-clean for shortening bytesXX conversions.	2018-04-16 12:47:38 +02:00
Erik Kundt	33fbf88707	Limits rational numbers to 4096 bits.	2018-04-16 11:45:55 +02:00
chriseth	d8030c9b2a	Merge pull request #3880 from ethereum/addressMemberDocAndWarn ... Improve documentation and warning about accessing contract members in…	2018-04-16 11:05:05 +02:00
chriseth	95c49b367e	Merge pull request #3875 from ethereum/constructorSelfRef ... Stricter check for "this" in constructor.	2018-04-13 18:39:31 +02:00
Daniel Kirchner	05c5ab19fb	Improve documentation and warning about accessing contract members inherited from address.	2018-04-13 18:26:24 +02:00
Daniel Kirchner	be37e3a912	Stricter check for member access to "this" in constructor.	2018-04-13 15:57:13 +02:00
Erik Kundt	8935c0dd2f	Uses short string representation of TypePointer	2018-04-12 21:14:50 +02:00
chriseth	7054defdd6	Merge pull request #3364 from ethereum/revertWithReason ... Revert with reason	2018-04-12 21:01:08 +02:00
chriseth	44416d1ac6	Merge pull request #2980 from ethereum/abi-api ... Add abi.encode and abi.encodePacked	2018-04-12 20:55:03 +02:00
chriseth	75b8828666	Allow struct encoding with new encoder.	2018-04-12 16:37:16 +02:00
Daniel Kirchner	6862f22943	Fix internal compiler error when parsing `var` declaration without identifier.	2018-04-12 14:57:14 +02:00
chriseth	4faa839813	Use error signature for revert data.	2018-04-12 13:09:38 +02:00
chriseth	fcb7a27216	Only forward returndata if EVM version supports it.	2018-04-12 13:09:38 +02:00
chriseth	7a9ee69e98	Bubble up error messages.	2018-04-12 13:09:38 +02:00
chriseth	ae1d040285	Allow error string for `require`.	2018-04-12 13:09:37 +02:00
chriseth	012ab37fe3	Code generator for revert with reason string.	2018-04-12 13:09:37 +02:00
chriseth	8ab7dc036a	Register overload for `revert()` that can receive a reason string.	2018-04-12 13:09:37 +02:00
chriseth	f00bb43593	Allow function overloads involving MagicVariableDeclarations.	2018-04-12 13:09:37 +02:00
chriseth	17fc0f54b5	Use FunctionTypePointer (adds `const`).	2018-04-12 13:09:37 +02:00
chriseth	c3dc67d0e0	Merge pull request #3848 from ethereum/constantDivisionByZero ... Error on invalid arithmetic with constant expressions.	2018-04-12 11:49:08 +02:00
chriseth	7343c40283	Check partial function parameters if rest is arbitrary.	2018-04-12 00:10:25 +02:00
Alex Beregszaszi	d56acb68ab	Add abi.encode, abi.encodePacked, abi.encodeWithSelector and abi.encodeWithSignature.	2018-04-11 22:32:10 +02:00
chriseth	b5a696ad48	Properly cope with constructor headers.	2018-04-11 22:00:21 +02:00
chriseth	2ad1acaf72	Warn if modifiers are applied to functions without implementation.	2018-04-11 22:00:21 +02:00
chriseth	6d289783b4	Fix state variable parsing.	2018-04-11 22:00:04 +02:00
chriseth	ae3fca6db2	Merge pull request #3863 from ethereum/fixGasEstimation ... Correctly ignore costs of fallback for other functions.	2018-04-11 21:53:41 +02:00
Daniel Kirchner	daa69df447	Error on invalid arithmetic with constant expressions.	2018-04-11 21:17:10 +02:00
chriseth	928ce08845	Correctly ignore costs of fallback for other functions.	2018-04-11 19:42:34 +01:00
Daniel Kirchner	cb548f6f53	Fix ConstantEvaluator to correctly handle single element tuples.	2018-04-11 18:30:34 +02:00
chriseth	c9bdbcf470	Merge pull request #3309 from ethereum/limit-errors ... Limit the number of errors output in a single run to 256	2018-04-11 16:13:41 +02:00
Jason Cobb	3b7b962b66	Fix bug in typechecking when comparing rational literals	2018-04-11 12:03:08 +02:00
Daniel Kirchner	3eedbc6a9c	Error when using no parentheses in modifier-style constructor calls.	2018-04-10 12:09:34 +02:00
chriseth	b52614116e	Merge pull request #3821 from ethereum/warn-constructor-override ... Warn constructor override	2018-04-10 11:39:31 +02:00
hydai	aaa8edc36d	Fixed typos	2018-04-10 13:41:35 +08:00
Daniel Kirchner	549ba801fb	Use the most derived contract as main location in case of diamond inheritance.	2018-04-09 16:23:18 +02:00
Daniel Kirchner	b918a105a4	Move constructor argument override check to TypeChecker and reuse annotations in ContractCompiler.	2018-04-09 15:26:08 +02:00
Daniel Kirchner	b8fdb666e2	Allow duplicated constructor calls, if no arguments; support for multiple inheritance; backwards compatibility. ... # tmp	2018-04-09 15:26:05 +02:00
Federico Bond	4e037281ac	Error on duplicated super constructor calls	2018-04-09 11:22:35 +02:00