Commit Graph

9944 Commits

Author SHA1 Message Date
sledrho
0da8f1e1e4 Updated StateVariableGrammar rule #3974 2018-04-23 10:04:43 +01:00
chriseth
2fae248dbe
Merge pull request #3957 from ethereum/deprecated-error
Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0)
2018-04-22 17:26:49 +02:00
Alex Beregszaszi
d674cde34c
Merge pull request #3964 from MatthewDLudwig/develop
Updated constructors and pragma solidity lines.
2018-04-20 23:43:45 +01:00
Matthew Ludwig
cf347745bd Updated constructors and pragma solidity lines.
Updated the Inheritance section of the docs in order to correct old constructor formats and update them to the new constructor() format.
2018-04-20 16:50:00 -04:00
Alex Beregszaszi
c8167a9acd
Merge pull request #3933 from ethereum/jsoncpp-cmake
Fixes jsoncpp compilation when it is also installed system-wide
2018-04-20 21:10:24 +01:00
Alex Beregszaszi
d224d6f98b CMake: require builtin jsoncpp headers over system wide headers 2018-04-20 20:40:05 +01:00
Alexander Arlt
70fcf1a8e0 CMake: remove direct jsoncpp dependency in libevmasm 2018-04-20 20:37:26 +01:00
Alex Beregszaszi
0493e3b053 Turn deprecated warnings for sha3/suicide into errors (experimental 0.5.0) 2018-04-20 17:40:48 +01:00
Alex Beregszaszi
edd20ebefb Extract syntax tests 2018-04-20 17:38:16 +01:00
Alex Beregszaszi
72b0412ef6
Merge pull request #3956 from ethereum/tight-pack-hash
Make literals an error for tight packing (experimental 0.5.0)
2018-04-20 17:32:50 +01:00
Alex Beregszaszi
65345162b4 Update tight packing test cases 2018-04-20 12:01:51 +01:00
Alex Beregszaszi
069ea38916 Make literals an error for tight packing (experimental 0.5.0) 2018-04-20 11:58:16 +01:00
chriseth
676732776e
Merge pull request #3943 from ethereum/smt_remove_branch_warning
[SMTChecker] Remove 'information is erase' message for if-else
2018-04-20 09:01:59 +02:00
chriseth
0f3284316d
Merge pull request #3924 from ethereum/optim-address-op
Remove unnecessary masking of the result of known short instructions
2018-04-20 08:57:00 +02:00
Alex Beregszaszi
2028960985
Merge pull request #3946 from ethereum/chriseth-patch-1
Clarify namespaces in coding style.
2018-04-20 00:07:05 +01:00
Alex Beregszaszi
38460d8b47 Remove unnecessary masking of the result of known short instructions 2018-04-19 23:59:06 +01:00
chriseth
27d7990684
Merge pull request #3954 from ethereum/release
Merge release back into develop.
2018-04-20 00:11:20 +02:00
chriseth
5f9c9a42ca
Merge pull request #3951 from ethereum/version0424
Set version to 0.4.24
2018-04-19 23:21:46 +02:00
chriseth
124ca40dc5
Merge pull request #3950 from ethereum/develop
Merge develop into release for 0.4.23
2018-04-19 19:24:01 +02:00
chriseth
7fb431ad7d
Merge pull request #3952 from ethereum/disableTestsOnTravisAgain
Disable tests on travis again.
2018-04-19 18:34:33 +02:00
chriseth
fb3f579ae2 Disable tests on travis again. 2018-04-19 18:32:52 +02:00
chriseth
0759206b11 Set version to 0.4.24 2018-04-19 17:50:13 +02:00
chriseth
3f7223759a
Merge pull request #3949 from ethereum/prepareRelease
Prepare 0.4.23 release.
2018-04-19 17:47:15 +02:00
chriseth
a79c9a1dfe Prepare 0.4.23 release. 2018-04-19 17:21:34 +02:00
chriseth
89c0f48194 Clarify namespaces in coding style. 2018-04-19 15:45:16 +01:00
chriseth
2546a274ca
Merge pull request #3941 from ethereum/bytes-contract
Disallow explicit conversion of bytesXX to contract
2018-04-19 16:10:15 +02:00
Alex Beregszaszi
754d79edfa Disallow explicit conversion of bytesXX to contract 2018-04-19 15:58:14 +02:00
chriseth
6f0fbcf8b4
Merge pull request #3940 from ethereum/remove-old-compiler-flags
Remove old error suppressing compiler flags
2018-04-19 14:25:46 +02:00
chriseth
6407f1f7bb
Merge pull request #3932 from ethereum/betterErrorForFailedLookup
Better error for failed lookup
2018-04-19 14:25:12 +02:00
Thomas Sauvajon
ae834e3dbe Correct the style of coding style 2018-04-19 10:32:48 +02:00
Leonardo Alt
ba3d16fc58 [SMTChecker] Remove 'information is erase' message for if-else 2018-04-19 09:28:44 +02:00
Alex Beregszaszi
d577f06ad8
Merge pull request #3928 from ethereum/removeZeppelinPatches
Remove Zeppelin patches.
2018-04-19 00:25:48 +01:00
Alex Beregszaszi
bff741b42f Remove obsolete warning supressions for clang 2018-04-18 23:15:16 +01:00
Alex Beregszaszi
b53156b039 Remove -fpermissive 2018-04-18 23:14:38 +01:00
chriseth
a94945dfe4 Improve error message for failed member lookup. 2018-04-18 22:56:45 +01:00
chriseth
17beac1e07 Extract tests. 2018-04-18 22:52:29 +01:00
Alex Beregszaszi
39b7b44a8d
Merge pull request #3923 from ethereum/warnConstructor
Warn about functions named "constructor".
2018-04-18 22:22:58 +01:00
Alex Beregszaszi
377254d5a8
Merge pull request #3922 from ethereum/smt_sol_unimplementedassert
[SMTChecker] Using solUnimplementedAssert instead of solAssert
2018-04-18 20:28:47 +01:00
chriseth
4895864302 Warn about functions named "constructor". 2018-04-18 21:23:09 +02:00
Alex Beregszaszi
cd17c37fe6
Merge pull request #3925 from ethereum/supportBionic2
Support ubuntu bionic source builds.
2018-04-18 18:38:05 +01:00
chriseth
e22929ebb8 Remove Zeppelin patches. 2018-04-18 18:14:45 +02:00
chriseth
64043ef970 Support ubuntu bionic source builds. 2018-04-18 17:15:26 +02:00
chriseth
85687a37eb
Merge pull request #3912 from ethereum/fixFallbackConstructor
Fix fallback constructor
2018-04-18 15:00:35 +02:00
chriseth
29a97f1641 Fix name clashes between constructor and fallback function. 2018-04-18 14:24:35 +02:00
chriseth
f510348ff1 Extract tests. 2018-04-18 14:24:35 +02:00
Leonardo Alt
78ba34608f [SMTChecker] Using solUnimplementedAssert instead of solAssert when applicable 2018-04-18 13:17:59 +02:00
Alex Beregszaszi
f925747050
Merge pull request #3840 from ethereum/smt_cvc4
[SMTChecker] Integration with CVC4
2018-04-17 14:35:47 +01:00
chriseth
4ff5ddad8e
Merge pull request #3919 from aj07/patch-2
Update README.md
2018-04-17 14:05:23 +02:00
ankit raj
1696c9f163
Update README.md 2018-04-17 17:01:06 +05:30
Leonardo Alt
ae3350ae03 [SMTChecker] Integration with CVC4 2018-04-17 12:26:58 +01:00