 chriseth
|
587c87b15b
|
Commandline interface additions for webassembly binary.
|
2019-11-05 20:05:57 +01:00 |
|
|
chriseth
|
e79a32e9d5
|
Wasm to binary assembly stack.
|
2019-11-05 20:02:42 +01:00 |
|
|
chriseth
|
4cd0c84f75
|
Merge pull request #7633 from ethereum/fix/tests-run
Remove macOS flag for SMT tests
|
2019-11-05 20:00:31 +01:00 |
|
|
chriseth
|
3b3d19010d
|
Merge pull request #7601 from ethereum/binaryTransform
EWasm Binary transform
|
2019-11-05 19:59:22 +01:00 |
|
|
chriseth
|
081845d775
|
EWasm binary transform.
|
2019-11-05 19:58:55 +01:00 |
|
|
chriseth
|
63a8691cc7
|
Merge pull request #7630 from ethereum/uppercasefix
Fix case-sensitivity depending on platform
|
2019-11-05 17:32:12 +01:00 |
|
|
chriseth
|
90aae16eee
|
Merge pull request #7634 from ethereum/ChrisChinchilla-patch-1
Don't allow blank issues
|
2019-11-05 17:31:39 +01:00 |
|
 Mathias Baumann
|
37d6fd9e21
|
Fix case-sensitivity depending on platform
|
2019-11-05 17:25:08 +01:00 |
|
 Chris Chinchilla
|
ba6469b8e9
|
Don't allow blank issues
Update Issue config to not allow blank issue descriptions
|
2019-11-05 17:15:25 +01:00 |
|
|
Chris Chinchilla
|
c9a56d5339
|
Remove macOS flag
|
2019-11-05 17:02:37 +01:00 |
|
 Leonardo
|
9bec533453
|
Merge pull request #7440 from ethereum/smt_chc_loop_refactor
[SMTChecker] Refactor CHC a bit more
|
2019-11-05 11:15:59 +01:00 |
|
|
Leonardo Alt
|
c5e081dc8c
|
[SMTChecker] Refactor CHC loops and add if blocks
|
2019-11-05 09:28:59 +01:00 |
|
|
chriseth
|
19bd4af7f3
|
Merge pull request #7621 from ethereum/fixDevelop87
Fix test that resulted from merge conflict.
|
2019-11-04 18:51:12 +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
|
a964a2026b
|
Merge pull request #7602 from ethereum/fixWasmTypes
Fix types of wasm builtins.
|
2019-11-04 13:04:25 +01:00 |
|
|
chriseth
|
26c6a1fcf9
|
Merge pull request #7614 from ethereum/fix-7322
circleci: Expose soltest flags explicitly
|
2019-11-04 11:09:14 +01:00 |
|
|
Bhargava Shastry
|
e8749decf5
|
circleci: Expose soltest flags explicitly
|
2019-11-04 09:48:35 +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
|
73954f16f4
|
Merge pull request #7519 from ethereum/conditionalUnsimplifier
Conditional unsimplifier
|
2019-11-01 14:44:24 +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
|
02d5b7c18a
|
Run literal rematerializer before for loop condition out of body.
|
2019-11-01 14:01:56 +01:00 |
|
|
chriseth
|
1cc5a03e42
|
Fix bug in unsimplifier.
|
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
|
e1438b72ad
|
Fix types of wasm builtins.
|
2019-11-01 13:54:01 +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 |
|
 Alex Beregszaszi
|
1bd2b202e9
|
Merge pull request #7598 from ethereum/updatePolyfill
[EWasm] Update polyfill and set name.
|
2019-10-31 20:54:57 +00: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 |
|
|
chriseth
|
bce13d0249
|
Merge pull request #7596 from ethereum/solcjs_dao
Remove solc-js DAO tests replacement
|
2019-10-31 17:39:01 +01:00 |
|
|
Leonardo Alt
|
80a790b5c3
|
Remove solc-js DAO tests replacement
|
2019-10-31 16:16:13 +01:00 |
|
|
chriseth
|
d932f2d0c2
|
Merge pull request #7590 from hellraiserinchief/add-piet
add piet to tools list
|
2019-10-31 10:50:52 +01:00 |
|
 hellraiserinchief
|
7e912b1366
|
add piet to tools list
|
2019-10-30 23:09:42 +05:30 |
|
|
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 |
|