Commit Graph
5329 Commits
Author SHA1 Message Date
chriseth b5bc52f2a7 Control flow for try statements. 2019-09-23 17:22:56 +02:00
chriseth 644a402166 Tests. 2019-09-23 17:22:56 +02:00
chriseth bfc8fd23ac Document chainid and selfbalance. 2019-09-19 15:35:37 +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
Leonardo Alt 43d6e00b14 Add push() for dynamic storage arrays 2019-09-17 13:47:33 +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 68986a58b6 Test. 2019-09-17 12:32:46 +02:00
chriseth 7a79742f3d Out of body again. 2019-09-17 12:30:15 +02:00
chriseth 5b3efee93b Merge pull request #7442 from ethereum/develop
Merge develop into develop_060
2019-09-17 12:16:27 +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
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
Leonardo Alt d685554980 Create option for metadata hash 2019-09-13 18:59:12 +02:00
chriseth 2d601a4f23 Merge pull request #7414 from ethereum/refactorSSA
Refactor SSA transform.
2019-09-13 17:55:39 +02:00
Leonardo Alt e1c238e25f [SMTChecker] Add loop support 2019-09-13 12:40:53 +02:00
Daniel Kirchner c72d1ffb65 Merge pull request #7421 from ethereum/develop
Merge develop into develop_060
2019-09-13 12:14:02 +02:00
Daniel Kirchner 4782c800ec Initial introduction of array slices with partial implementation for dynamic calldata arrays. 2019-09-13 10:57:53 +02:00
Erik Kundt e92b921123 [isoltest] Adds support for fallback and ether functions. 2019-09-13 10:55:46 +02:00
Erik Kundt ad5fe2bf45 Fixes codespell. 2019-09-12 22:15:03 +02:00
chriseth 50ce3b0ac8 Merge pull request #7420 from ethereum/develop
Merge develop into develop_060
2019-09-12 22:06:55 +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
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 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 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
Christian Parpart e528c65c04 Merge pull request #7404 from ethereum/develop
Merge develop into 0.6.0
2019-09-11 15:49:38 +02:00
Erik Kundt 4162c3d7af [isoltest] Adds fallback formatting. 2019-09-11 15:45:53 +02:00
Daniel Kirchner 2535091168 Replace preprocessor macros with constexpr expressions. 2019-09-11 13:03:05 +02:00
Christian Parpart ccdca32f39 isoltest: Fixes matching tests on platforms that don't use forward slahes as path separators. 2019-09-11 12:53:20 +02:00
Flash Sheridan 733d40ddb5 Fix evmone filename for auto-discovery for windows and macos. 2019-09-11 12:28:05 +02:00
Bhargava Shastry 34022a2c8c Pseudo-randomly choose object/data identifier that is in scope 2019-09-11 10:57:54 +02:00
Bhargava Shastry d677a15507 Add object access builtin functions 2019-09-11 10:57:54 +02:00
chriseth 143e867353 Merge pull request #7390 from ethereum/sloadTest
Load resolver involving staticcall.
2019-09-10 13:25:15 +02:00
chriseth acf10ef60f Merge pull request #7393 from ethereum/develop
Merge develop into 0.6.0
2019-09-10 12:27:02 +02:00
chriseth 20f6fbf88e Load resolver involving staticcall. 2019-09-10 12:09:13 +02:00
chriseth ca0b38c8a3 Merge pull request #7327 from winsvega/newopcodes
add chainid and selfbalance to lllc
2019-09-10 12:00:26 +02:00
Leonardo Alt 5cfe0b7670 Allow explicit conversion from address to address payable 2019-09-09 23:46:00 +02:00
Erik Kundt 5e12e0cf27 [isoltest] Fixes auto-update for revert. 2019-09-09 22:46:43 +02:00
Dimitry fd3ae0b24a add chainid and selfbalance to lllc 2019-09-09 23:35:36 +03:00
Bhargava Shastry 09fa31ccc5 yul: Add new optimizer rules for create and create2 builtins 2019-09-09 17:06:56 +02:00
chriseth 96b6b45658 Merge pull request #7324 from ethereum/activateLoadResolver
[Yul] Activate load resolver.
2019-09-09 16:45:41 +02:00