Commit Graph
100 Commits
Author SHA1 Message Date
chriseth 2e72bd163a Allow structs as part of function interfaces. 2017-09-16 12:12:43 +01:00
chriseth e0849f2f3b Split external identifier access into resolving and code generation. 2017-04-25 16:49:03 +02:00
chriseth 5d6747eb32 Refactor assembly analysis into scope filling and checking. 2017-04-25 16:49:03 +02:00
chriseth 72fdf755c9 Register functions. 2017-04-25 16:49:03 +02:00
chriseth ed5b63f553 A bit more time for mining. 2017-04-25 16:47:43 +02:00
chriseth dae5f7d350 Fix test script. 2017-04-25 16:47:43 +02:00
chriseth cc1d5e47f9 Do not install eth from PPA for CI. 2017-04-25 16:47:43 +02:00
chriseth 1caf1f0b8d Test using eth from docker. 2017-04-25 16:47:43 +02:00
chriseth 78c384b394 Remove release tag file. 2017-03-16 12:03:46 +01:00
chriseth a500581ab0 Bump version to 0.4.11. 2017-03-15 18:53:12 +01:00
chriseth 4d2f73c00d Finalize changelog. 2017-03-15 17:04:16 +01:00
chriseth 5a939c4e1a Correctly find contracts with other delimiters. 2017-03-15 12:07:59 +01:00
chriseth ab178b8bac Mention 'transfer' in warning about unchecked 'send'. 2017-03-15 11:10:24 +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 14196f2621 Allow long library names. 2017-03-14 11:58:43 +01:00
chriseth c65d506811 Documentation update. 2017-03-13 13:30:23 +01:00
chriseth bdbd3b158e Extend documentation for constant state variables. 2017-03-13 13:30:23 +01:00
chriseth 592cec7e90 Disallow constants that are neither value types nor strings. 2017-03-13 13:30:23 +01:00
chriseth 4077e56a2f Documentation. 2017-03-13 13:30:23 +01:00
chriseth fdc41f3b07 Changelog entry. 2017-03-13 13:30:23 +01:00
chriseth 14948e514d Allow enum values for constants. 2017-03-13 13:30:23 +01:00
chriseth 49cfacced2 End to end tests 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
chriseth bde913f088 Some new tests for constant variables. 2017-03-13 13:29:51 +01:00
chriseth 31a5e5bfef Do not overwrite files unless forced. 2017-03-10 19:23:43 +01:00
chriseth 864bfafbcd Test for (not) overwriting files. 2017-03-10 19:22:28 +01:00
chriseth c7d61a2c6a Changelog entry. 2017-03-08 12:42:24 +01:00
chriseth 93ef7fd260 Disallow compound assignment for tuples. 2017-03-08 12:42:07 +01:00
chriseth 276229cc58 Tests for no compound assignment for tuples. 2017-03-08 12:42:07 +01:00
chriseth 1324ebc4bf Warn about literal constant base in exponentiation. 2017-03-07 13:44:11 +01:00
chriseth 774cdb1135 Tests for warning about literal constant base in exponentition. 2017-03-07 13:43:51 +01:00
chriseth d3ab59dff6 Changelog entry. 2017-03-07 12:35:42 +01:00
chriseth bb06569dc6 Disallow octal literals. 2017-03-07 12:34:32 +01:00
chriseth efdfacaaec Changelog entry. 2017-03-06 15:05:09 +01:00
chriseth 5c5d83fd70 Check for circular references in constant variables. 2017-03-06 15:05:09 +01:00
chriseth d089a1ef2b Tests for cyclic dependencies between constants. 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 fe5f85ef34 Test for array singletons. 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 c89a579809 Test for uninitialized mapping. 2017-03-06 14:27:18 +01:00
chriseth a3cb69b14b Changelog entry. 2017-03-06 14:16:06 +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 0479f7f16c Test for trying to construct an inconstructible contract before its definition. 2017-03-06 14:12:42 +01:00
chriseth f521fd7b19 Mention way to remove warning. 2017-03-06 13:37:57 +01:00
chriseth eb363166ae Fix header. 2017-03-03 18:30:36 +01:00
chriseth 244b45e1ff Changelog entry. 2017-03-03 17:12:07 +01:00
chriseth ddc4918f36 Add upper bound for computing constants. 2017-03-03 16:51:37 +01:00
chriseth 05dac99922 Tests for optimizing constants. 2017-03-03 16:51:29 +01:00
chriseth f8ce32f2a6 Fix error message. 2017-03-03 15:41:02 +01:00
chriseth 8c1d949d1a Remove stack annotations from documentation. 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 c85f9257f8 Clarify stack height. 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 f4f82615b1 Updated documentation. 2017-03-03 15:41:01 +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 fd62adebf3 Tests for labels with stack information. 2017-03-03 15:41:01 +01:00
chriseth 6a9df162fd Changelog entry. 2017-03-02 14:34:06 +01:00
chriseth cc01d870ff Disallow variable declaration with inferred empty tuple type. 2017-03-02 14:33:58 +01:00
chriseth 2600fa0413 Test for declaring variable with empty tuple type. 2017-03-02 14:33:58 +01:00
chriseth b832b70e1b Changelog entry. 2017-03-01 16:09:19 +01:00
chriseth a689152c4b Convert reference types to pointers in member function conversion. 2017-03-01 16:02:36 +01:00
chriseth f35b70f3a3 Test case for external function type with calldata argument. 2017-03-01 15:53:24 +01:00
chriseth 9f1a67caa5 Some logging around account creation. 2017-03-01 11:32:29 +01:00
chriseth 4305ecb0e7 Try reading multiple times from IPC. 2017-02-25 00:11:26 +01:00
chriseth 41360ccd57 Script for filtering unique failures. 2017-02-24 19:33:05 +01:00
chriseth 9acfdb8044 Print full error on failure. 2017-02-24 19:32:44 +01:00
chriseth 8877d4a781 Compiler error is not a failure. 2017-02-24 19:32:44 +01:00
chriseth 7a24a5764e Add line info to serious exceptions. 2017-02-24 19:32:41 +01:00
chriseth de1317331f Changelog entry. 2017-02-24 08:25:01 +01:00
chriseth 46d3c2dd3d Print source location before items. 2017-02-24 08:24:34 +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 5cd01ab7d1 Test for unbalanced stack due to loading two values from outside. 2017-02-20 12:33:22 +01:00
chriseth 50894c6af8 Fix compiler warning. 2017-02-20 11:57:50 +01:00
chriseth d794d35e50 Also check imbalanced stack. 2017-02-20 11:42:23 +01:00
chriseth 354f92f813 Check error messages for assembly tests. 2017-02-17 16:39:51 +01:00
chriseth f66ebbc8e2 Report failures correctly to AFL. 2017-02-16 18:05:11 +01:00
chriseth 8be318e75b Include non-fuzzing fuzzer tests in commandline run. 2017-02-16 17:13:55 +01:00
chriseth f93f9fa3a0 Add executable for use with AFL. 2017-02-16 16:59:19 +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 e629cf5bc3 Test case. 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 01fcd989b5 More tests. 2017-02-16 10:18:16 +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 5e8a1e0ae6 Test for unicode string literals. 2017-02-15 15:21:11 +01:00
chriseth 24197a2b3f Assembly printing fixes. 2017-02-14 15:41:25 +01:00
chriseth 58849cb1d5 Tests for printing assembly. 2017-02-14 15:41:25 +01:00