chriseth
|
f2614be95f
|
Merge pull request #3647 from leonardoalt/smt_bool
[SMTChecker] Support to Bool variables
|
2018-03-13 09:35:31 +01:00 |
|
Leonardo Alt
|
9b64dc501d
|
[SMTChecker_Bool] Fix PR review comments: method renaming and solAssert
|
2018-03-12 20:16:47 +01:00 |
|
Leonardo Alt
|
c2d26eb6a2
|
[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.
|
2018-03-12 20:16:47 +01:00 |
|
Leonardo Alt
|
6a940f0a99
|
[SMTChecker] Support to Bool variables
|
2018-03-12 20:16:47 +01:00 |
|
chriseth
|
886dc0512c
|
Merge pull request #3708 from ethereum/moveTestTools
Move test tools to the subdirectory test/tools and adjust CMakeLists
|
2018-03-12 20:09:07 +01:00 |
|
chriseth
|
0062cddad3
|
Merge pull request #3713 from ethereum/version-constantinople
Support constantinople in evm-version
|
2018-03-12 20:06:57 +01:00 |
|
Daniel Kirchner
|
121f87b043
|
Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.
|
2018-03-12 18:40:20 +01:00 |
|
Alex Beregszaszi
|
a59d6d2e53
|
Support constantinople in evm-version
|
2018-03-12 18:13:19 +01:00 |
|
Alex Beregszaszi
|
15a0b97f61
|
Merge pull request #3706 from ethereum/releaseStepDocs
New release step.
|
2018-03-12 15:31:28 +01:00 |
|
chriseth
|
5ad34e035e
|
Merge pull request #3702 from solidity-korea/develop
Add Korean to Translations
|
2018-03-12 15:07:46 +01:00 |
|
wbt
|
7d206ba64a
|
Noted suicide is deprecated (#3692)
According to the [changelog](b5e804b8ca/Changelog.md), `suicide` was deprecated before 0.4.3 (after 0.2.0) and warning by 0.4.17.
|
2018-03-12 15:02:24 +01:00 |
|
Alex Beregszaszi
|
c6e9dd13bc
|
Merge pull request #3697 from ethereum/fixAvoidStorageClearLoop
Properly skip cleanup if only enlarging storage array.
|
2018-03-12 14:08:24 +01:00 |
|
chriseth
|
413053d6cb
|
New release step.
|
2018-03-12 11:37:44 +01:00 |
|
dongsamb
|
a0907e90c6
|
Add Korean to Translation
|
2018-03-10 11:49:51 +09:00 |
|
chriseth
|
0649f900ca
|
Properly skip cleanup if only enlarging storage array.
|
2018-03-09 14:06:54 +01:00 |
|
chriseth
|
30443f3a3e
|
Merge pull request #3683 from grzegorzszczecin/fix_doc
Fix a typo.
|
2018-03-08 09:52:54 +01:00 |
|
chriseth
|
fbc29f6da1
|
Merge pull request #3685 from ethereum/release
Merge release back into develop.
|
2018-03-08 09:25:05 +01:00 |
|
Grzegorz Hasse
|
7ebd580954
|
Fix a typo.
|
2018-03-07 21:27:24 -08:00 |
|
chriseth
|
b5e804b8ca
|
Merge pull request #3679 from ethereum/updateVersion
Set version to 0.4.22.
|
2018-03-07 22:28:02 +01:00 |
|
chriseth
|
16780ea3ed
|
Set version to 0.4.22.
|
2018-03-07 20:26:44 +01:00 |
|
chriseth
|
dfe3193c73
|
Merge pull request #3678 from ethereum/develop
Merge develop into release.
|
2018-03-07 20:20:57 +01:00 |
|
chriseth
|
15920dc75d
|
Merge pull request #3677 from ethereum/prepareForRelease
Update changelog for release.
|
2018-03-07 19:36:49 +01:00 |
|
chriseth
|
cbd8644f2d
|
Update changelog for release.
|
2018-03-07 18:15:25 +01:00 |
|
chriseth
|
c1bf6fb96f
|
Merge pull request #3634 from ethereum/useCorrectVersionForEmit
Use 0.4.21 pragma for documentation that uses "emit".
|
2018-03-07 18:13:11 +01:00 |
|
Alex Beregszaszi
|
bd7bc7c473
|
Merge pull request #3661 from ethereum/chriseth-patch-1
Update Changelog.md
|
2018-03-07 14:01:36 +01:00 |
|
chriseth
|
cd2e1e079a
|
Clarify that the experimental flag is not set for "experimental 0.5.0"
|
2018-03-07 13:56:57 +01:00 |
|
chriseth
|
478ce4fc38
|
Merge pull request #3668 from ethereum/fixExperimentalTest
Fix test.
|
2018-03-06 22:27:57 +01:00 |
|
chriseth
|
ea48d8ade3
|
Fix test.
|
2018-03-06 20:15:43 +01:00 |
|
ankit raj
|
7566787cd2
|
Some words on Remix
|
2018-03-06 19:39:53 +01:00 |
|
Alex Beregszaszi
|
ba8819542f
|
Merge pull request #3611 from ethereum/warn-using-address-overload
Warn if using address overloads on contracts
|
2018-03-06 19:13:55 +01:00 |
|
chriseth
|
baa1526539
|
Merge pull request #3664 from ethereum/literalsHexUnitSmallFix
Use double quotes for suggestion about hex literals and denominations.
|
2018-03-06 19:01:25 +01:00 |
|
Alex Beregszaszi
|
250a6bad8c
|
Merge pull request #3527 from ethereum/warnLooseAsm
Warn about using loose assembly.
|
2018-03-06 18:59:23 +01:00 |
|
Daniel Kirchner
|
b4d38c5491
|
Use double quotes for suggestion about hex literals and denominations.
|
2018-03-06 18:09:54 +01:00 |
|
chriseth
|
95ca829750
|
Merge pull request #3663 from ethereum/gasleftEmscripten
Add gasleft to FunctionType::richIdentifier().
|
2018-03-06 18:06:30 +01:00 |
|
chriseth
|
af7c64c1fc
|
Changelog entry.
|
2018-03-06 17:45:47 +01:00 |
|
chriseth
|
84d711fd1d
|
Tests for warnings/errors for loose assembly.
|
2018-03-06 17:45:34 +01:00 |
|
chriseth
|
fd1662d1c4
|
Warn about using loose inline assembly features as experimental 0.5.0 feature.
|
2018-03-06 17:45:34 +01:00 |
|
Daniel Kirchner
|
fb4d01e2cd
|
Add gasleft to FunctionType::richIdentifier().
|
2018-03-06 17:29:04 +01:00 |
|
Alex Beregszaszi
|
14b12ae745
|
Merge pull request #2966 from ethereum/useStaticCall
Use STATICCALL for pure function calls.
|
2018-03-06 17:07:03 +01:00 |
|
Alex Beregszaszi
|
83dacbf669
|
Merge pull request #3549 from ethereum/fixmultidim
Properly detect which array and struct types are unsupported by the old ABI encoder.
|
2018-03-06 15:51:17 +01:00 |
|
chriseth
|
3057aeece4
|
Document STATICCALL usage in experimental 0.5.0.
|
2018-03-06 15:32:45 +01:00 |
|
chriseth
|
a3593df43b
|
Test for using staticcall for view and pure functions.
|
2018-03-06 15:30:18 +01:00 |
|
chriseth
|
b467116ea8
|
Use STATICCALL for pure function calls if EVM version supports it and 0.5.0 is activated.
|
2018-03-06 15:30:18 +01:00 |
|
Alex Beregszaszi
|
0df4c64884
|
Merge pull request #3658 from ethereum/newcppEthimage
Use new eth binary for trusty.
|
2018-03-06 15:26:06 +01:00 |
|
chriseth
|
e3bd3020d1
|
Use new eth binary for trusty.
|
2018-03-06 14:16:51 +01:00 |
|
chriseth
|
70a5ddd03a
|
Merge pull request #3659 from ethereum/increaseCacheSize
Increase ccache size.
|
2018-03-06 14:15:36 +01:00 |
|
chriseth
|
d7fe0bbc72
|
Increase ccache size.
|
2018-03-06 11:11:33 +01:00 |
|
chriseth
|
6055bc250f
|
Use coding style.
|
2018-03-06 10:32:58 +01:00 |
|
chriseth
|
5f5af650ce
|
Merge pull request #3653 from ethereum/docNegativeSourceIndex
Document the meaning of sourceIndex "-1" in source mappings.
|
2018-03-06 09:28:53 +01:00 |
|
chriseth
|
f6c0daec14
|
Merge pull request #3652 from ethereum/gasleft_v2
Use StaticAnalyzer to deprecate msg.gas instead of conditionally remo…
|
2018-03-06 09:26:14 +01:00 |
|