Commit Graph

10311 Commits

Author SHA1 Message Date
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
chriseth
2be2988817
Merge pull request #3906 from ethereum/updateSecuryt
Update security considerations.
2018-04-17 12:19:22 +02:00
chriseth
d1e8acaf1a
Merge pull request #3894 from ethereum/releaseNotes
Update release checklist.
2018-04-17 12:08:55 +02:00
chriseth
1e55ec71a7 Update release checklist. 2018-04-17 12:06:21 +02:00
chriseth
3710fb59f0 Update security considerations. 2018-04-17 12:04:36 +02:00
Alex Beregszaszi
0bf3db3fcf Add static_assert for the correct jsoncpp version 2018-04-17 11:03:19 +01:00
chriseth
0304582cbf
Merge pull request #3898 from ethereum/reEnableTestsOnTravisDevelop
Enable travis tests when run by daily cron.
2018-04-17 11:42:29 +02:00
chriseth
08b0ed4116
Merge pull request #3905 from ethereum/reportCmdline
Report failed commandline tests.
2018-04-17 10:36:13 +02:00
chriseth
4d1467eee2 Enable travis tests on develop branch. 2018-04-17 09:32:32 +02:00
chriseth
5499db01ee
Merge pull request #3903 from ethereum/addBionic
Support ubuntu bionic.
2018-04-17 08:55:18 +02:00
chriseth
6c055691a7
Merge pull request #3902 from ethereum/release
Merge release back into develop.
2018-04-17 08:55:01 +02:00
chriseth
797ce727bb Report failed commandline tests. 2018-04-17 08:53:52 +02:00
chriseth
76cde90098
Merge pull request #3901 from ethereum/newVersion
Set version to 0.4.23
2018-04-17 08:47:54 +02:00
chriseth
6a747ed229 Support bionic. 2018-04-17 07:56:10 +02:00
chriseth
3c24d64be5 Set version to 0.4.23 2018-04-17 07:55:35 +02:00
chriseth
4cb486ee99
Merge pull request #3892 from ethereum/develop
Merge develop into release for 0.4.22
2018-04-16 23:03:49 +02:00
chriseth
b8431c5c4a
Merge pull request #3897 from ethereum/noTestsOnTravis
Disable tests on travis.
2018-04-16 22:32:00 +02:00
chriseth
6091cd54b4 Disable tests on travis. 2018-04-16 22:30:30 +02:00
chriseth
f87f5d087c
Merge pull request #3896 from ethereum/progressOnTravis
Show progress on travis.
2018-04-16 22:13:23 +02:00
chriseth
759928524f Show progress on travis. 2018-04-16 22:12:30 +02:00
chriseth
2db8b8a7bd
Merge pull request #3893 from ethereum/prepareForRelease
Preparation for 0.4.22 release.
2018-04-16 20:21:17 +02:00
chriseth
c65159c78b Preparation for 0.4.22 release. 2018-04-16 20:20:58 +02:00
chriseth
af18b4deb8
Merge pull request #3885 from LefterisJP/update_solidity_version_where_revert_with_reason
Docs: Update solidity version for revert with reason
2018-04-16 19:55:56 +02:00
chriseth
8be4cba570
Merge pull request #3865 from ethereum/updateConstructorVersionPragmas
[MERGE WITH RELEASE 0.4.22] Update version pragmas in constructor documentation.
2018-04-16 19:55:34 +02:00
chriseth
923d1b4c04
Merge pull request #3891 from ethereum/prepareForRelease
Preparation for 0.4.22 release.
2018-04-16 19:52:20 +02:00
chriseth
936832b3f9 Preparation for 0.4.22 release. 2018-04-16 19:51:49 +02:00
chriseth
3d04d83297
Merge pull request #3868 from ethereum/bytescleanup
Properly force-clean for shortening bytesXX conversions.
2018-04-16 15:23:36 +02:00
chriseth
533d08517f
Merge pull request #3793 from ethereum/rationalNumberLimit
Rational number limit
2018-04-16 13:10:50 +02:00
chriseth
8be19ad72b
Merge pull request #3888 from ethereum/cmake-cleanups
CMake dependencies cleanups
2018-04-16 12:56:26 +02:00
chriseth
a9c16b8c39 Add documentation. 2018-04-16 12:47:38 +02:00
chriseth
bf57500e25 Tests for bytes cleanup. 2018-04-16 12:47:38 +02:00
Alex Beregszaszi
0201492bbf Remove redundant cleanup for abi.encode. 2018-04-16 12:47:38 +02:00
chriseth
4c1d39b7a2 Properly force-clean for shortening bytesXX conversions. 2018-04-16 12:47:38 +02:00