chriseth
8472e8591d
Merge pull request #7652 from ethereum/generalizeRuleList
...
Generalize rule list
2019-11-07 15:02:40 +01:00
chriseth
782de06554
Merge pull request #7658 from ethereum/inlineAssemblyDocs
...
Document variable name restrictions for declarations in inline assembly.
2019-11-07 14:54:59 +01:00
Daniel Kirchner
75c3a7dc06
Document variable name restrictions for declarations in inline assembly.
2019-11-07 14:47:35 +01:00
chriseth
4b6647f6e1
Generalize word.
2019-11-07 14:33:34 +01:00
chriseth
fa02667075
Generalize instructions.
2019-11-07 14:33:34 +01:00
chriseth
138ee647f1
Provide different options for reason strings.
2019-11-07 14:13:53 +01:00
Daniel Kirchner
108992c335
Merge pull request #7640 from ethereum/smt_fix_060
...
[SMTChecker] Fix override tests
2019-11-07 14:10:10 +01:00
chriseth
033b61f920
Merge pull request #7657 from ethereum/reallowBlankIssues
...
Github: remove blank issue template config
2019-11-07 14:08:02 +01:00
Daniel Kirchner
83496829be
Github: remove blank issue template config
2019-11-07 13:44:27 +01:00
chriseth
c0b27d0bc1
Merge pull request #7648 from ethereum/inlineAssemblyShadowing
...
Error on shadowing and invalid names in inline assembly
2019-11-07 13:31:09 +01:00
chriseth
e581194a62
Merge pull request #7654 from ethereum/update-evmc
...
Update EVMC to 6.3.1
2019-11-07 13:06:47 +01:00
Daniel Kirchner
0556f64722
Analyze inline assembly variable declarations for invalid or shadowing names.
2019-11-07 13:04:37 +01:00
Leonardo Alt
fc945880d1
[SMTChecker] Fix override tests
2019-11-07 11:49:32 +01:00
Leonardo
23b6a8eb07
Merge pull request #7651 from ethereum/addReturn89
...
Fix build by adding return.
2019-11-07 11:49:16 +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
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
64cad825e3
Fix build by adding return.
2019-11-06 22:16:06 +01:00
chriseth
21e65076b3
Merge pull request #7650 from ethereum/develop
...
Merge develop into develop_060
2019-11-06 21:56:55 +01:00
chriseth
d4354a47b7
Merge pull request #7534 from gh1dra/return-multiple-natspec
...
Add support for multiple (named) return parameters in Natspec devdoc
2019-11-06 21:55:31 +01:00
Cory Dickson
f9603521a4
Update Changelog.md
...
author:@erak
Co-Authored-By: Erik K <erik@zirkular.io>
2019-11-06 21:45:15 +01:00
cd10012
a94d22e5fe
Add documentation for extractReturnParameterDocs
2019-11-06 21:45:01 +01:00
cd10012
16fe59b7b4
Implement @erak review notes by creating function and adding constructor test
...
Update 060 doc with natspec change
Add two more tests with mixed usage
Fix solc-js
fix changelog
2019-11-06 21:44:59 +01:00
cd10012
f598b1515f
Give unamed parameters unique keys and update tests to new spec
...
Fix whitespace
2019-11-06 21:44:34 +01:00
cd10012
18fe693fdd
Add unamed return param test and check size in conditional
2019-11-06 21:44:09 +01:00
cd10012
b3ae601e88
Refactor to have multiple return params
2019-11-06 21:44:09 +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
chriseth
30ea41c36d
Merge pull request #7526 from ethereum/modifierDepth
...
Add modifier depth to source mappings.
2019-11-06 13:03:40 +01:00
Alex Beregszaszi
f693262b81
Merge pull request #7643 from ethereum/fixWindows67
...
Fix windows build
2019-11-06 10:19:21 +00:00
Leonardo Alt
10e70b8603
[SMTChecker] Support inheritance and resolve overrides
2019-11-06 11:00:06 +01:00
chriseth
e275bb88f0
Fix windows build.
2019-11-06 02:06:19 +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
4d99bf68f4
Merge pull request #7638 from ethereum/develop
...
Merge develop into develop_060
2019-11-05 17:33:54 +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