Leonardo Alt
|
eab9f65610
|
Fix ICE when pop dyn storage array of mapping
|
2019-09-16 16:33:17 +02: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 |
|
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 |
|
Erik K
|
b3b8990597
|
Merge pull request #7402 from ethereum/isoltest-win32-run-fix
isoltest: Fixes matching tests on platforms that don't use forward slahes as path separators.
|
2019-09-11 14:45:29 +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 |
|
chriseth
|
bbe1ac31a6
|
Merge pull request #7396 from ethereum/chriseth-patch-2
[DOC] Clarify log functions
|
2019-09-11 12:05:12 +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 |
|
Daniel Kirchner
|
5063e53730
|
Merge pull request #7397 from FlashSheridan/patch-2
Shorten evmone link so it's not only for Linux
|
2019-09-11 10:34:36 +02:00 |
|
Flash Sheridan
|
8ceab96d29
|
Shorten evmone link so it's not only for Linux
Replace the Linux-only evmone link with the general URL for the release: https://github.com/ethereum/evmone/releases/tag/v0.1.0
|
2019-09-10 14:25:33 -04:00 |
|
chriseth
|
e735c01b4a
|
[DOC] Clarify log functions
|
2019-09-10 16:52:32 +02:00 |
|
chriseth
|
143e867353
|
Merge pull request #7390 from ethereum/sloadTest
Load resolver involving staticcall.
|
2019-09-10 13:25:15 +02:00 |
|
chriseth
|
57def9e8b4
|
Merge pull request #7395 from balajipachai/patch-2
Fixed typo at the end of the file
|
2019-09-10 12:29:49 +02:00 |
|
chriseth
|
0a12b3b3c8
|
Merge pull request #7394 from balajipachai/patch-1
Fixed a typo
|
2019-09-10 12:27:41 +02:00 |
|
Balaji Pachai
|
27fb79dc10
|
Fixed typo at the end of the file
Changed `annontated` to `annotated`
|
2019-09-10 15:52:06 +05:30 |
|
chriseth
|
20f6fbf88e
|
Load resolver involving staticcall.
|
2019-09-10 12:09:13 +02:00 |
|
Balaji Pachai
|
8fe4fe7921
|
Fixed a typo
Replaced is with in to make the statement grammatically correct.
|
2019-09-10 15:35:52 +05:30 |
|
chriseth
|
ca0b38c8a3
|
Merge pull request #7327 from winsvega/newopcodes
add chainid and selfbalance to lllc
|
2019-09-10 12:00:26 +02:00 |
|
chriseth
|
697e04fe5e
|
Merge pull request #7389 from ethereum/isoltest-revert-fix
[isoltest] Fix auto-update when function reverts
|
2019-09-10 11:57:27 +02:00 |
|
chriseth
|
4452a9b607
|
Merge pull request #7392 from balajipachai/patch-1
Fixed a typo
|
2019-09-10 11:55:45 +02:00 |
|
Balaji Pachai
|
45d6d4567e
|
Fixed a typo
Changed proceeded to preceded, making the statement grammatically correct.
|
2019-09-10 15:17:58 +05:30 |
|
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 |
|
chriseth
|
6596837e45
|
Merge pull request #7384 from ethereum/fix-7356
yul: Add new optimizer rules for create and create2 builtins
|
2019-09-09 17:36:19 +02: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
|
f1affba414
|
Merge pull request #7380 from ethereum/fix-7355
Abiv2 proto fuzzer: Crop at least 32 bytes if last dynamically encoded parameter is right padded
|
2019-09-09 16:32:11 +02:00 |
|
chriseth
|
f5e976cebc
|
Merge pull request #7367 from crawfordleeds/develop
add support for macOS Catalina in scripts/install_deps.sh
|
2019-09-09 11:49:51 +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 |
|
chriseth
|
7e80fcebc1
|
Merge pull request #7375 from ethereum/fakeReleaseTestrun
Add fake release test build and test runs on CircleCI.
|
2019-09-06 17:23:11 +02:00 |
|