142 Commits

Author	SHA1	Message	Date
chriseth	c126edc6ea	Disallow uninitialized mapping variables.	2017-03-06 14:27:18 +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	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
Yoichi Hirai	399b7b695a	analysis: fix format	2017-01-23 15:25:13 +01:00
Yoichi Hirai	846f7dc3ea	analysis: Resolve event overloading	2017-01-23 15:25:13 +01:00
Yoichi Hirai	08015590f2	analysis: Allow multiple events of the same name ... Fixes #1215	2017-01-23 15:25:13 +01:00
chriseth	0ef460461a	Check if constructor is public or not.	2017-01-20 19:22:39 +01:00
chriseth	23a654ade8	Fix default function type name visibility.	2017-01-19 11:11:40 +01:00
Yoichi Hirai	7fea4b7360	analysis: use Declaration::functionType() in another location	2017-01-11 19:55:55 +01:00
Yoichi Hirai	eda147f47b	ast: add Declaration::functionType()	2017-01-11 19:55:50 +01:00
Yoichi Hirai	0216f34010	analysis: avoid emscripten build failure	2017-01-11 18:28:11 +01:00
Yoichi Hirai	91d4e8e0ba	analysis: changes necessary to compile std/StandardToken.sol	2017-01-11 18:28:11 +01:00
Yoichi Hirai	42b6726173	analysis: allow some shadowings explicitly	2017-01-11 18:28:11 +01:00
Yoichi Hirai	bff76c1ca0	analysis: report errors when inheritance causes collision	2017-01-11 18:28:11 +01:00
Federico Bond	de720e643d	Improve error message when trying to modify constant variables	2016-12-13 00:32:37 -03:00
Federico Bond	05139500fb	Warn about using msg.value in non-payable function	2016-12-08 16:22:13 -03:00
VoR0220	3f9f725737	Fix licensing headers ... Signed-off-by: VoR0220 <rj@erisindustries.com>	2016-11-23 12:22:33 +01:00
chriseth	22b4d1b29a	Check that no internals are used in any external function type.	2016-11-16 14:37:18 +01:00
chriseth	925d674146	Disallow payable internal functions.	2016-11-16 14:37:18 +01:00
chriseth	cc8583ec7d	Function types.	2016-11-16 14:37:17 +01:00
Yoichi Hirai	6c15757618	Type checker: move the burden of computing mobile type to commonType ... This solves #621	2016-11-11 15:51:54 +01:00
chriseth	762f7ac250	Suggest correct version for pragma and complain about pre-release version.	2016-10-25 13:45:50 +02:00
chriseth	2f7c847ce4	Merge pull request #1279 from ethereum/semver-helper ... Export major/minor/patch helpers on SemVerVersion	2016-10-25 13:20:08 +02:00
Alex Beregszaszi	7a988555c3	Export major/minor/patch helpers on SemVerVersion	2016-10-25 12:13:41 +01:00
chriseth	e00a4b47c0	Merge pull request #1264 from ethereum/988 ... State variable under contract's name	2016-10-25 12:50:24 +02:00
Yoichi Hirai	59f6c18c2b	analysis: determine if a member access on a contract is an l-value	2016-10-24 19:31:57 +02:00
chriseth	f25aa0c68b	More checks for missing mobile type.	2016-10-24 16:45:25 +02:00
Alex Beregszaszi	0dd75ac100	Use warning function in TypeChecker	2016-10-20 13:25:28 +01:00
Alex Beregszaszi	d18e56661d	Disallow unsupported RValues in inline assembly	2016-10-19 20:44:15 +01:00
Alex Beregszaszi	9616470f67	Disallow magic variables in inline assembly	2016-10-19 20:44:15 +01:00
Yoichi Hirai	7ae68e1e47	Fix pragma keyword check ... Fixes #1192	2016-10-11 00:00:22 +02:00
Alex Beregszaszi	34df80c502	Add alias keccak256() for sha3()	2016-10-06 16:34:41 +02:00
chriseth	031fd568cc	Fix crash for TypeName[k].	2016-09-15 18:16:34 +02:00
Alex Beregszaszi	7af8ecc27a	Constructor must be internal or public	2016-09-06 17:53:13 +02:00
Alex Beregszaszi	319ec34093	Reject constant constructors	2016-09-06 17:31:29 +02:00
Alex Beregszaszi	6ec40b3cde	Reject constant modifier on the fallback function	2016-09-06 11:40:00 +01:00