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 |
|