Commit Graph

14734 Commits

Author SHA1 Message Date
chriseth
56a3abcd03
Merge pull request #7465 from ethereum/docs-iterable-mapping
[DOCS] Add updated iterable mapping example
2019-11-06 18:36:14 +01:00
Leonardo Alt
10e70b8603 [SMTChecker] Support inheritance and resolve overrides 2019-11-06 11:00:06 +01:00
Alex Beregszaszi
eb0d72e825
Merge pull request #7606 from ethereum/wasmBinaryAssemblyStack
Wasm binary assembly stack
2019-11-05 23:31:32 +00:00
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
1a88bc97df Add updated iterable mapping example
Remove unused var
2019-11-05 17:10:27 +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
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
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