Commit Graph
15545 Commits
Author SHA1 Message Date
Daniel Kirchner a1647d9955 Remove overwritten tag in CI config. 2019-11-11 14:22:13 +01:00
chriseth 7c7cca5f2d Merge pull request #7675 from ethereum/memberInitializeInCodingStyle
Member initialize PODs in CODING_STYLE.md.
2019-11-11 13:42:58 +01:00
Daniel Kirchner 7bb9a21103 Member initialize PODs in CODING_STYLE.md. 2019-11-11 13:33:38 +01:00
Erik Kundt af790cec5e Switches to forks of external projects. 2019-11-11 13:14:56 +01:00
chriseth 147120ba47 Merge pull request #7666 from aarlt/list_unimplemented_functions
Output which functions are not implemented
2019-11-10 15:29:40 +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
Alexander Arlt 160983141f [circleci] Add t_osx_soltest. 2019-11-08 14:44:54 -05:00
Alexander Arlt ce0cef7cbc Output which functions are not implemented 2019-11-08 14:06:57 -05:00
Leonardo 78be93856b Merge pull request #7664 from ethereum/smt_fixed_bytes_index_access
Fix ICE in FixedBytes IndexAccess
2019-11-08 19:27:05 +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 ed7be7b9c7 Merge pull request #7480 from ethereum/smt_chcsmtlib2interface
[SMTChecker] Add CHCSmtLib2Interface
2019-11-07 15:10:23 +01:00
chriseth d633d375e7 Merge pull request #7450 from ethereum/stripRevertMessages
Provide different options for reason strings.
2019-11-07 15:03:53 +01:00
chriseth a081b720b9 Merge pull request #7587 from ethereum/abiv2-returndata-fuzz
Abiv2 returndata fuzz
2019-11-07 15:03:14 +01:00
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 DicksonandErik K 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 Chinchillaandchriseth 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