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
23,332 Commits 348 Branches 121 Tags
disallow-literal-suffix-overloading
Commit Graph
3293 Commits
Author SHA1 Message Date
Matheus Aguiar f97e3884cb User-defined literal suffixes: Grammar 2023-04-12 12:07:46 +02:00
Daniel 82bde40717 Merge pull request #14107 from ethereum/push0 
Introduce `Shanghai` version and `push0` support
 2023-04-12 10:10:03 +02:00
hrkrshnn b30f89bcce docs: On supporting shanghai EVM version and changelog 2023-04-12 00:10:24 +02:00
minaminao 16d758b7f9 Fix dark mode in grammar 2023-04-07 13:16:21 +09:00
minaminao 26c769fe8e fix: not displaying svg image 2023-04-06 01:35:09 +09:00
Kamil Śliwak 7b634152bd Merge pull request #14071 from minaminao/docs-fix-yul 
docs: correct small errors in yul.rst
 2023-04-04 15:28:15 +02:00
Kamil Śliwak 5e88d590c4 Merge pull request #14077 from minaminao/consolidate-terms-and-fix-typos 
Fix a couple of small errors in docs: broken/missing backticks, broken code blocks, bad capitalization
 2023-04-03 17:00:36 +02:00
Kamil Śliwak 79d975a77d Merge pull request #14078 from ethereum/fix_missing_keyword_unicode 
Fix missing keyword `unicode` in grammar
 2023-04-03 12:53:20 +02:00
Nikola Matić f2dc3d38a7 Merge pull request #14052 from kuzdogan/develop 
Update Metadata Documentation
 2023-03-31 15:35:56 +02:00
Kaan Uzdoğan 1a23b7a60a Update metadata docs 
Squashed into single commit

Squashed commits:
Sort metadata JSON, add errors to devdoc & userdoc

Sorts the example metadata in the alphabetical order,
as this is the way output by the compiler.

Add playground.sourcify.dev link

Update metadata documentation content

Fix trailing whitespaces

Add new line after code-block

Fix unexpected indentation

Fix unexpected unindent

Fix unexpected unindent - 2

Suggestions from code review: wording, punctuation

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Fix missing trailing commas

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Order yul settings, fix trailing commas

Explicitly state appended to the runtime bytecode

Break down metadata content into two points

Remove trailing whitespace
 2023-03-31 15:27:57 +03:00
Matheus Aguiar 4aa310034c Added missing keyword unicode to Lexer 2023-03-28 13:51:43 -03:00
minaminao c0f92da860 Replace solidity with Solidity 2023-03-28 23:02:29 +09:00
minaminao c2a2fce8e7 Replace Send with `send` 2023-03-28 23:01:06 +09:00
minaminao 25a41e3ac6 Replace Javascript with JavaScript 2023-03-28 22:59:48 +09:00
minaminao cd8636105d Replace python with Python 2023-03-28 22:59:05 +09:00
minaminao ccb64e9fa4 Fix the style of bullet points 2023-03-28 22:57:39 +09:00
minaminao dce1e7b378 Fix "Yul Code" 2023-03-28 22:56:24 +09:00
minaminao f12e368d67 Fix the missing dot 2023-03-28 22:55:09 +09:00
minaminao c5ae22db86 Wrap numbers in backquotes 2023-03-28 22:53:57 +09:00
minaminao 58f3aa8c28 Fix the code block not rendered 2023-03-28 22:52:09 +09:00
minaminao 1468f5ac41 Fix the missing backquote 2023-03-28 22:50:35 +09:00
Nuno Santos 7974a3cf7c Consolidated term to reentrancy 2023-03-28 12:28:31 +01:00
minaminao 7375fc24c0 Omit the mention of topics 2023-03-27 18:26:15 +09:00
minaminao 6f0941a510 Correct small errors in yul.rst 2023-03-25 15:13:51 +09:00
Matheus Aguiar 0158de60be Refactored NumberUnit and FunctionDefinition. Added OctalNumber. Fixed number followed by identifier with no whitespace. 2023-03-24 16:19:33 -03:00
mmqxyz 0dd40d2ad2 Fix small typos in abi-spec.rst 2023-03-20 20:12:56 +01:00
Leo Alt aacbe72079 group unsupported warnings 2023-03-15 17:06:06 +01:00
uji 8b07e23975 docs/grammer: Fix the writing of unicodeStringLiteral rules. 
UnicodeStringLiteral rules can be written with a common prefix.
(like HexString https://github.com/ethereum/solidity/blob/ef6ff2f05550e4386f2fec7753a44fe39a124488/docs/grammar/SolidityLexer.g4#L213)
 2023-03-11 17:29:45 +09:00
Leo Alt 21c0f78650 Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
Nuno Santos b8e74ffc57 Update smtchecker.rst 
Fixes #13988
 2023-02-23 12:09:12 +00:00
Nikola Matic 21823613bc Set release date for 0.8.19 2023-02-22 13:33:25 +01:00
Nikola Matić 5f0f91974a Revert "Set version to 0.8.20" 2023-02-22 13:27:50 +01:00
Nikola Matic 02b02f507d Set version to 0.8.20 2023-02-22 12:17:21 +01:00
Daniel 103bf7a71f Merge pull request #13790 from ethereum/user-defined-operators-for-udvt 
User-defined operators for UDVTs
 2023-02-22 11:58:48 +01:00
William EntrikenNuno SantosNikola Matić
 		6216842458 Add recommendation for leading underscore, see #11764 
Update docs/style-guide.rst

Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>

Update docs/style-guide.rst

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>

Update docs/style-guide.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
 2023-02-22 07:31:51 +01:00
wechman 2e8d50eca2 User-defined operators: Documentation 2023-02-22 00:39:25 +01:00
wechman 9445483d60 User-defined operators: Parsing and grammar 2023-02-22 00:06:17 +01:00
Nikola Matic 2c306ed32c Fix broken links for 0.8.19 2023-02-21 14:46:41 +01:00
drblessing 37e507972c Update block time documentation 2023-02-21 13:18:51 +01:00
minaminao 411431444e fix: remove unnecessary text in yul.rst 2023-02-21 05:37:10 +09:00
Daniel 048aabd3ca Merge pull request #13934 from esaulpaugh/develop 
specify "receive" as having no "name"
 2023-02-07 15:40:52 +01:00
Leo 7176925a87 Merge pull request #11559 from ethereum/smt_trusted 
[SMTChecker] Trusted mode for external calls
 2023-02-06 21:39:13 +01:00
Nuno Santosandchriseth 411841cbb5 Tweak wording in value type docs (#13935) 
* Update value-types.rst

- User-defined were written inconsistently (with/without hyphen)
- Rewording some sentences for user clarity.

* Update docs/types/value-types.rst

Co-authored-by: chriseth <chris@ethereum.org>

---------

Co-authored-by: chriseth <chris@ethereum.org>
 2023-02-06 17:19:48 +00:00
Leo Alt 8d91ccf028 [SMTChecker] Add a new trusted mode which assumes that code that is 
available at compile time is trusted.
 2023-02-06 17:02:33 +01:00
Evan Saulpaugh 821da895ea specify "receive" as having no "name" 2023-02-05 16:13:23 -06:00
Nicolás Acosta da7dfeb0c5 style(reference-types): fix mapping style 2023-02-01 15:54:32 -03:00
Nicolás Acosta b403085fa1 style(layout_in_storage): fix mapping style 2023-02-01 15:54:08 -03:00
Nicolás Acosta 9b0556caa4 style(modular): fix mapping style 2023-02-01 15:53:33 -03:00
Nicolás Acosta 5b149adfcd style(visibility-and-getters): fix mapping style 2023-02-01 15:53:04 -03:00
Nicolás Acosta 72a17ceb71 style(function-modifiers): fix mapping style 2023-02-01 15:52:34 -03:00