chriseth
f3bb7350f1
Fix tests.
2017-05-03 11:30:40 +02:00
chriseth
230f51efb7
Cleanup, style and additional test.
2017-05-03 11:26:21 +02:00
chriseth
e3ed3623c7
More strict tests.
2017-05-03 11:26:21 +02:00
chriseth
1f058ea92c
Revert changes to standard token.
2017-05-03 11:26:21 +02:00
chriseth
e0266b79f3
Refactor: Combine bool and function pointer.
2017-05-03 11:26:21 +02:00
Rhett Aultman
a6faa5acf3
Treat returns with expressions as return param use
...
There are many cases of code where the return parameters exist mostly
as a form of documentation. This change ensures that they do not have
to be used in the function body so long as there is a return supplying
values
2017-05-03 11:26:21 +02:00
Rhett Aultman
a40c8cfb68
Warn on unused local variables
...
Analyze functions for all local variables, parameters, and named
return variables which are never used in the function, and issue
a warning.
2017-05-03 11:26:21 +02:00
Alex Beregszaszi
c09f071ff6
Merge pull request #2211 from ethereum/jsonio-fixes
...
Follow the JSON I/O spec closely
2017-05-02 16:47:14 +01:00
Alex Beregszaszi
ed3ab3506a
Follow the JSON I/O spec closely
2017-05-02 16:52:38 +02:00
chriseth
acab525fef
Merge pull request #2199 from roadriverrail/no_unary_plus
...
Deprecate use of unary '+'
2017-05-02 16:43:47 +02:00
chriseth
084ab4123f
Merge pull request #2210 from ethereum/jsonio-remove-why3
...
Remove why3 from standard compiler
2017-05-02 16:43:15 +02:00
chriseth
1b15291af2
Merge pull request #2201 from FedericoCapello/patch-1
...
Update units-and-global-variables.rst (Typo)
2017-05-02 15:59:41 +02:00
Alex Beregszaszi
2871663cad
Remove why3 from standard compiler
2017-05-02 14:49:13 +01:00
chriseth
96870686a9
Style and stricter tests.
2017-05-02 15:48:58 +02:00
chriseth
f42a9a9408
Merge pull request #2198 from ethereum/conditionalCompilerStateReset
...
conditional reset of compilerState-Enum
2017-05-02 15:17:10 +02:00
chriseth
d8b76e1eca
Merge pull request #2172 from ethereum/docs-sar
...
Document how Solidity's SAR is different
2017-05-02 14:57:19 +02:00
chriseth
2891b98882
Merge pull request #2110 from federicobond/fix-posttypechecker
...
Fix PostTypeChecker retaining state across contracts
2017-05-02 12:12:46 +02:00
Alex Beregszaszi
f77f2123f0
Merge pull request #2203 from JohnAllen/develop
...
Correct form-from typo in layout-of-source-files.rst
2017-05-02 09:38:37 +01:00
Alex Beregszaszi
5aeb635205
Merge pull request #2200 from AdrianClv/develop
...
Adds Doxity to the Solidity Tools section
2017-05-02 09:37:00 +01:00
JohnAllen
daa8db81c8
Correct form-from typo in layout-of-source-files.rst
2017-05-01 14:00:27 -07:00
FedericoCapello
fabf15de9e
Update units-and-global-variables.rst
...
Consistency of explanation.
2017-05-01 20:05:25 +02:00
AdrianClv
4658c4f28b
Added Doxity in the Solidity Tools section
2017-04-29 17:22:01 +02:00
Rhett Aultman
e544698ad3
Deprecate use of unary '+'
...
The unary '+' serves no meaningful purpose in Solidity and it makes it
possible to produce typos with dagerous implications (e.g. 'a =+5 '),
so we are deprecating it. The SyntaxChecker currently issues warnings
on the unary '+' but will still compile it for now.
2017-04-28 17:43:19 -07:00
djuju
e9954eb325
conditional reset of compilerState-Enum
2017-04-28 18:46:27 +02:00
chriseth
f33614e1f7
Merge pull request #2171 from ethereum/splitParseAndAnalyze
...
refactoring parse() into two separate functions
2017-04-28 17:19:31 +02:00
djuju
a6306a1d44
error fixed
2017-04-28 16:20:32 +02:00
Paweł Bylica
fc3f40febe
Add warning about SAR in docs
2017-04-28 14:35:25 +01:00
djuju
45f8c5aa88
enumchecks not working
2017-04-28 15:24:59 +02:00
chriseth
f9bccab7b7
Merge pull request #2193 from ethereum/julia-assign-stack
...
Disallow assign from stack in Julia (=: var)
2017-04-27 22:00:33 +02:00
chriseth
6776be33a8
Merge pull request #2189 from ethereum/julia-instructions
...
Do not disallow EVM instructions as identifiers in Julia
2017-04-27 21:58:45 +02:00
Alex Beregszaszi
20206a04dd
Disallow assign from stack in Julia (=: var)
2017-04-27 19:20:53 +01:00
Alex Beregszaszi
8020144d06
Do not validate identifiers against EVM instructions in JULIA
2017-04-27 18:16:42 +01:00
Alex Beregszaszi
01b60a4f8d
Add flag for JULIA parsing
2017-04-27 18:16:42 +01:00
chriseth
3926e8704a
Merge pull request #2190 from ethereum/catch-asm-exceptions
...
Catch assembler exceptions and throw readable Solidity exceptions
2017-04-27 18:23:21 +02:00
chriseth
a8cf9f8178
Merge pull request #2183 from ethereum/fuzzer-jsonio
...
Add --standard-json option to solfuzzer
2017-04-27 18:10:28 +02:00
Alex Beregszaszi
28902f9f42
Add --standard-json option to solfuzzer
2017-04-27 16:47:42 +01:00
chriseth
3a93aec768
Make the fuzzer quiet
2017-04-27 16:47:39 +01:00
chriseth
99dd28d63e
Add constant optimizer testing to the fuzz tester.
2017-04-27 16:37:02 +01:00
Alex Beregszaszi
b0485e327b
Make assembler errors fatal
2017-04-27 16:34:57 +01:00
Alex Beregszaszi
2c8b770062
Merge pull request #2187 from ethereum/testOptimizer
...
Add recomputation check for number representation.
2017-04-27 16:26:08 +01:00
Alex Beregszaszi
16276ab10b
Catch assembler exceptions and throw readable Solidity exceptions
2017-04-27 16:06:49 +01:00
Alex Beregszaszi
8b79517d47
Do not validate identifiers against EVM instructions in JULIA
2017-04-27 14:12:48 +01:00
Alex Beregszaszi
b48bc81d40
Add flag for JULIA parsing
2017-04-27 14:12:43 +01:00
Alex Beregszaszi
0e91b8fb98
Do not use the member in checkRepresentation
2017-04-27 14:06:58 +01:00
chriseth
c1e14d0119
Use OptimizerException to report error
2017-04-27 14:06:29 +01:00
chriseth
54210ea89f
Add recomputation check for number representation.
2017-04-27 14:06:28 +01:00
Alex Beregszaszi
122dc65b36
Merge pull request #2188 from ethereum/docs-jsonio
...
Update the gasEstimates in JSON I/O
2017-04-27 13:59:50 +01:00
Alex Beregszaszi
cd29a0315d
Update the gasEstimates in JSON I/O
2017-04-27 13:37:51 +01:00
Alex Beregszaszi
abe77f48b6
Merge pull request #2184 from ethereum/julia-parentheses
...
Remove parentheses from around function return parameters
2017-04-27 13:09:39 +01:00
djuju
5fd7942173
documentation, checks and renaming
2017-04-27 12:56:56 +02:00
