Commit Graph
9943 Commits
Author SHA1 Message Date
Erik Kundt 896018c8a3 Treats inline array as an error. 2018-04-23 17:11:41 +02:00
Erik Kundt b2ff9bc88d Turns it into warning (error for 0.5.0) and adds Changelog entry. 2018-04-23 17:09:42 +02:00
Erik Kundt f2b58de92c Prevents null type from being used in tuple. 2018-04-22 16:54:33 +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 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
v0.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
Alex Beregszaszi 842fd0cd2c Merge pull request #3913 from ethereum/jsoncpp-version-assert
Add static_assert for the correct jsoncpp version
2018-04-17 12:05:59 +01:00