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,267 Commits 348 Branches 121 Tags 100 MiB
0158de60be
Commit Graph

3269 Commits

Author SHA1 Message Date
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
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