Commit Graph
4378 Commits
Author SHA1 Message Date
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 960b5fa032 Error constructor. 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 ca4e2933dd Strict checking for AST annotation types. 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 f8ce32f2a6 Fix error message. 2017-03-03 15:41:02 +01:00
chriseth 369005fc03 Remove stack annotations again. 2017-03-03 15:41:02 +01:00
chriseth 13fd569f76 First reset stack height, then register variables. 2017-03-03 15:41:02 +01:00
chriseth 455e8a4ef8 Move lambda. 2017-03-03 15:41:02 +01:00
chriseth 41236cd08c Slightly cleaner label ids. 2017-03-03 15:41:02 +01:00
chriseth e963405a19 Partially add functions. 2017-03-03 15:41:02 +01:00
chriseth 647473cf01 Generic visitor. 2017-03-03 15:41:02 +01:00
chriseth caa3761dc9 Refactor variable access. 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 7f2def8971 Analysis refactoring. 2017-03-03 15:41:01 +01:00
chriseth 98e343b3fc Parsing of labels with stack info. 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 5c411b472b Merge pull request #1728 from ethereum/externalfunctiontypes
Convert reference types to pointers in member function conversion.
2017-03-02 12:08:17 +01:00
chriseth a689152c4b Convert reference types to pointers in member function conversion. 2017-03-01 16:02:36 +01:00
chriseth 7a24a5764e Add line info to serious exceptions. 2017-02-24 19:32:41 +01:00
chriseth d2c79bf8e9 Merge pull request #1700 from ethereum/fixNoMobile
Some checks for the existence of mobile type.
2017-02-24 15:50:45 +01:00
chriseth 92bf5154fd Merge branch 'develop' into fixNoMobile 2017-02-24 10:39:55 +01:00
Alex Beregszaszi 4d290e551c Disallow setting .gas() on .transfer() 2017-02-24 00:27:36 +00:00
Alex Beregszaszi c674155e58 Do not keep the gas stipend if sending non-zero value 2017-02-24 00:18:18 +00:00
Alex Beregszaszi 81006dae98 Support gas modifier on addr.transfer() 2017-02-24 00:18:18 +00:00
Alex Beregszaszi 4264625c69 Implement address.transfer() 2017-02-24 00:17:45 +00: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 7bdc4ddab2 Merge pull request #1627 from ethereum/asmfunctions
Parsing assembly function definitions and calls.
2017-02-16 20:12:31 +01:00
chriseth 811bb770c5 Change effect of assert to invalid opcode. 2017-02-16 15:54:17 +01:00
chriseth c3c3cccbec Fix early exist for fatal errors. 2017-02-16 14:57:00 +01:00
chriseth dcc16c81e2 Some checks for the existence of mobile type. 2017-02-16 11:46:27 +01:00
chriseth a5ce81100e Assembly printer for functions. 2017-02-16 10:18:12 +01:00
chriseth 49a919b3e0 Parsing function calls. 2017-02-16 10:15:22 +01:00
chriseth 5d584aded8 Parsing function definitions. 2017-02-16 10:15:22 +01:00
chriseth 24197a2b3f Assembly printing fixes. 2017-02-14 15:41:25 +01:00
chriseth ca71b7624d Review changes. 2017-02-14 15:41:25 +01:00
chriseth 80f7243786 Assembly printer. 2017-02-14 15:41:25 +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 c8ec79548b Use the revert opcode in assert() 2017-02-10 22:53:32 +00:00
Alex Beregszaszi 586d156f33 Use the REVERT opcode for throw; 2017-02-10 22:41:09 +00:00
Alex Beregszaszi f3158f92d6 Support revert() 2017-02-10 22:40:42 +00:00