Alex Beregszaszi
d30a6de942
Add better warning on binary operation on non-integer types in SMT Checker
2018-07-24 23:23:54 +01:00
Alex Beregszaszi
278372c13d
Add assert for both branches in mergeVariables in SMTChecker
2018-07-24 22:43:05 +01:00
Alex Beregszaszi
1dbf2d1923
Add comprehensive syntax tests for indexed access
2018-07-24 20:26:36 +01:00
Alex Beregszaszi
ae0959ae12
Merge pull request #4553 from ethereum/pragma-tests
...
Add syntax tests for unknown / invalid pragma
2018-07-24 19:58:35 +01:00
Alex Beregszaszi
3e17438c41
Add syntax tests for unknown / invalid pragma
2018-07-24 18:35:47 +01:00
Alex Beregszaszi
fc68d22ba4
Merge pull request #4544 from ethereum/code-coverage
...
Code coverage
2018-07-24 18:32:51 +01:00
Paweł Bylica
a1d3e72bb5
Circle CI: Upload coverage data
2018-07-24 17:12:42 +02:00
Paweł Bylica
807f7533d9
CMake: Add option COVERAGE
...
This also removed PROFILE option that also adds --coverage flag. Instead you can use -DCMAKE_EXE_LINKER_FLAGS=-lprofiler. The profiling options can be added back when better investigated (e.g. -lprofiler vs -pg options).
2018-07-24 17:12:41 +02:00
Paweł Bylica
1a64dd1d71
CMake: Better policy availability checking
...
It's better to use if(POLICY ...) and we don't have to check for CMake 3.0 because this is the minimal required version.
2018-07-24 17:07:11 +02:00
Paweł Bylica
cfef5ec6b2
CMake: Set CMP0043 to NEW
...
This avoids warning in CMake 3.0.2
2018-07-24 17:04:44 +02:00
Paweł Bylica
7cd00e3630
CMake: Set CMP0042 to NEW
...
This should not affect solidity, but with this setting all supported CMake version will use NEW policy are will be allowed to use RPATH on macOS.
2018-07-24 17:01:25 +02:00
Paweł Bylica
33e22dc8bb
CMake: Do not set CMP0020 because it's about Qt
2018-07-24 16:57:57 +02:00
Paweł Bylica
9b5d713c28
CMake: Do not use non-existing sanitizer blacklist
2018-07-24 16:53:33 +02:00
Paweł Bylica
47eede069f
CMake: Drop policy CMP0028 OLD
2018-07-24 16:51:32 +02:00
Paweł Bylica
721b7bbf70
Circle CI: Add full build dir to the workspace on Linux
2018-07-24 16:51:09 +02:00
Alex Beregszaszi
1dac6effed
Merge pull request #4550 from ethereum/fix_abidecode_comment
...
Fix abiDecode comment
2018-07-23 22:36:24 +01:00
Leonardo Alt
a2f03ea9e5
Fix abiDecode comment
2018-07-23 23:31:02 +02:00
Alex Beregszaszi
de90290c28
Merge pull request #4527 from ethereum/mappingEnforceStorage
...
Enforces explicit data location for mappings
2018-07-23 20:43:38 +01:00
Alex Beregszaszi
b3c8e14952
Merge pull request #4411 from ethereum/v050-functions-with-modifiers-no-impl
...
[BREAKING] Disallow functions without implementation to use modifiers.
2018-07-23 18:59:08 +01:00
Erik Kundt
c622a1e56c
Enforces data location of local mappings to storage.
2018-07-23 19:30:07 +02:00
Alex Beregszaszi
f887d51627
Merge pull request #4547 from ethereum/pullRequestTemplate
...
Fix pull request template
2018-07-23 17:42:25 +01:00
Erik Kundt
6241d95cd8
Reorders checklist in pull request template.
2018-07-23 18:40:15 +02:00
Christian Parpart
9f35f0b805
Disallow functions without implementation to use modifiers. This was already the case in the experimental 0.5.0 mode.
2018-07-23 17:29:08 +01:00
Erik Kundt
fccf50f78f
Fixes pull request template.
2018-07-23 18:14:41 +02:00
Alex Beregszaszi
0fcdafe2b5
Merge pull request #4546 from ethereum/pullRequestTemplate
...
Pull request template for GitHub
2018-07-23 17:01:47 +01:00
Alex Beregszaszi
79ddcc7680
Merge pull request #4453 from ethereum/codeOfConduct
...
Add Code Of Conduct
2018-07-23 17:00:02 +01:00
Erik Kundt
1e69896cd6
Adds Code Of Conduct.
2018-07-23 17:52:59 +02:00
Erik Kundt
8b16a7f8e8
Creates a pull request template for GitHub.
2018-07-23 17:24:32 +02:00
chriseth
beb66db66f
Merge pull request #4534 from ethereum/chriseth-patch-1
...
Do not handle `balance` member of contract types specially.
2018-07-20 13:45:43 +02:00
chriseth
9697b5886e
Merge pull request #4520 from ethereum/faq-reorg-index-tools
...
Move note on decompiling
2018-07-20 13:44:12 +02:00
chriseth
d3000e70b2
Merge pull request #4533 from ethereum/faq-typo
...
Fix typo
2018-07-20 11:12:02 +02:00
chriseth
3fa0ac5822
Do not handle balance member of contract types specially.
2018-07-20 10:50:05 +02:00
Chris Ward
14ea11fad0
Fix typo
2018-07-20 10:45:04 +02:00
chriseth
e3c2f20f6e
Merge pull request #4439 from ethereum/address_members
...
[BREAKING] Enforce address members not accessible by contract instance
2018-07-19 09:24:27 +02:00
Leonardo Alt
faa9c221d4
Changes in ExpressionCompiler
2018-07-18 19:51:24 +02:00
Erik Kundt
ccb5fccee5
Merge pull request #4215 from ethereum/constructorWorkaround
...
Disallow legacy constructor
2018-07-18 18:08:32 +02:00
Leonardo Alt
25fa1142bc
Removing tests that are not useful anymore
2018-07-18 14:52:16 +01:00
Erik Kundt
b0b35e1e6b
Adds warning if function is shadowing a contract.
2018-07-18 14:29:01 +02:00
Erik Kundt
de6cd2425b
Adjusts syntax tests to new constructor syntax.
2018-07-18 14:29:01 +02:00
Erik Kundt
182a0a9551
Disallows old constructor syntax.
2018-07-18 14:29:01 +02:00
Chris Ward
1aff040799
Move note on decompiling
2018-07-18 14:28:58 +02:00
Alex Beregszaszi
8cc675150e
Merge pull request #4345 from ethereum/docs-tests
...
Document the required cpp-ethereum commit hash
2018-07-18 13:18:31 +01:00
chriseth
b909df4573
Merge pull request #4430 from ethereum/enforceVisibilitySpecifier
...
[BREAKING] Enforce visibility specifier
2018-07-18 12:08:42 +02:00
Erik Kundt
8b827af5bf
Updates changelog to be more specific about visibility enforcement.
2018-07-18 12:03:25 +02:00
Alex Beregszaszi
4bd22399da
Keep the proper aleth hash in contributing.rst
2018-07-18 10:20:18 +02:00
Alex Beregszaszi
f351eb1b3c
Document the required cpp-ethereum commit hash
2018-07-18 10:20:08 +02:00
Erik Kundt
05d0e5c8fa
Adds comment about reasoning behind syntax test.
2018-07-17 20:06:07 +02:00
Erik Kundt
7d8b39ff4f
Removes obsolete syntax tests.
2018-07-17 19:30:15 +02:00
chriseth
dfd2fee91d
Suggests external for fallback and interface functions.
2018-07-17 18:07:36 +02:00
Erik Kundt
75bba5c9f0
Adjusts tests to expect type errors on default visibility.
2018-07-17 18:03:35 +02:00
