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
|
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
|
c72d1ffb65
|
Merge pull request #7421 from ethereum/develop
Merge develop into develop_060
|
2019-09-13 12:14:02 +02:00 |
|
Daniel Kirchner
|
0736f873ea
|
Merge pull request #7340 from ethereum/arraySlice
Array slice syntax (with implementation for dynamic calldata arrays)
|
2019-09-13 11:42:39 +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 |
|
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 |
|
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
|
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 |
|
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 |
|
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 |
|
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 |
|
chriseth
|
acf10ef60f
|
Merge pull request #7393 from ethereum/develop
Merge develop into 0.6.0
|
2019-09-10 12:27:02 +02:00 |
|
Leonardo
|
c037d7845c
|
Merge pull request #7349 from ethereum/payable_conversion
Conversion from address to address payable
|
2019-09-10 12:26:18 +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 |
|
Leonardo Alt
|
5cfe0b7670
|
Allow explicit conversion from address to address payable
|
2019-09-09 23:46:00 +02:00 |
|