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 |
|
 
|
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 |
|
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 |
|
 
|
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 |
|
  
|
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 |
|
   
|
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 |
|