175 Commits

Author	SHA1	Message	Date
chriseth	937695bfdc	Change error message.	2017-04-21 15:04:03 +02:00
chriseth	9bc9fe6af7	Warn about side-effect free statements.	2017-04-21 11:36:38 +02:00
chriseth	4792806b99	Fix: Contract inheriting from base with unimplemented constructor is abstract.	2017-03-21 18:12:08 +01:00
chriseth	5ced3af3a0	Visit structs only once.	2017-03-21 15:05:59 +01:00
Alex Beregszaszi	96c09fcbcd	Simplify interface checks for FunctionDefinition	2017-03-17 17:07:20 +00:00
Alex Beregszaszi	2067a00f22	Disallow private or internal functions in interfaces	2017-03-17 17:07:18 +00:00
Alex Beregszaszi	d5102c1db7	Disallow constructor in interfaces	2017-03-17 17:06:52 +00:00
Alex Beregszaszi	2c4bce2d62	Disallow enums in interfaces	2017-03-17 17:06:52 +00:00
Alex Beregszaszi	16a91ef90a	Use declared instead of defined	2017-03-17 17:06:52 +00:00
Alex Beregszaszi	4693aed177	Reject invalid definitions for interface contracts	2017-03-17 16:27:04 +00:00
Alex Beregszaszi	3ae88377d6	Change references to FunctionType::Location	2017-03-16 12:49:52 +00:00
chriseth	ab178b8bac	Mention 'transfer' in warning about unchecked 'send'.	2017-03-15 11:10:24 +01:00
Yoichi Hirai	d134fda0c0	Merge pull request #1729 from ethereum/constantvariables ... Only allow pure expressions for constant state variables.	2017-03-15 10:03:35 +01:00
chriseth	9f328ff749	Turn non-constant constants error into warning.	2017-03-14 19:25:16 +01:00
chriseth	47cd8964b8	Require and Assert.	2017-03-14 14:21:33 +01:00
chriseth	592cec7e90	Disallow constants that are neither value types nor strings.	2017-03-13 13:30:23 +01:00
chriseth	14948e514d	Allow enum values for constants.	2017-03-13 13:30:23 +01:00
chriseth	f39763e91c	Type checking for pure expressions.	2017-03-13 13:30:21 +01:00
Yoichi Hirai	ef8b56a058	Merge pull request #1751 from ethereum/warnLiteralExpBase ... Warn if base of exponentiation operation is a literal.	2017-03-10 19:25:47 +01:00
Ryan Casey	797e05ba08	Resolve build-stopping error about 'minor' and 'major' being defined in <sys/types.h>	2017-03-09 17:03:19 -08:00
Yoichi Hirai	e364909e06	Merge pull request #1747 from ethereum/fixICEInternalConstructor ... Move privateness of constructor into AST itself.	2017-03-08 17:49:14 +01:00
chriseth	3f9a775834	Merge pull request #1748 from ethereum/singletonArray ... Use mobile type for singleton array.	2017-03-08 16:11:03 +01:00
chriseth	93ef7fd260	Disallow compound assignment for tuples.	2017-03-08 12:42:07 +01:00
Yoichi Hirai	a1e350a4ae	Merge pull request #1699 from ethereum/asmlabels ... Assembly labels with stack information	2017-03-08 11:56:44 +01:00
chriseth	1324ebc4bf	Warn about literal constant base in exponentiation.	2017-03-07 13:44:11 +01:00
chriseth	a2ac05e1a2	Merge pull request #1733 from ethereum/selfReferentialConstant ... Detect cyclic dependencies between constants.	2017-03-06 17:18:39 +01:00
chriseth	2fcccb97d3	Merge pull request #1737 from ethereum/localmappings ... Disallow uninitialized mapping variables.	2017-03-06 15:05:58 +01:00
chriseth	5c5d83fd70	Check for circular references in constant variables.	2017-03-06 15:05:09 +01:00
chriseth	c500d9f717	Convert to mobile type for array type.	2017-03-06 14:42:28 +01:00
chriseth	c126edc6ea	Disallow uninitialized mapping variables.	2017-03-06 14:27:18 +01:00
chriseth	f300bdb020	Move public constructor property into AST itself.	2017-03-06 14:12:42 +01:00
chriseth	f521fd7b19	Mention way to remove warning.	2017-03-06 13:37:57 +01:00
Yoichi Hirai	cfbbd89daf	Merge pull request #1702 from ethereum/assertError ... Change effect of assert to invalid opcode.	2017-03-03 18:25:50 +01:00
chriseth	455e8a4ef8	Move lambda.	2017-03-03 15:41:02 +01:00
chriseth	25dcfa3480	Refactor CodeGen to recurse on blocks.	2017-03-03 15:41:01 +01:00
chriseth	cc01d870ff	Disallow variable declaration with inferred empty tuple type.	2017-03-02 14:33:58 +01:00
chriseth	4b1e8111cc	Remove assert for now.	2017-02-23 19:43:40 +01:00
chriseth	c0961664f9	Deposit one stack item for non-value types in inline assembly type checking.	2017-02-20 12:33:22 +01:00
chriseth	c3c3cccbec	Fix early exist for fatal errors.	2017-02-16 14:57:00 +01:00
chriseth	a791ec75e2	Review comments.	2017-02-14 13:32:48 +01:00
chriseth	b1bb228ab3	Allow different entry scope for registerDeclarations.	2017-02-14 13:23:44 +01:00
chriseth	e67faa9839	Extract scopes into compiler stack.	2017-02-14 13:23:44 +01:00
chriseth	c87bafd2ed	Refactor type system to allow multiple entry points.	2017-02-14 13:23:44 +01:00
chriseth	fc8e50f688	Refactor NameAndTypeResolver and SyntaxChecker to allow other entry points.	2017-02-14 13:23:44 +01:00
Alex Beregszaszi	f3158f92d6	Support revert()	2017-02-10 22:40:42 +00:00
Alex Beregszaszi	f8461e9e31	Implement assert as a global function	2017-02-10 13:29:17 +00:00
Alex Beregszaszi	697db80b48	Disallow arrays with negative length	2017-02-02 00:24:45 +00:00
chriseth	1316bb7565	Warn about invalid checksums of addresses.	2017-01-24 23:37:48 +01:00
chriseth	b52a60402d	Merge pull request #1245 from ethereum/1215 ... Allow multiple events of the same name	2017-01-24 11:52:21 +01:00
Yoichi Hirai	4e1fd68b38	analysis: disallow overloading functions with events	2017-01-23 15:25:13 +01:00