cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,716 Commits 348 Branches 121 Tags 100 MiB
92745c7bfc
Commit Graph

14716 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
chriseth
973e4ca90a
Merge pull request #7453 from ethereum/smt_lib_const_array 
[SMTChecker] Add "as const: function to SMTLib2Interface
 2019-09-24 11:02:34 +02:00
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