Commit Graph

8922 Commits

Author SHA1 Message Date
chriseth
364b4dea62 Add some asserts about calldata encoded size. 2017-10-04 13:19:57 +02:00
chriseth
a5fddc9c57 Debugging info in CompilerContext. 2017-10-04 13:18:33 +02:00
chriseth
fefdfc0711 Disable SMT tests on windows. 2017-10-04 12:48:23 +02:00
chriseth
30908415bf Merge pull request #3013 from ethereum/evmasm-cleanup
Cleanup instruction / gasmeter
2017-10-04 11:33:16 +02:00
chriseth
0c3888aba2 Merge pull request #3009 from ethereum/refactor-exception-what
Refactor Exception::what()
2017-10-04 11:30:07 +02:00
Alex Beregszaszi
d41011a0f6 Merge pull request #3011 from wadeAlexC/develop
Adds better error message for fractional array size expressions
2017-10-03 22:24:40 +01:00
wadeAlexC
73f17876e9 Better error message when using fractional number as array size expressions 2017-10-03 22:01:58 +01:00
Alex Beregszaszi
cfc4e5dde3 Merge pull request #2542 from federicobond/disallow-non-pure-constant
Disallow non-pure constant state variables (0.5.0)
2017-10-03 17:58:12 +01:00
Federico Bond
2b82352692 Disallow non-pure constant state variables in 0.5.0 2017-10-03 15:30:16 +01:00
Alex Beregszaszi
4d1c48eeee Remove duplicate EVMSchedule 2017-10-03 11:59:53 +01:00
Alex Beregszaszi
43719839bf Use isDup/SwapInstruction helper 2017-10-03 11:45:44 +01:00
Alex Beregszaszi
5c28458920 Merge pull request #2896 from ethereum/test-genesis
Format chainparams fields properly in tests
2017-10-03 11:35:51 +01:00
Alex Beregszaszi
9e101db45f Merge pull request #3012 from ethereum/lll-includes
LLL: do not crash if import callback is null
2017-10-03 11:35:31 +01:00
chriseth
e952946b22 Use byzantium version of eth. 2017-10-03 10:45:00 +01:00
Alex Beregszaszi
fe947006ff Format chainparams fields properly in tests 2017-10-03 10:45:00 +01:00
Alex Beregszaszi
ab206b8113 LLL: do not crash if import callback is null 2017-10-03 10:22:30 +01:00
Alex Beregszaszi
37365478c1 Merge pull request #3008 from ethereum/lll-include-callback
LLL: change (include) to use a callback
2017-10-02 22:54:36 +01:00
Alex Beregszaszi
26f3ea8cf7 LLL: change (include) to use a callback 2017-10-02 21:19:36 +01:00
Alex Beregszaszi
91b20b4bd2 Merge pull request #3005 from ethereum/lll-instruction
lll: do not expose push/dup/swap/jumpdest as functions
2017-10-02 20:47:31 +01:00
Alex Beregszaszi
e7a1e1abe7 Merge pull request #2997 from federicobond/duplicate-events
Emit error when declaring event with same name and arguments twice
2017-10-02 20:21:16 +01:00
Alex Beregszaszi
cbd4465a7f lll: do not expose push/dup/swap/jumpdest as functions 2017-10-02 16:21:21 +01:00
Paweł Bylica
931c0bcce3 Refactor Exception::what() 2017-10-02 16:49:45 +02:00
Alex Beregszaszi
e7cea2f684 Merge pull request #3006 from ethereum/exceptions
Always return a valid pointer in Exception::what()
2017-10-02 15:46:25 +01:00
Alex Beregszaszi
6cbb726fb8 Merge pull request #2622 from benjaminion/lll-switch
LLL: Implement a "switch" expression
2017-10-02 13:38:21 +01:00
Alex Beregszaszi
d010d6300c LLL: Add compiler tests 2017-10-02 12:44:34 +01:00
Alex Beregszaszi
2a8e965bb1 Merge pull request #3007 from ethereum/lll-better-errors
lll: better error reporting in some cases
2017-10-02 12:14:15 +01:00
benjaminion
cafc0885c4 LLL: Tests for the proposed switch expression. 2017-10-02 12:01:15 +01:00
benjaminion
326c7887a4 LLL: Implement a switch expression. 2017-10-02 12:01:15 +01:00
Alex Beregszaszi
c61610302a Merge pull request #3004 from ethereum/instr-helpers
Add helpers for isPush/isDup/isSwap
2017-10-02 11:51:44 +01:00
Alex Beregszaszi
cddfec27ee lll: better error reporting in some cases 2017-10-02 11:48:26 +01:00
Alex Beregszaszi
71aca8c86d Always return a valid pointer in Exception::what() 2017-10-02 11:41:47 +01:00
Alex Beregszaszi
8a32d7c3d7 Add helpers for isPush/isDup/isSwap 2017-10-02 10:34:54 +01:00
Federico Bond
1e7b6875b7 Extract duplicate function or event finding logic 2017-09-29 19:45:56 -03:00
Federico Bond
6d95447955 Emit error when declaring event with same name and arguments twice 2017-09-29 19:17:31 -03:00
Alex Beregszaszi
ba7c5d2305 Merge pull request #2939 from roadriverrail/error_unary_plus
Unary + now a synax error (experimental 0.5.0)
2017-09-29 18:20:39 +01:00
Rhett Aultman
e434437eb7 Unary + now a synax error (experimental 0.5.0)
The unary + was deprecated with a warning, but will be elevated to an
error in 0.5.0.  This adds the syntax error for the 0.5.0 pragma, and
for a true 0.5.0 release we should consider removing the operator from
the parser.
2017-09-29 17:50:25 +01:00
Alex Beregszaszi
466cce58df Merge pull request #2919 from ethereum/validate-array-length
Validate array length in type checker
2017-09-29 17:13:35 +01:00
Alex Beregszaszi
b1741b7735 Validate array length in type checker 2017-09-29 16:44:00 +01:00
Ilya Drabenia
5cded77821 Add solhint to list of tools.
Hello!

I develop linter that provide both security, style guide and best practices validations for Solidity users.

I will be glad if it will be useful for this community!
2017-09-29 18:03:40 +03:00
chriseth
3be37d15e0 Install libz3-dev from PPA if the distribution does not provide it. 2017-09-29 15:31:00 +02:00
chriseth
5028ccbe84 Tests for SMT checker. 2017-09-29 15:31:00 +02:00
chriseth
a1f3046647 Add SMT tests. 2017-09-29 12:44:39 +02:00
chriseth
5ee3ceaef7 Remove leftover couts. 2017-09-29 12:44:39 +02:00
chriseth
f3fe043cc1 Merge pull request #2989 from ethereum/filterMoreWarnigs
Allow frameworks to filter warnings.
2017-09-29 12:41:26 +02:00
chriseth
08effa0af5 More verbose error messages. 2017-09-29 12:05:45 +02:00
chriseth
9d8edb46f2 Allow test frameworks to filter out some warnings. 2017-09-29 12:05:45 +02:00
chriseth
b921846880 Merge pull request #2936 from ethereum/proper-address-overload-resolution
Fix overload resolution when conflict is with members of address
2017-09-29 10:23:56 +02:00
Alex Beregszaszi
d5d1a08b09 Pull out helper to apply address member to contract members 2017-09-28 14:54:15 +01:00
Alex Beregszaszi
aa6de49457 Simplify address overloading 2017-09-28 14:53:41 +01:00
Alex Beregszaszi
7cb4d714c7 Fix overload resolution when conflict is with members of address (balance, transfer, etc) 2017-09-28 13:57:19 +01:00