Commit Graph

7613 Commits

Author SHA1 Message Date
chriseth
1aa0f77af9 Merge pull request #2139 from roadriverrail/warn_unused
Warn on unused local variables
2017-05-03 11:53:36 +02:00
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
chriseth
794a390c34 Fix keys for bugs.json. 2017-05-03 11:09: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
chriseth
b976d53e87 Add parentheses for readability. 2017-05-02 16:56:12 +02: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
d87eb97895 Add entry to bug list. 2017-05-02 12:22:11 +02:00
chriseth
5c4f3f6d0b Fix number representation bug. 2017-05-02 12:22:11 +02:00
chriseth
e2f00c96d5 Stricter tests for constant optimization. 2017-05-02 12:20:00 +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
28f10f4783 Remove error label / invalid jump label. 2017-04-28 13:14:52 +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