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
Alex Beregszaszi
010189d58e
Merge pull request #2986 from ethereum/fixsourcelocationofvariabledecsatement
...
Fix source location of VariableDeclarationStatement.
2017-09-28 13:50:23 +01:00
Zetherz
c6c3163c2a
Fixed code example ( #2955 )
2017-09-28 13:21:02 +01:00
chriseth
4d01d0865e
Merge pull request #2983 from ethereum/verboseAssembly
...
Better readable encoder assembly.
2017-09-28 13:18:34 +02:00
chriseth
639b85f498
Fix source location of VariableDeclarationStatement.
2017-09-27 19:27:36 +02:00
chriseth
58847dd062
Merge pull request #2985 from martriay/patch-1
...
Update contracts.rst
2017-09-27 19:24:29 +02:00
Martín Triay
ab4f97a80b
Update contracts.rst
...
Fixed web3 URL
2017-09-27 13:59:26 -03:00
chriseth
acd70557cc
Test encoder for empty structs.
2017-09-27 17:55:04 +02:00
chriseth
3ebe29a031
Better readable encoder assembly.
2017-09-27 15:59:59 +02:00
chriseth
2940964044
ABI encoder fixes and test.
2017-09-27 15:57:39 +02:00
Alex Beregszaszi
3f783c8dad
Merge pull request #2975 from ethereum/encode-memory
...
Split encodeToMemory into packedEncode and abiEncode
2017-09-27 13:04:37 +01:00
Alex Beregszaszi
a27b23bacb
Merge pull request #2979 from ethereum/globalcontext-simplify
...
Format GlobalContext for readability
2017-09-27 12:45:46 +01:00
Alex Beregszaszi
204214f070
Split encodeToMemory to packedEncode and abiEncode
2017-09-27 11:32:19 +01:00
chriseth
b19c2f26cf
Merge pull request #2972 from ethereum/cmake-cleanup-include-paths
...
CMake: Cleanup include paths
2017-09-27 12:24:30 +02:00
Alex Beregszaszi
0dda5eeca3
Order GlobalContext entries
2017-09-27 11:19:53 +01:00
Alex Beregszaszi
82673b7b3f
Format GlobalContext for readability
2017-09-27 11:19:53 +01:00
Alex Beregszaszi
a657d3b1a1
Make most of the parameters mandatory in encodeToMemory
2017-09-27 11:15:27 +01:00
chriseth
9c62647f19
Merge pull request #2978 from ethereum/infer-location
...
Report correct location for inferred types in packed encoding
2017-09-27 12:13:01 +02:00
chriseth
445e20a35b
Merge pull request #2976 from ethereum/fix-abi-check
...
Fix other test to use ABI_CHECK
2017-09-27 12:12:28 +02:00
chriseth
f9e43cf920
Merge pull request #2974 from ethereum/docs-abi-tight
...
Document packed ABI
2017-09-27 12:08:48 +02:00
chriseth
809d5ce128
Merge pull request #2973 from ethereum/address-160
...
Ensure that address types are always declared as 160bit
2017-09-27 12:04:51 +02:00
Alex Beregszaszi
dcb61352f6
Report correct location for inferred types in packed encoding
2017-09-27 10:21:24 +01:00
Alex Beregszaszi
9ea812598d
Fix other test to use ABI_CHECK
2017-09-27 00:50:35 +01:00
Alex Beregszaszi
a7592fa801
Document packed ABI
2017-09-26 22:48:49 +01:00
Alex Beregszaszi
ee65ecfb3b
Ensure that address types are always declared as 160bit
2017-09-26 22:46:33 +01:00
Paweł Bylica
ffd440ccff
CMake: Cleanup include paths
2017-09-26 22:44:57 +02:00
Alex Beregszaszi
6db13311dd
Merge pull request #2946 from ethereum/cmake
...
CMake: Add compiler warning about implicit fallthough
2017-09-26 21:00:36 +01:00
Paweł Bylica
5722f3083c
CMake: Add compiler warning about implicit fallthough
2017-09-26 14:21:01 +02:00
Alex Beregszaszi
eb5a6aacd9
Merge pull request #2961 from ethereum/fixEndToEndTestsInputs
...
Fix encoded EndToEnd inputs.
2017-09-26 12:09:47 +01:00
chriseth
af4d8779bb
Merge pull request #2934 from ethereum/fallthrough
...
Remove last two instances of switch fall-through
2017-09-26 11:38:22 +02:00
chriseth
95ec2fd0b6
Fix encoded EndToEnd inputs.
2017-09-25 19:33:38 +02:00
Alex Beregszaszi
a72237f275
Merge pull request #2954 from wadeAlexC/develop
...
Better message for unexpected trailing commas in parameter lists
2017-09-25 15:36:34 +01:00
