Jason Cobb
|
57003c534a
|
Types changes for fixed points
|
2018-04-20 17:53:42 +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 |
|
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 |
|