Commit Graph
4352 Commits
Author SHA1 Message Date
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
chriseth a272506a34 Merge pull request #7374 from ethereum/hexStringUnderscores
Allow  underscores in hex strings.
2019-09-09 11:48:46 +02:00
Bhargava Shastry e349fb1ce1 Abiv2 proto fuzzer: Crop at least 32 bytes if last dynamically encoded parameter is right padded 2019-09-09 10:07:30 +02:00
Daniel Kirchner 6f3341a204 Allow underscores in hex strings. 2019-09-06 17:58:35 +02:00
chriseth 9c72f25cce Merge pull request #7368 from ethereum/errorReporter
Switch to new error reporter.
2019-09-06 15:53:29 +02:00
Daniel Kirchner f4d990e5be Drop constant and payable fields from ABI. 2019-09-06 14:42:09 +02:00
Daniel Kirchner 94ce0462ba Add backup extension to all sed commands in the command line tests for OSX sed. 2019-09-06 14:19:49 +02:00
Daniel Kirchner 998f7de2c8 Change command line test from --ast to --ast-json. 2019-09-06 13:46:18 +02:00
Daniel Kirchner f84371b2e0 Fix command line tests for new error reporter. 2019-09-06 13:31:57 +02:00
chriseth ea0a952a69 Merge pull request #7362 from ethereum/develop
Merge develop into develop_060
2019-09-05 16:50:44 +02:00
Daniel Kirchner 9bcaeef39f Fix test wrt changed json ABI sorting. 2019-09-05 13:39:23 +02:00
chriseth 7f797bc6ae Merge pull request #7342 from ethereum/extendedMemorySizeInterpreter
Make memory addresses wrap in interpreter.
2019-09-05 13:14:57 +02:00
Bhargava Shastry 137a898eca Yul proto fuzzer: Fix typo in low level call 2019-09-04 21:14:26 +02:00
chriseth fd687f50ff Merge pull request #7353 from ethereum/develop
Update 0.6.0 from develop
2019-09-04 20:21:37 +02:00
chriseth 5b4b4011c7 Extend memory beyond 32 byte addresses in interpreter. 2019-09-04 20:10:42 +02:00
chriseth 633932c5f1 Update tests. 2019-09-04 19:16:54 +02:00
Bhargava Shastry c889e6e015 Yul proto fuzzer: Add create and call opcodes 2019-09-04 19:13:40 +02:00
Bhargava Shastry 6b27ef8fcb Yul proto fuzzer: Additional blockchain opcodes 2019-09-04 19:13:40 +02:00
krk 33f7f960cf Allow exponentials with signed base and unsigned power. 2019-09-04 17:32:47 +02:00
chriseth 7dd77784b7 Merge pull request #7335 from ethereum/abiSorting
Change ABI sorting order.
2019-09-04 17:18:27 +02:00
chriseth 8485a1abec Change ABI sorting order. 2019-09-04 13:06:09 +02:00
Bhargava Shastry fce65ec811 Randomize calldataload and storage slots and use dictionary tokens as function argument 2019-09-04 09:54:57 +02:00
Bhargava Shastry d066ba71a4 Force call of every valid func declaration 2019-09-04 09:54:57 +02:00
Bhargava Shastry 4837ef4ada Yul proto fuzzer: Make function definition a statement 2019-09-04 09:54:36 +02:00
Alex Beregszaszi dce52509b4 Merge pull request #7329 from ethereum/istanbul
Introduce istanbul and berlin versions
2019-09-03 15:18:14 +01:00
chriseth ea4ea5ae5d Merge pull request #7333 from ethereum/yulopti_add_load_resolver
Add Load Resolver to Yulopti
2019-09-03 16:12:31 +02:00
chriseth ebd16eb142 Merge pull request #7321 from ethereum/smt_const_array
[SMTChecker] Zero-initialize arrays
2019-09-03 15:51:59 +02:00
Leonardo Alt d131784714 Add Load Resolver to Yulopti 2019-09-03 15:51:33 +02:00