chriseth
ca21659749
Fix error message about accessing storage pointers.
2019-09-24 10:52:02 +02:00
chriseth
c4208a6ab8
Merge pull request #7457 from ethereum/docAndTestsForChainIdAndSelfBalance
...
Document chainid and selfbalance.
2019-09-23 16:31:58 +02:00
Micah Zoltu
ae84782d0e
Removes the optionality on output
in ABI docs.
...
I _believe_ (someone more knowledgable than I should verify this claim) that Solidity will always write out an `output` member. If there are no return parameters, then the array will be empty, but the `output` property will be present.
If this is not correct, I will withdraw this PR, but if the assertion is correct then the docs should reflect that so people can rely on the `output` property being present when writing ABI processors.
I also fixed some inconsistency in line termination character. It was sometimes `.` and sometimes `;`. I picked `.`, but don't really care which as long as it is consistent.
2019-09-23 16:42:34 +08:00
chriseth
0478eb1e1b
Merge pull request #7459 from ethereum/circle-nightly-060
...
Enable nightly tests for 0.6.0
2019-09-19 15:44:46 +02:00
chriseth
bfc8fd23ac
Document chainid and selfbalance.
2019-09-19 15:35:37 +02:00
Erik Kundt
839637e472
Enables nightly tests for 0.6.0.
2019-09-19 13:45:08 +02:00
Leonardo Alt
ed9674be8d
[SMTChecker] Add as const function to SMTLib2Interface
2019-09-18 22:57:14 +02:00
chriseth
5a950908b6
Merge pull request #7432 from ethereum/fix-ossfuzz-build
...
ossfuzz: Create a separate cmake toolchain file for ossfuzz
2019-09-17 15:24:50 +02:00
chriseth
7c774c3a4b
Merge pull request #7444 from ethereum/solc-fuzzer-add-evmversion
...
solc fuzzer: Use randomly chosen evm version
2019-09-17 15:23:17 +02:00
chriseth
7190227149
Merge pull request #7379 from sifmelcara/ssa-var-after-control-flow-join
...
[YulOpt] Create SSA variable after control flow joins
2019-09-17 15:13:38 +02:00
Bhargava Shastry
9b31d72f43
solc fuzzer: Use randomly chosen evm version
2019-09-17 13:43:22 +02:00
mingchuan
520a3ccfff
[YulOpt] declare SSA var when control flow joins
2019-09-17 13:22:02 +02:00
chriseth
5859a69c44
Merge pull request #7409 from ethereum/forLoopOutOfBody
...
[Yul] Move for loop condition out of body.
2019-09-17 12:58:56 +02:00
chriseth
1b8fe275ee
Merge pull request #7425 from ethereum/fixOrderOpt
...
Fix order bug in optimizer.
2019-09-17 12:58:17 +02:00
chriseth
cbf8acad73
Merge pull request #7439 from ethereum/docs_clearing_mappings
...
[DOCS] Clearing mappings
2019-09-17 12:40:11 +02:00
chriseth
203447fa72
Merge pull request #7415 from ethereum/clang-dockerfile
...
Add clang docker file based on ubuntu disco
2019-09-17 12:34:19 +02:00
chriseth
c224b09bb3
Fix reordering bug in optimizer.
2019-09-17 12:33:00 +02:00
chriseth
68986a58b6
Test.
2019-09-17 12:32:46 +02:00
chriseth
7a79742f3d
Out of body again.
2019-09-17 12:30:15 +02:00
Leonardo Alt
df0b54d7c7
[DOCS] Clearing mappings
2019-09-17 11:58:00 +02:00
chriseth
58f0f9dbea
Merge pull request #7417 from ethereum/fix-7355-v2
...
Update logic to track dynamically encoded parameters
2019-09-17 11:43:37 +02:00
chriseth
54d936dda8
Merge pull request #7428 from microbecode/docs-remove-abs
...
Fixed code example which utilizes non-existing function 'abs' - the v…
2019-09-16 19:21:37 +02:00
chriseth
8b6b1ca986
Merge pull request #7426 from aarlt/clang-format
...
clang-format: add "UseTab: ForIndentation" @ develop
2019-09-16 19:20:29 +02:00
chriseth
34a84f3a4f
Merge pull request #7431 from ethereum/fix_array_mapping
...
Fix ICE when pop dyn storage array of mapping
2019-09-16 18:59:26 +02:00
Bhargava Shastry
48da5f07a5
ossfuzz: Create a separate cmake toolchain file for ossfuzz so that multiple fuzzing backends may be used
2019-09-16 18:35:15 +02:00
Leonardo Alt
eab9f65610
Fix ICE when pop dyn storage array of mapping
2019-09-16 16:33:17 +02:00
Bhargava Shastry
403fb7d88c
Update logic to track dynamically encoded parameters
2019-09-16 14:25:37 +02:00
Lauri Peltonen
b7e6dc3d05
Fixed code example which utilizes non-existing function 'abs' - the value is stated to be negative so abs(a) is the same as -a
2019-09-13 21:36:43 +03:00
Alexander Arlt
47fae911f9
Add UseTab: ForIndentation
2019-09-13 12:40:51 -05:00
chriseth
2d601a4f23
Merge pull request #7414 from ethereum/refactorSSA
...
Refactor SSA transform.
2019-09-13 17:55:39 +02:00
Leonardo
34ba617ea6
Merge pull request #7133 from ethereum/smt_chc_loop
...
[SMTChecker] CHC basic loop support
2019-09-13 13:34:16 +02:00
Leonardo Alt
e1c238e25f
[SMTChecker] Add loop support
2019-09-13 12:40:53 +02:00
Daniel Kirchner
5d58c43a5c
Merge pull request #7388 from ethereum/isoltest-fallback-functions
...
[isoltest] Support fallback functions
2019-09-13 11:37:42 +02:00
Erik Kundt
e92b921123
[isoltest] Adds support for fallback and ether functions.
2019-09-13 10:55:46 +02:00
chriseth
02af613fa5
Merge pull request #7419 from ethereum/checkspell-fix
...
Fixes codespell
2019-09-12 22:16:18 +02:00
Erik Kundt
ad5fe2bf45
Fixes codespell.
2019-09-12 22:15:03 +02:00
chriseth
192946c1ba
Merge pull request #7413 from ethereum/ossfuzz-link-correctly
...
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine
2019-09-12 20:22:53 +02:00
chriseth
20bada4c60
Refactor SSA transform.
2019-09-12 20:07:39 +02:00
chriseth
63a8cda1d4
Merge pull request #7418 from ethereum/ssaReverseFix
...
Fix SSA reverser for declaration + self-assignment
2019-09-12 20:02:18 +02:00
Daniel Kirchner
f86c5da202
Fix SSA reverser in special case of declaration followed by self-assignment.
2019-09-12 18:17:13 +02:00
Bhargava Shastry
368ef3d9d8
Add clang docker file based on ubuntu disco
2019-09-12 16:02:54 +02:00
chriseth
b747c26788
Merge pull request #7407 from ethereum/forLoopIntoBodyFix
...
For loop into body fix
2019-09-12 15:31:42 +02:00
Bhargava Shastry
a7c987d931
Link ossfuzz targets with -fsanitize=fuzzer instead of libFuzzingEngine supplied by docker image
2019-09-12 11:26:05 +02:00
chriseth
4f80117eef
Use builtin iszero for for loop condition rewriting.
2019-09-12 10:26:16 +02:00
chriseth
324cc71b13
Merge pull request #7408 from ethereum/literalRematerializer
...
[Yul] Introduce LiteralRematerializer and thus simplify StructuralSimplifier.
2019-09-12 00:56:45 +02:00
chriseth
fcfe829534
Introduce LiteralRematerializer and thus simplify StructuralSimplifier.
2019-09-11 19:50:24 +02:00
chriseth
a064e0fc97
Merge pull request #7236 from ethereum/proto-add-object-access
...
Experimental support for object access builtins
2019-09-11 18:28:10 +02:00
chriseth
e9346ca38a
Merge pull request #7400 from ethereum/evmoneSearch
...
Fix evmone filename for auto-discovery for windows and macos.
2019-09-11 17:55:12 +02:00
chriseth
b962f58973
Merge pull request #7405 from ethereum/isoltest-format-fix
...
[isoltest] Add fallback formatting
2019-09-11 17:52:11 +02:00
Erik Kundt
4162c3d7af
[isoltest] Adds fallback formatting.
2019-09-11 15:45:53 +02:00