Mathias Baumann
|
ad7cf42aad
|
Add missing dots in deprecation warning
|
2019-10-23 12:23:21 +02:00 |
|
Mathias Baumann
|
6ac12afd06
|
Disallow call of same-class-ctor as modifier
|
2019-10-23 10:29:41 +02:00 |
|
chriseth
|
e626437d77
|
Merge pull request #7538 from ghallak/7198-remove-padded-zeros
Remove trailing zeros from the output of BytesUtils::formatBytes
|
2019-10-16 15:55:02 +02:00 |
|
chriseth
|
ebfe7391ff
|
Use selfbalance for `address(this).balance `.
|
2019-10-16 14:25:56 +02:00 |
|
Gaith Hallak
|
8a8f553e4d
|
Remove trailing zeros from the output of BytesUtils::formatBytes
|
2019-10-16 14:42:12 +03:00 |
|
Gaith Hallak
|
02ae43aad4
|
Fix the documentation for TestFunctionCall::format
|
2019-10-16 14:42:12 +03:00 |
|
Gaith Hallak
|
51ae296cac
|
Modify the expectation files in ASTJSON tests.
|
2019-10-02 22:31:12 +02:00 |
|
Daniel Kirchner
|
7202ebb5b2
|
Fix internal compiler error for arrays of recursive structs.
|
2019-10-01 16:51:14 +02:00 |
|
Christian Parpart
|
00d7dac15f
|
Fixes source location in warning for shadowing import delcarations.
|
2019-09-30 11:45:46 +02:00 |
|
Christian Parpart
|
f85f6ba7e0
|
Fixes doxygen style multiline comment parsing for files with CRLF as line terminators.
|
2019-09-25 12:59:46 +02:00 |
|
chriseth
|
45583895fc
|
Merge pull request #7473 from ethereum/refactorSteps
Refactor Optimiser Steps Interface.
|
2019-09-24 15:55:25 +02:00 |
|
chriseth
|
cda23d63e9
|
Merge pull request #7458 from ethereum/fixErrorMessage
Fix error message about accessing storage pointers.
|
2019-09-24 15:11:03 +02:00 |
|
chriseth
|
9ce1ca2340
|
Refactor Optimiser Steps Interface.
|
2019-09-24 14:52:01 +02:00 |
|
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
|
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 |
|
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
|
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 |
|
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 |
|
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
|
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 |
|
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
|
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 |
|