Leonardo Alt
|
5f43b8dbeb
|
Output the storage layout of a contract via storageLayout artifact
|
2019-11-14 10:19:17 +01:00 |
|
Leonardo Alt
|
e3652627fd
|
[SMTChecker] Fix ICE in CHC when function used as argument
|
2019-11-13 15:11:30 +01:00 |
|
chriseth
|
c0cf96cbc1
|
Merge pull request #7699 from ethereum/test-require-str
Test `require` with string literals
|
2019-11-13 12:20:23 +01:00 |
|
Mathias Baumann
|
c74b1daef2
|
Test require with string literals
fixes #6651
|
2019-11-13 12:01:25 +01:00 |
|
Daniel Kirchner
|
ce7268272d
|
Allow obtaining the address of a library by conversion to `address`.
|
2019-11-12 17:09:13 +01:00 |
|
chriseth
|
a7e133b95c
|
Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment
Add support for external libraries to extracted semantics tests.
|
2019-11-12 15:50:36 +01:00 |
|
Daniel Kirchner
|
c7e3318dba
|
Add support for external libraries to extracted semantics tests.
|
2019-11-12 15:19:04 +01:00 |
|
Leonardo Alt
|
dc2dff839c
|
[SMTChecker] Remove flaky tests until we fix the SMTChecker tests
|
2019-11-12 12:58:42 +01:00 |
|
Leonardo Alt
|
b323134ef0
|
[SMTChecker] Update test expectations for z3 4.8.6
|
2019-11-11 18:43:59 +01:00 |
|
chriseth
|
a5f0422dcc
|
Merge pull request #7662 from ethereum/cmakeNoGlobInTests
Do not rely on cmake's GLOB for test/
|
2019-11-10 15:28:11 +01:00 |
|
Leonardo Alt
|
5dacaf57bc
|
Fix ICE in FixedBytes IndexAccess
|
2019-11-08 17:29:40 +01:00 |
|
Daniel Kirchner
|
25a933a906
|
Do not rely on cmake's GLOB for test/
|
2019-11-08 16:12:42 +01:00 |
|
chriseth
|
a081b720b9
|
Merge pull request #7587 from ethereum/abiv2-returndata-fuzz
Abiv2 returndata fuzz
|
2019-11-07 15:03:14 +01:00 |
|
Alex Beregszaszi
|
18542ebf31
|
Use evmc_load_and_configure to support passing EVMC options
|
2019-11-07 10:42:41 +00:00 |
|
Alex Beregszaszi
|
882cd3e285
|
Update EVMC to 6.3.1
|
2019-11-07 10:41:14 +00:00 |
|
Alex Beregszaszi
|
f77d7c2dc7
|
Ensure that EVMC capability is checked after loading evmone
|
2019-11-07 00:27:46 +00:00 |
|
Bhargava Shastry
|
9772cc44a0
|
abiv2 proto fuzzer: Fuzz return data coding
|
2019-11-06 23:42:10 +01:00 |
|
chriseth
|
aa8de4404e
|
Merge pull request #7610 from ethereum/fix-7472
yul proto fuzzer: Increase step limit for optimized code
|
2019-11-06 21:11:51 +01:00 |
|
Leonardo Alt
|
10e70b8603
|
[SMTChecker] Support inheritance and resolve overrides
|
2019-11-06 11:00:06 +01:00 |
|
chriseth
|
081845d775
|
EWasm binary transform.
|
2019-11-05 19:58:55 +01:00 |
|
Leonardo Alt
|
c5e081dc8c
|
[SMTChecker] Refactor CHC loops and add if blocks
|
2019-11-05 09:28:59 +01:00 |
|
Bhargava Shastry
|
6a55949c04
|
yul proto fuzzer: Increase step limit upper bound for optimized code
|
2019-11-04 18:38:56 +01:00 |
|
chriseth
|
60b97bfb43
|
Fix test that resulted from merge conflict.
|
2019-11-04 18:06:43 +01:00 |
|
Leonardo
|
1eac3d1d83
|
Merge pull request #7582 from ethereum/smt_multid_array_assignment
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-11-04 17:37:33 +01:00 |
|
chriseth
|
e7c4378ce7
|
Merge pull request #7516 from ethereum/abiv2-proto-struct
Abiv2 proto struct
|
2019-11-04 17:04:16 +01:00 |
|
chriseth
|
62aa20137c
|
Merge pull request #7600 from ethereum/TypeConversionOnTheFly
[WASM] Inject type conversions on the fly if needed.
|
2019-11-04 16:20:57 +01:00 |
|
Bhargava Shastry
|
04becb9458
|
Minor refactoring
|
2019-11-04 15:47:04 +01:00 |
|
Bhargava Shastry
|
12ed08eddb
|
Place upper bound number on number of array dimensions
|
2019-11-04 15:47:04 +01:00 |
|
Bhargava Shastry
|
3cfeca33c1
|
Abiv2 proto fuzzer: Refactor and add support for structs
|
2019-11-04 15:47:04 +01:00 |
|
chriseth
|
08cf616157
|
Merge pull request #7609 from ethereum/fix-7608
yul proto fuzzer: Catch exception early and propagate termination reason
|
2019-11-04 13:29:50 +01:00 |
|
chriseth
|
8337de5189
|
[WASM] Inject type conversions on the fly if needed.
|
2019-11-01 15:44:39 +01:00 |
|
chriseth
|
8780f2d595
|
Merge pull request #7604 from ethereum/datasizeOffsetSingle
[WASM] datasize and dataoffset only return a single value.
|
2019-11-01 15:39:50 +01:00 |
|
chriseth
|
cca7f01199
|
Tests for conditional unsimplifier
|
2019-11-01 14:07:25 +01:00 |
|
chriseth
|
ce87f11885
|
Test updates
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
61a2d44f38
|
Conditional unsimplifier
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
21b9606ed3
|
Test updates.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
19ccdfb0b3
|
No into body.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
5d6e983be3
|
Conditional simplifier.
|
2019-11-01 14:01:56 +01:00 |
|
chriseth
|
7f1593baa0
|
[WASM] datasize and dataoffset only return a single value.
|
2019-11-01 13:52:49 +01:00 |
|
Bhargava Shastry
|
e4ba1c02e8
|
yul proto fuzzer: Catch exception early and propagate termination reason to harness
|
2019-11-01 12:26:35 +01:00 |
|
chriseth
|
21227d748c
|
Update polyfill and set name.
|
2019-10-31 18:51:19 +01:00 |
|
chriseth
|
3d1123cf61
|
Merge pull request #7599 from ethereum/fixLocalGlobalWast
Fix local and globals wast functions.
|
2019-10-31 18:14:42 +01:00 |
|
chriseth
|
04c62e2dc3
|
Fix local and globals wast functions.
|
2019-10-31 17:41:31 +01:00 |
|
Leonardo Alt
|
80a790b5c3
|
Remove solc-js DAO tests replacement
|
2019-10-31 16:16:13 +01:00 |
|
chriseth
|
d605f89167
|
Merge pull request #7548 from ethereum/fixWasmLayout
Wasm: Fix layout for text conversion.
|
2019-10-29 17:52:34 +01:00 |
|
chriseth
|
5d906cd58d
|
Merge pull request #7568 from ethereum/fixtest
Fix failing tests on ArchLinux and potentially MacOS
|
2019-10-29 12:37:51 +01:00 |
|
Mathias Baumann
|
b3a5c9c9c0
|
Fix failing tests on ArchLinux and potentially MacOS
|
2019-10-29 12:02:50 +01:00 |
|
Leonardo Alt
|
8a42e3f87a
|
[SMTChecker] Support assignments to m-d arrays and mappings
|
2019-10-28 17:27:39 +01:00 |
|
chriseth
|
81e2d1ed14
|
Merge pull request #7528 from ethereum/fix-7434
yul interpreter: Initialize calldata with random data
|
2019-10-28 12:39:27 +01:00 |
|
chriseth
|
9719f099aa
|
Merge pull request #7551 from ethereum/060-cxx17-std-optional
Use `std::optional<>` rather than `boost::optional<>`
|
2019-10-28 12:17:31 +01:00 |
|