cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,821 Commits 348 Branches 121 Tags
ce0cef7cbc2bc4d242726bdf3211770bd94b7644
Commit Graph
14821 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alexander Arlt ce0cef7cbc Output which functions are not implemented 2019-11-08 14:06:57 -05: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 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 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 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
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
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
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
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
chriseth cb2096c82a Add modifier depth to source mappings. 2019-11-05 16:50:38 +01:00
chriseth 12c6226901 Merge pull request #7617 from ethereum/updateSomeTests 
Some changes to "abstract".
 2019-11-05 16:38:03 +01:00
Daniel Kirchner f0099d8cf1 Merge pull request #7629 from ethereum/fixChangelog 
Fix changelog from develop.
 2019-11-05 16:25:02 +01:00
chriseth 62da1877ef Fix changelog from develop. 2019-11-05 14:18:32 +01:00
chriseth 5388c919f0 Some changes to "abstract". 2019-11-05 13:55:31 +01:00
chriseth cac2e843e6 Merge pull request #7618 from ethereum/addMoreAbstractKeywordsInTests 
Add some more abstract keywords in test to make sure the correct property is tested.
 2019-11-05 13:38:21 +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