Alex Beregszaszi
882cd3e285
Update EVMC to 6.3.1
2019-11-07 10:41:14 +00:00
Leonardo Alt
6b10efff8c
Add CHCSmtLib2Interface
2019-11-07 11:12:11 +01:00
chriseth
37c6ab4c38
Merge pull request #7653 from ethereum/test-evmone
...
Ensure that EVMC capability is checked after loading evmone
2019-11-07 10:01:59 +01: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
efeee15d32
Merge pull request #7100 from ethereum/docs-review-mappings
...
[DOCS] Add clarifications to mapping type
2019-11-06 21:36:00 +01:00
Chris Chinchilla
0c51dcc967
Explain mappings example, and add link to further details
...
Updates from review
Changes from review
Nested example
Update docs/types/mapping-types.rst
Co-Authored-By: chriseth <chris@ethereum.org>
Changes from review
Bring example inline with ERC20
Clarify what maps where
Use OZ contract example
Update docs/types/mapping-types.rst
Co-Authored-By: chriseth <chris@ethereum.org>
update code example
2019-11-06 21:32:24 +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
chriseth
1c8077c659
Merge pull request #7491 from ethereum/smt_override
...
[SMTChecker] Support inheritance and function overriding
2019-11-06 21:08:46 +01:00
chriseth
63d4291948
Merge pull request #7636 from ethereum/ChrisChinchilla-patch-2
...
[DOCS] Add project board links to read me
2019-11-06 18:37:40 +01:00
Chris Chinchilla
f11597e2f4
Update README.md
2019-11-06 18:37:07 +01:00
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
