Matheus Aguiar
4aa310034c
Added missing keyword unicode to Lexer
2023-03-28 13:51:43 -03:00
Nuno Santos
7974a3cf7c
Consolidated term to reentrancy
2023-03-28 12:28:31 +01: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 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