cerc-io/solidity
16
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,509 Commits 348 Branches 121 Tags 100 MiB
8c5304368d
Commit Graph

3317 Commits

Author SHA1 Message Date
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 ef6ff2f055/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 Entriken
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 Santos
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
Nicolás Acosta
1edfd73b37 style(security-considerations): fix mapping style 2023-02-01 15:51:56 -03:00
Nicolás Acosta
7b8478a81b style(intro-sc): fix mapping style 2023-02-01 15:51:26 -03:00
Nicolás Acosta
4ff310cc62 style(common-patterns): fix mapping style 2023-02-01 15:50:48 -03:00
Nicolás Acosta
e89efe89a6 style(mapping-types): fix mapping style 2023-02-01 15:49:34 -03:00
Rodrigo Q. Saramago
66007f5001
Add release date and bugs by version entry for 0.8.18 2023-02-01 14:45:13 +01:00
Kamil Śliwak
8447baec4d docs; Link to published versions of translated docs for languages that already have them 2023-02-01 12:27:56 +01:00
Kamil Śliwak
57b01db57b docs: Replace broken link to Oxford Dictionary British spelling page with an archive.org copy 2023-02-01 12:27:23 +01:00
Kamil Śliwak
986bc361b1 docs: Replace some links with redirects found by linkcheck 2023-02-01 12:26:44 +01:00
Kamil Śliwak
20138f35df
Merge pull request #13909 from codeTIT4N/develop 
Replace references to `sha3` in the docs with `keccak`
 2023-02-01 11:54:06 +01:00
franzihei
6cad055d97
[DOCS] Update copyright year and description (#13894) 
Co-authored-by: Nuno Santos <nuno.santos@ethereum.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
 2023-02-01 11:47:08 +01:00
Kamil Śliwak
dec1adc03b
Merge pull request #13883 from ethereum/default-evmversion-paris 
Set default EVM version to Paris
 2023-02-01 11:45:13 +01:00
Lokesh Kumar
4f84112650
updated abi-spec.rst 2023-02-01 03:12:03 +05:30
Rodrigo Q. Saramago
feba4de509
Add paris constraints to SMTChecker 
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: Leo <leo@ethereum.org>
 2023-01-31 11:03:04 +01:00
Mio
a68501cebd
fix redundant typo 2023-01-31 13:23:47 +08:00
Rodrigo Q. Saramago
d9d9ab30a2 Update default evm version to paris 2023-01-30 17:57:08 +01:00
Nikola Matic
83a937423f Update docs to reflect deprecation warning 2023-01-26 13:42:26 +01:00
Nikola Matic
e7543d487d Issue warning when using deprecated SELFDESTRUCT 2023-01-25 16:55:11 +01:00
Rodrigo Q. Saramago
ef6ff2f055
Adds support for the EVM version "Paris". 
Deprecates `block.difficulty` and disallow `difficulty()` in inline assembly for EVM versions >= paris.
The change is due to the renaming introduced by EIP-4399 (see: https://eips.ethereum.org/EIPS/eip-4399).
Introduces `block.prevrandao` in Solidity and `prevrandao()` in inline assembly for EVM versions >= paris.

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
Co-authored-by: Daniel <daniel@ekpyron.org>
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
 2023-01-23 18:50:36 +00:00
Daniel
c195782f96
Merge pull request #13778 from Andy53/removes-solidity-upgrade 
Removes solidity upgrade
 2023-01-18 13:20:54 +01:00
Nikola Matic
c2e2adb953 Allow support for older boost and adjust docs 2023-01-18 10:51:14 +01:00
andy53
df2ea19535 Remove solidity-upgrade 
update config.yaml

Update using-the-compiler.rst

removed bug reports section

added changelog entry

removed trailing whitespace

removed trailing whitespace
 2023-01-17 07:59:43 -07:00
Big-Aaron
83774c28bf
Update ir-breaking-changes.rst 
Fix errors in the doc
 2023-01-17 11:30:30 +08:00
Daniel
f441e1323a
Merge pull request #13384 from zemse/develop 
Allow named parameters in mapping types
 2023-01-09 17:59:29 +01:00
Rodrigo Q. Saramago
0694f639e4
Update sphinx-a4doc version 2023-01-04 11:46:59 +01:00
vlad
f48cd743d9 fix sphinx version to 5.* since 6.0 is not supported by code 2022-12-30 00:46:32 +04:00
Rodrigo Q. Saramago
7242d9c2cf
Fix sphinx-a4doc version to 1.3.0 2022-12-20 13:21:27 +01:00
Kamil Śliwak
b053359b9b
Merge pull request #13782 from kanej/docs/update-resources-with-more-extensions 
docs(resources.rst): update editor extensions
 2022-12-16 17:58:44 +01:00
Leo Alt
d5c6fd881b update docs on the required z3 version 2022-12-16 13:05:40 +01:00
Kamil Śliwak
37e935f025
Merge pull request #13803 from kuzdogan/docs-favicon 
[docs]: Add Solidity favicon
 2022-12-14 23:37:47 +01:00
Kaan Uzdogan
a98bb41bd3 Add Solidity favicon to docs 2022-12-14 18:15:50 +01:00
Kamil Śliwak
e769c79813
Merge pull request #13741 from ethereum/consistent-bound-function-terminology 
Consistent terminology for attached/bound functions
 2022-12-14 14:53:47 +01:00
John Kane
f5858a118d
docs(resources.rst): update editor extensions 
Update the editor extensions section of the resources page:

1. Remove the Atom section - as Atom is being deprecated on
   2022-12-15. See https://github.blog/2022-06-08-sunsetting-atom/.
2. Update the vim syntax plugins - remove the tomlion extension as
   no longer maintained, add the thesis and TovarishFin forks of
   the tomlion vim syntax highlighter as these are both maintained.
3. add/rename vscode extensions - add truffle and remix extensions,
   rename the two Solidity extensions to include the authors for
   disambiguation.
4. Clarify the Visual Studio Code title by including `VS Code` in
   brackets, as many people only know it as `VS Code`.
5. Use Sublime Text's full name.

Co-authored-by: franzihei <41991517+franzihei@users.noreply.github.com>
Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
 2022-12-12 10:02:54 +00:00
Soham Zemse
fa78e0f3d4 feat: allow named parameters in mapping types 
Co-authored-by: Hari <webmail.hari@gmail.com>

test: add parser and abi test cases

docs: add example on using named parameters for mappings

- Add changelog

feat: update antlr grammar to allow named parameters in mappings

fix: prevent conflicting mapping parameter names

ref: change order of mapping initializers

test: update expectations and fix build

test: add more tests

fix: use common error & code for conflicting params

fix: issue with accessing nested mapping

test: add conflicting params tests for more nested levels

Update libsolidity/analysis/DeclarationTypeChecker.cpp

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

fix: error reported with the same code twice

test: add more tests for 3 level nested mapping

Address review comments
 2022-12-08 11:56:58 +01:00
Kamil Śliwak
abbf2cb6d6 using-for-rst: Make it clearer where snippets are just examples 2022-12-07 19:31:44 +01:00
wechman
c2e6452b90 using-for.rst: Clarify which library functions can be used with using for 2022-12-07 19:31:44 +01:00
wechman
64a4f32bc2 Consistent terminology for attached/bound functions 2022-12-07 19:31:41 +01:00
Minebuu
41b3f0521b
Fixed typo in abi.encodeWithSignature description 
In the description of abi.encodeWithSignature, a right parenthesis is missing in the function argument of abi.encodeWithSelector.
 2022-12-07 14:18:04 +09:00
franzihei
a9bd337fac
Update yul.rst 2022-12-02 17:17:33 +01:00
Sabnock
dbc1bc1515
Array member clarification (#13763) 
* clarify array members

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
 2022-11-30 00:39:57 +01:00
Kaan Uzdoğan
fa944a0673
Add "appendCBOR" to example JSON in metadata docs 2022-11-23 09:53:58 +01:00
Leo Alt
24df40de9a Allow running Eldarica from the command line 2022-11-22 21:16:45 +01:00
Kamil Śliwak
5211d3da0d
Merge pull request #13698 from ethereum/evm-paris 
Add basic support for the EVM version Paris
 2022-11-21 19:08:01 +01:00
William Entriken
8f705fc327 [Documentation] set error placement in contract, match example to prescription 
Add example

fix order
 2022-11-21 15:52:41 +01:00
Alex Beregszaszi
c353eb0af5 Document difficulty vs. prevrandao 2022-11-21 14:56:46 +01:00
Alex Beregszaszi
eb8af2caec Add basic support for the EVM version Paris 
This mostly means testing with evmone, but instruction renaming of difficulty->prevrandao is omitted.
 2022-11-21 14:56:46 +01:00
Bulgantamir Gankhuyag
76fcd0d537
Bug fix on Yul Object example code. 
Related issue: #13711
 2022-11-17 14:17:10 +08:00
andy53
1e5c229a37 update value-types.rst 2022-11-10 15:42:31 -03:00
andy53
4e035c41b6 update using-the-compiler.rst with details of optimizer cleanup sequence 
Removed duplicate lines and clarified the wording.

Removed trailing whitespace.

Update docs/using-the-compiler.rst

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

Clarified behaviors.

Updated text to meet suggestions.
 2022-11-10 08:45:48 +01:00
Daniel Kirchner
27dba5c2d4 Clarify cleanup in docs. 
Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
 2022-11-09 16:27:24 -03:00
Mike Leach
211d1e733f
Remove "miners" with "block builders" 2022-11-08 21:03:00 -06:00
Doggo
b787c32233 Update receive function documentation 
The receive function documentation is slightly inaccurate currently, as a contract can still receive Ether through payable functions even if no receive or payable fallback function is present.
 2022-11-08 15:59:09 +01:00
Franco Victorio
788e45b66f
Add Hardhat+Solidity VSCode extension 2022-11-02 12:23:33 +01:00
Daniel
f262c1addf
Merge pull request #13419 from rafales/patch-docs-ecrecover 
Update misleading information about OpenZeppelin's ECDSA library
 2022-11-01 14:24:31 +01:00
Nikola Matić
add6a6b1de
Merge pull request #13666 from SavPhill/patch-1 
[Documentation] Change text to be hyperlink
 2022-11-01 07:53:04 -05:00
Phill
564d541853 [Documentation] Change URL to be hyperlink 
The documentation link incorrectly displays in the text along with the angled brackets. I believe this is incorrect, and should be a standard markdown hyperlink. The error also disrupts the spacing of the line.  My small PR fixes both.

Apply suggestions from code review

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

Update docs/contributing.rst

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
 2022-11-01 13:04:47 +01:00
Daniel
684f7e85d5
Merge pull request #13668 from ethereum/docs-translation-link-updates 
[DOCS] Translations: Updated links and adding new language repos
 2022-11-01 10:22:44 +01:00
franzihei
91e9eadcf1 [DOCS] Translations: Updated links and new languages 
Update index.rst
 2022-11-01 08:35:20 +01:00
ligi
d84050d157
Remove the mention of RadSpec 2022-10-31 16:34:01 +01:00
nishant-sachdeva
8c0740748e functions taking calldata args should be assignable to function pointers of same type 2022-10-26 13:29:02 +05:30
Yusuf Benli
0bad372aee Fix buglist typo: NestedCallataArrayAbiReencodingSizeValidation -> NestedCalldataArrayAbiReencodingSizeValidation 
Misspelling fix
 2022-10-24 14:21:42 +02:00
Nikola Matić
b205fe8494
Merge pull request #13501 from ethereum/document-unused-store-eliminator 
Document UnusedStoreEliminator
 2022-10-21 07:06:20 -05:00
Nikola Matic
9e505bd128 Document UnusedStoreEliminator 
Update comment in header file

Address review comments
 2022-10-21 13:19:56 +02:00
Rafal Stozek
a4ed92b546 Update misleading information about OpenZeppelin's ECDSA library 2022-10-07 12:23:18 +02:00
Daniel Kirchner
f39abf29b4 Clarify github issues vs forum posts in docs. 
Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
 2022-10-05 18:42:03 +02:00
Kamil Śliwak
53e0a47a1c
Merge pull request #13265 from ethereum/no-append-metadata 
Add `--no-append-metadata` in CLI and `metadata.append` in JSON
 2022-10-04 17:32:22 +02:00
Kamil Śliwak
efc11a8332
Merge pull request #13572 from ethereum/docs-clarify-relative-path-normalization 
[Docs] Clarify relative path normalization rules
 2022-10-04 17:31:15 +02:00
Kamil Śliwak
5ca2ca35eb
Merge pull request #13553 from ethereum/review-checklist 
Review checklist
 2022-10-04 17:30:43 +02:00
franzihei
2ba8fc1db5
Merge pull request #13568 from ethereum/franzihei-patch-1 
[Docs] Contributing: Update meeting link to meet.soliditylang.org
 2022-09-29 11:51:29 +02:00
Kamil Śliwak
b3b9b88dee Add review checklist 2022-09-28 23:47:19 +02:00
Kamil Śliwak
1df95ed552 path-resolution.rst: Rewrite relative import normalizatin rules to make them more precise 2022-09-28 23:29:10 +02:00
Kamil Śliwak
ac5d575e9c path-resolution.rst: Typo, segument -> segment 2022-09-28 23:23:33 +02:00
Riley
269a0463e4
Update spelling and phrasing. 2022-09-28 06:38:05 -04:00
Riley
71308ce5ee
Improve phrasing. 2022-09-28 06:32:42 -04:00
franzihei
46531ac32b
Update contributing.rst 2022-09-27 15:09:16 +02:00
franzihei
1480bf1293
Update meeting link to meet.soliditylang.org 2022-09-27 12:37:45 +02:00
hrkrshnn
d32661c0af Added tests for --no-append-metadata 
- Command line tests
- Documented the standard json
- Changelog
- A Change in SolidityExecutionFramework to prevent flaky gas tests
- A boost test for --no-append-metadata
- Removed an outdated comment
 2022-09-26 20:40:34 +02:00