chriseth
|
aea9e7fe54
|
Add tests for selectors for public variables.
|
2018-02-13 14:15:02 +01:00 |
|
chriseth
|
5916cf1e0a
|
Allow this.f.selector to be pure.
|
2018-02-13 11:00:59 +01:00 |
|
chriseth
|
729c6a95f8
|
Merge pull request #3425 from jevogel/3301
Deprecate the var keyword in SyntaxChecker
|
2018-02-13 08:40:41 +01:00 |
|
chriseth
|
a75d4ec60e
|
Merge pull request #2818 from ethereum/testGnosis
Also test gnosis contracts.
|
2018-02-13 08:38:55 +01:00 |
|
Alex Beregszaszi
|
4876842f69
|
Replace fixed-version pragmas in Gnosis
|
2018-02-12 23:26:07 +00:00 |
|
chriseth
|
9956d1dd7b
|
Also test Gnosis contracts.
|
2018-02-12 23:26:03 +00:00 |
|
chriseth
|
1e09d6ba7b
|
Test for Mod-And rule.
|
2018-02-12 22:47:04 +00:00 |
|
Alex Beregszaszi
|
954903b505
|
Merge pull request #3489 from ethereum/fixZepplein
Fix some weird zeppelin tests.
|
2018-02-12 22:44:13 +00:00 |
|
Alex Beregszaszi
|
573aa01fd2
|
Adjust tests for multiple errors with the var keyword
|
2018-02-12 22:39:42 +00:00 |
|
Alex Beregszaszi
|
3ddbf1617f
|
Do not use var where not neccessary in tests
|
2018-02-12 22:37:35 +00:00 |
|
chriseth
|
8795036919
|
Merge pull request #3479 from ethereum/multiError
Support searching inside multiple errors.
|
2018-02-12 22:20:58 +01:00 |
|
chriseth
|
2ce2f08742
|
Fix some weird zeppelin tests.
|
2018-02-12 21:17:58 +00:00 |
|
chriseth
|
676cf52264
|
Support searching inside multiple errors.
|
2018-02-12 16:41:31 +01:00 |
|
Alex Beregszaszi
|
69e2f497ba
|
Merge pull request #3474 from ethereum/circle2
Split emscripten circle job into build and test.
|
2018-02-12 10:13:27 +00:00 |
|
Federico Bond
|
75a3a707a2
|
Fix segfault with undeclared array types
|
2018-02-11 21:40:41 -03:00 |
|
chriseth
|
937f16afef
|
Handle version for solcjs tests.
|
2018-02-09 18:24:12 +01:00 |
|
chriseth
|
981ff308ec
|
Split solcjs and external tests.
|
2018-02-09 18:24:12 +01:00 |
|
chriseth
|
9b61fb2e99
|
Merge pull request #3456 from ethereum/simplifier
Use simplification rules also for IULIA
|
2018-02-08 16:50:17 +01:00 |
|
chriseth
|
9429e18dda
|
Fix tests for old precompiler.
|
2018-02-07 19:23:47 +01:00 |
|
chriseth
|
5523296eaa
|
Also apply simplification rules that require multiple identical sub-expressions.
|
2018-02-06 22:51:30 +01:00 |
|
chriseth
|
f7392cc698
|
Tests.
|
2018-02-06 22:51:30 +01:00 |
|
chriseth
|
9eea3f29ba
|
Expression simplifier.
|
2018-02-06 22:51:30 +01:00 |
|
chriseth
|
d7863e2054
|
Test about recursively calling functions.
|
2018-02-06 14:50:39 +00:00 |
|
chriseth
|
a7ae7c6d04
|
Tests for functional inliner.
|
2018-02-06 14:50:39 +00:00 |
|
chriseth
|
e7ef227226
|
Function inliner.
|
2018-02-06 14:50:33 +00:00 |
|
chriseth
|
4bd9bcbc77
|
Tests for inlinable function filter.
|
2018-02-06 14:48:47 +00:00 |
|
chriseth
|
c0abddc9dc
|
Test for self-referring assignment.
|
2018-02-06 12:58:51 +01:00 |
|
chriseth
|
669b63ca5f
|
Test not to remat if the expression is too large.
|
2018-02-06 12:38:32 +01:00 |
|
chriseth
|
773be40c19
|
Reassign test for remat.
|
2018-02-06 12:38:32 +01:00 |
|
chriseth
|
e100af592b
|
Fix for rematerializer.
|
2018-02-06 12:31:43 +01:00 |
|
chriseth
|
22c4d282aa
|
Only substitute if all referenced variables are in scope.
|
2018-02-06 12:31:43 +01:00 |
|
chriseth
|
30e6f69bfd
|
Tests for rematerialiser.
|
2018-02-06 12:31:43 +01:00 |
|
Alex Beregszaszi
|
33b27258e4
|
Add more tests for UnusedPruner
|
2018-02-06 10:15:41 +00:00 |
|
Alex Beregszaszi
|
2cbbe58281
|
Support variable declarations without assignment in UnusedPruner
|
2018-02-06 10:07:00 +00:00 |
|
chriseth
|
b0407cfac0
|
Unused variable and function remover.
|
2018-02-05 16:43:39 +00:00 |
|
Alex Beregszaszi
|
32300ea3ff
|
Merge pull request #3360 from federicobond/nonfatal-reference-errors
Replace some fatal errors when resolving references with normal ones
|
2018-02-04 13:07:55 +00:00 |
|
Federico Bond
|
aef9518039
|
Add more test cases for reference resolving error handling
|
2018-02-02 14:09:32 -03:00 |
|
Federico Bond
|
600e66e605
|
Replace some fatal errors when resolving references with normal ones
|
2018-02-02 14:09:32 -03:00 |
|
Alex Beregszaszi
|
b545987ec7
|
Issue warning for using public visibility for interface functions
|
2018-02-01 10:28:00 +00:00 |
|
chriseth
|
6807010dc7
|
Prevent libraries from being called.
|
2018-01-19 16:27:44 +01:00 |
|
Alex Beregszaszi
|
8b20a7cd53
|
Disallow non-functional instructions in parseExpression early
|
2018-01-10 14:16:46 +01:00 |
|
Alex Beregszaszi
|
42f8875770
|
Show restricted instruction warning before argument mismatch issue
|
2018-01-08 00:39:22 +00:00 |
|
chriseth
|
767052f2f7
|
Tests for strict mode.
|
2018-01-06 03:28:21 +00:00 |
|
chriseth
|
124190336b
|
Split inline assembly into loose and strict flavours.
|
2018-01-06 01:23:38 +00:00 |
|
chriseth
|
bca01f8f68
|
Merge pull request #3382 from ethereum/julia-identifier-parser
Support some restricted tokens (return, byte, address) as identifier in Julia
|
2018-01-06 00:02:21 +01:00 |
|
Alex Beregszaszi
|
a91393f4d7
|
Support some restricted tokens (return, byte, address) as identifiers in Julia
|
2018-01-05 15:53:49 +00:00 |
|
Alex Beregszaszi
|
9e7e312fdf
|
Properly support library file names containing a colon (such as URLs).
|
2018-01-05 13:24:07 +00:00 |
|
Leonardo Alt
|
d0abc5359b
|
[SMTChecker] Variables are merged after branches (ite variables)
|
2018-01-04 18:20:12 +01:00 |
|
chriseth
|
7f4cf00f1b
|
Provide easy way to update source location expectation.
|
2018-01-04 14:29:03 +01:00 |
|
Alex Beregszaszi
|
2cdd789b5d
|
Merge pull request #3297 from ethereum/separate_expression_and_statement
Separate expression and statement
|
2018-01-04 12:04:19 +00:00 |
|