Commit Graph

2641 Commits

Author SHA1 Message Date
Alex Beregszaszi
883d4629cd Mark ewasm output as supported
And use proper Ewasm name capitalization
2020-10-30 19:45:04 +00:00
Martin Blicha
c1a57ffbfe [SMTChecker] More precise creation of verification targets. 2020-10-30 19:11:28 +01:00
chriseth
ce50f05fc1 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-29 16:44:47 +01:00
chriseth
e93a84ccd4 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-28 18:19:31 +01:00
chriseth
d190c4f1d4
Merge pull request #10130 from ethereum/docs-abi-encoding-interval-corrections
[docs] Interval corrections in ABI encoding spec
2020-10-28 18:13:42 +01:00
Leonardo Alt
7d9c080050 Update SMT types docs 2020-10-28 13:31:33 +00:00
Kamil Śliwak
cfc878f8a5 docs/abi-spec.rst: There are 256 possible values for uint8 enums 2020-10-28 13:33:30 +01:00
Kamil Śliwak
bc85439576 docs/abi-spec.rst: Note about zero-length fixed-size arrays 2020-10-28 13:33:17 +01:00
chriseth
15e2d8a48a Re-structure list of breaking changes. 2020-10-26 17:46:33 +01:00
chriseth
70e7326695 Document Panic. 2020-10-22 19:26:26 +02:00
chriseth
b4771f2a1c Clarify evaluation of arguments to require. 2020-10-22 18:07:02 +02:00
chriseth
bfc8e26007 Remove low-level log functions. 2020-10-22 17:50:14 +02:00
chriseth
6979952995 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-19 18:02:50 +02:00
chriseth
e262f47f21 Documentation. 2020-10-19 16:58:59 +02:00
chriseth
33d8b62d06 Grammar for unchecked. 2020-10-19 16:58:37 +02:00
chriseth
8a1a8117e9 Set release data and sort changelog. 2020-10-19 15:03:06 +02:00
Leonardo Alt
b67ade5163 Move modelCheckerSettings out of settings in StandardCompiler 2020-10-19 10:39:06 +01:00
Leonardo Alt
4e49135318 Add CLI option to choose model checker engine 2020-10-16 15:01:47 +01:00
Daniel Kirchner
65dd463fd2 Document new argument to setimmutable. 2020-10-15 18:14:41 +02:00
chriseth
00fb152316
Merge pull request #10048 from ethereum/develop
Merge develop into breaking
2020-10-15 17:30:11 +02:00
chriseth
89bdad2096
Merge pull request #10043 from ethereum/emptyArrayCopy
Fix empty array copy bug.
2020-10-15 17:07:54 +02:00
chriseth
38abadf502 Fix empty array copy bug. 2020-10-15 16:48:08 +02:00
Djordje Mijovic
6f7947cfa5 [Sol->Yul] Optimizing delete struct.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
2020-10-14 13:35:15 +02:00
chriseth
f6e57a0eec
Merge pull request #10023 from ethereum/develop
Merge develop into breaking.
2020-10-13 18:18:53 +02:00
hrkrshnn
13e7012e1e Parser: Exponentiation is right associative 2020-10-13 16:38:37 +02:00
Mathias Baumann
32b4f18023 Print warning for unnamed return parameters and no return statement 2020-10-13 13:11:29 +02:00
chriseth
0ea4bdafcd
Merge pull request #10017 from ethereum/develop
Merge develop into breaking.
2020-10-13 12:58:23 +02:00
Djordje Mijovic
1c142c500a [Sol->Yul] Adding documentation section about breaking changes when using ir
Co-authored-by: chriseth <chris@ethereum.org>
2020-10-12 15:46:38 +02:00
chriseth
8a1bf41ac0
Merge pull request #10010 from ethereum/develop
Merge develop into breaking.
2020-10-12 15:33:34 +02:00
Kamil Śliwak
e1cc888369 Fix checkBaseABICompatibility() to make it actually check return parameters and not just ordinary parameters twice 2020-10-12 15:14:56 +02:00
Kamil Śliwak
692e4487ba Expand docs on mixed ABIEncoderV2 and V1 use 2020-10-12 13:27:03 +02:00
Harikrishnan Mulackal
b0acf5dc86
Merge pull request #10005 from ethereum/bugs-fix-tabs
Docs: convert tabs to spaces
2020-10-12 10:03:13 +02:00
Harikrishnan Mulackal
8f2cd82fd9
Merge pull request #9968 from ethereum/docs_fixes
[Docs] Updates Index/Home Page of Sol Docs / Adds "Getting Started"
2020-10-12 08:54:31 +02:00
hrkrshnn
30652394e5 Docs: convert tabs to spaces 2020-10-12 08:01:20 +02:00
chriseth
ca86eacfb2 Remove traces of errors due to shifts by negative amounts. 2020-10-08 20:24:53 +02:00
chriseth
14352ed921 Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-08 20:18:04 +02:00
chriseth
df16515b52 Documentation. 2020-10-08 18:56:18 +02:00
chriseth
346fe1c6c5 Constants at file-level. 2020-10-08 18:56:17 +02:00
franzihei
1b5794b755 update Solidity docs index page 2020-10-08 16:25:26 +02:00
chriseth
e16811e79f Merge remote-tracking branch 'origin/develop' into HEAD 2020-10-08 14:56:52 +02:00
Harikrishnan Mulackal
a309669f75 Disallow explicit conversions from negative literals to `address` 2020-10-07 16:06:02 +02:00
chriseth
b4f6092f90 Set release date. 2020-10-07 15:40:42 +02:00
chriseth
b401093679
Merge pull request #9967 from ethereum/develop
Merge develop into breaking.
2020-10-06 17:45:53 +02:00
Harikrishnan Mulackal
24ba5aa3aa Updating docs on DynamicArrayCleanup bug 2020-10-06 16:06:02 +02:00
chriseth
5aee960934 Explain generated sources in source mappings. 2020-10-01 11:49:47 +02:00
chriseth
fda8bde2d7 Stop after parsing. 2020-09-30 16:57:49 +02:00
chriseth
4bdec8107c Merge remote-tracking branch 'origin/develop' into HEAD 2020-09-29 09:53:50 +02:00
chriseth
da785290ef
Merge pull request #9912 from ethereum/prepare072
Prepare release of 0.7.2.
2020-09-28 16:14:25 +02:00
chriseth
add9867440 Document generated sources. 2020-09-28 15:38:28 +02:00
chriseth
26d07d1925 Prepare release of 0.7.2. 2020-09-28 14:45:39 +02:00
Harikrishnan Mulackal
8339765509 [DOCS] Change >=0.7.0 to ^0.7.0 2020-09-28 13:02:31 +02:00
chriseth
4ddbd34424
Merge pull request #9906 from ethereum/update-docs-pragma
[DOCS] change >0.6.99 <0.8.0 to >=0.7.0
2020-09-28 11:40:08 +02:00
Harikrishnan Mulackal
710231e2b1 Docs: change >0.6.99 <0.8.0 to >=0.7.0 2020-09-28 11:14:45 +02:00
Bhargava Shastry
e2a2276272 Contract level checker: Disallow free function redefinition and alias
shadowing another free function

Co-authored-by: chriseth <chris@ethereum.org>
2020-09-25 17:09:58 +02:00
chriseth
0c6dc1dce4
Merge pull request #9862 from ethereum/develop
Merge develop into breaking
2020-09-23 12:22:32 +02:00
Daniel Kirchner
7fa9a9d312
Merge pull request #9162 from ethereum/memoryEscalator
Memory Escalator
2020-09-21 20:03:38 +02:00
chriseth
71af44b27b Add note about extcodesize check. 2020-09-21 11:58:23 +02:00
Daniel Kirchner
976abf4715 Easy review fixes. 2020-09-17 22:13:27 +02:00
Daniel Kirchner
0eb32b3f60 Rephrase documentation of memoryguard 2020-09-17 22:13:27 +02:00
Daniel Kirchner
f4b42d1c72 Add stack limit evader. 2020-09-17 22:13:27 +02:00
chriseth
aa7a6922e7 Restrict unary negation to signed integers. 2020-09-17 15:01:53 +02:00
chriseth
e4231b879b
Merge pull request #9834 from ethereum/develop
Merge develop into breaking.
2020-09-17 15:00:41 +02:00
Christian Parpart
165f898ba9 Release build for Windows. 2020-09-17 13:32:32 +02:00
franzihei
711983e53c adding lang design and restructuring 2020-09-17 11:46:59 +02:00
chriseth
9750286ee4
Merge pull request #9823 from ethereum/develop
Merge develop into breaking.
2020-09-16 14:24:58 +02:00
chriseth
adccc0608d
Merge pull request #9736 from ethereum/yul_smt
Reasoning based optimizer using integers only
2020-09-15 18:45:55 +02:00
Wayne Nilsen
bc1f591477
Fix homebrew instructions
The instructions for installing a specific version of solidity using homebrew no longer work with the latest version of homebrew. There is a specific error message that indicates that raw github links are forbidden. This documents the workaround that is now needed. This is how I did it but of course I am open so suggestions.
2020-09-15 11:59:25 -04:00
chriseth
e527ac88f7 Documentation. 2020-09-15 15:57:59 +02:00
chriseth
efe829b4b2
Merge pull request #9805 from ethereum/develop
Merge develop into breaking.
2020-09-14 20:48:03 +02:00
Omkar Nikhal
09e137cf69
Update yul.rst 2020-09-14 16:22:15 +05:30
Omkar Nikhal
55a7173e27
Update control-structures.rst 2020-09-12 12:50:36 +05:30
John B Nelson
59533792b4 Add missing word to examples doc explainer 2020-09-11 11:14:25 -07:00
Mathias Baumann
b72fb1333b Adjust docs example to work with v0.8.0 2020-09-08 13:36:16 +02:00
Nikesh Nazareth
b94b927a91 Fix typo: "fallback" should be "receive" 2020-09-07 15:59:56 +10:00
chriseth
b52f334fff Prepare release of 0.7.1. 2020-09-01 17:47:56 +02:00
Kamil Śliwak
af482558cf natspec-format.rst: Update broken link to "Contract ABI" 2020-08-31 14:10:18 +02:00
Kamil Śliwak
961e3f3bcc docs: Remove/update obsolete links to Solidity-related resources 2020-08-31 12:46:45 +02:00
Kamil Śliwak
26ccb98222 docs: Update old external links to use HTTPS where possible 2020-08-31 12:46:45 +02:00
Kamil Śliwak
46524cf164 docs: Update external links to github repos that were moved 2020-08-31 12:46:45 +02:00
Kamil Śliwak
57a22a27a4 docs: Don't use link shortening 2020-08-31 12:46:45 +02:00
Kamil Śliwak
9325c4ee99 docs: Update broken external links to point at new locations 2020-08-31 12:46:45 +02:00
Kamil Śliwak
192954e8fa docs: Fix broken internal links using wrong syntax
- These links were using external link syntax instead of `:ref:`. What's
  worse, Sphinx can't detect when they're broken.
- Added missing anchors in some cases.
2020-08-31 12:46:45 +02:00
Alex Beregszaszi
662f7d8fac Rename Arrow to DoubleArrow 2020-08-27 12:28:27 +01:00
Alex Beregszaszi
4e5b403c37 Introduce RightArrow (->) token in the scanner 2020-08-27 12:28:27 +01:00
Daniel Kirchner
bd21535dd1 Rewrite of the antlr grammar. 2020-08-19 17:55:31 +02:00
chriseth
da8eb98cec Fix typo. 2020-08-19 11:07:14 +02:00
chriseth
cf5aa450bd Documentation. 2020-08-18 11:46:59 +02:00
Daniel Kirchner
5d670aaa18
Merge pull request #9614 from ethereum/yul-hex
Update tests/documentation to show that hex literals are not supported in Yul
2020-08-13 03:11:45 +02:00
Alex Beregszaszi
18eed44688 Drop hex literals from the Yul documentation 2020-08-13 00:27:19 +01:00
Harry Altman
590572d50d Correct immutableReferences documentation from array to object 2020-08-12 19:16:10 -04:00
chriseth
241a564fca
Merge pull request #9517 from ethereum/documentMappings
Document encoding of mappings in library calls.
2020-08-06 16:43:17 +02:00
Kamil Śliwak
89c99800d0 docs: Fix solidity code blocks by using the capitalized name
- This only works with `Solidity`, not with `solidity`.
2020-08-06 14:45:58 +02:00
cakesoft-omkar
14fc453cb4
Update installing-solidity.rst
Typo- Correction
2020-08-06 00:51:10 +05:30
hactrox
9da3410f1b
Update introduction-to-smart-contracts.rst
Fixed a typo
2020-08-05 12:14:51 +08:00
Goh Chun Lin
f61e8ed05d
Corrected typo. 2020-07-31 22:53:12 +08:00
chriseth
ab0b2e1fe1 Prepare changelog for 0.7.0. 2020-07-28 12:44:08 +02:00
Alex Beregszaszi
af22dfa5b4 Document unicode string literals 2020-07-27 18:21:17 +01:00
Alex Beregszaszi
1f39640392 Update grammar for unicode literals 2020-07-27 18:21:17 +01:00
chriseth
0e614bf5cb Document encoding of mappings in library calls. 2020-07-27 15:06:55 +02:00
chriseth
5812cd8213
Merge pull request #9511 from ethereum/ast-hex-string
[BREAKING] Distinguish between stringLiteral and hexStringLiteral in the JSON AST
2020-07-27 12:34:40 +02:00
chriseth
0caec9d28b Explain gas implications of constant and immutable variables. 2020-07-27 11:22:58 +02:00
Alex Beregszaszi
5ecc84e92e Distinguish between stringLiteral and hexStringLiteral in the JSON AST 2020-07-27 10:19:24 +01:00
franzihei
1596ccd25d Adds brand guide and updates team calls info
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Leonardo <leo@ethereum.org>

Co-authored-by: Leonardo <leo@ethereum.org>
2020-07-23 19:31:25 +02:00
chriseth
c4ba2e1956 Fix pragma in documentation. 2020-07-23 11:28:42 +02:00
chriseth
945dfb8392 Unindent. 2020-07-22 16:53:05 +02:00
chriseth
cdb7aa5d13
Merge pull request #9415 from ethereum/documentChanges
Document 0.7.0 changes
2020-07-22 16:51:03 +02:00
chriseth
6bb6783d39 Merge remote-tracking branch 'origin/develop' into breaking 2020-07-22 15:26:44 +02:00
chriseth
e02878329d Prepare for 0.6.12 release. 2020-07-21 16:33:48 +02:00
chriseth
50c3daf693
Merge pull request #9255 from ethereum/solidity-upgrade-constructor
[BREAKING] solidity-upgrade: added module to remove visibility of constructors
2020-07-21 13:24:39 +02:00
chriseth
c11bb24a51 Add example about array literals. 2020-07-21 13:04:59 +02:00
chriseth
9be5ed1220 Merge remote-tracking branch 'origin/develop' into breaking 2020-07-21 11:35:28 +02:00
chriseth
fbc0cc52e4 Document 0.7.0 changes. 2020-07-21 10:44:31 +02:00
Tiny熊
1b95a5e1fc
Update simplified chinese translation link.
The implified chinese translation version now host on https://learnblockchain.cn/docs/solidity/ .  

This url will be keep updating .
2020-07-21 16:28:13 +08:00
Mathias Baumann
ba0a4de50d NatSpec: Implement `@inheritdoc` 2020-07-20 18:32:18 +02:00
chriseth
d3647b13e4 Disallow public state variables overriding pure functions. 2020-07-20 15:18:23 +02:00
Mathias L. Baumann
69a596b0ff
Merge pull request #9418 from ethereum/stateMutForOverride
Issue state mutability restriction for overriding and not for virtual functions.
2020-07-20 15:01:25 +02:00
Mathias Baumann
dfffecfe2c Allow overrides to have a more strict mutability than super 2020-07-16 17:55:12 +02:00
chriseth
aa3f51ab47 Issue state mutability restriction for overriding and not for virtual functions. 2020-07-16 17:19:35 +02:00
Daniel Kirchner
38c6ecbbe2 Remove finney and szabo denominations. 2020-07-13 18:07:10 +02:00
Harikrishnan Mulackal
bb2faf5e49 Updated docs 2020-07-13 19:54:22 +05:30
chriseth
59fd1b894a Allow dots in assembly identifiers. 2020-07-13 14:59:22 +02:00
chriseth
9b5611dda6 Documentation. 2020-07-13 14:59:22 +02:00
Mathias Baumann
6b37f1c025 Remove visiblity of libraries in inherited contracts. 2020-07-09 16:38:29 +02:00
Harikrishnan Mulackal
6b435b2192 solidity-upgrade: added module to remove visibility of constructors 2020-07-08 18:57:20 +05:30
chriseth
64b6524bdb Merge remote-tracking branch 'origin/develop' into breaking 2020-07-08 09:37:14 +02:00
chriseth
1f0f5d2183 Prepare changelog for 0.6.11. 2020-07-07 13:49:22 +02:00
chriseth
479d7a059f Documentation. 2020-07-07 12:16:18 +02:00
Daniel Kirchner
70615a73a4 Disallow the same yul variable occurring multiple times on the LHS of an assignment. 2020-07-07 10:52:47 +02:00
chriseth
ab68406006 Merge remote-tracking branch 'origin/develop' into breaking 2020-07-06 15:25:25 +02:00
chriseth
b0bc747000
Merge pull request #9289 from ethereum/doc-jumpdest
[DOCS] Added jumpdest to yul doc.
2020-07-02 14:18:01 +02:00
Harikrishnan Mulackal
40322fa703 Added jumpdest to yul doc. 2020-07-02 16:49:10 +05:30
chriseth
3e3f9a472f Merge remote-tracking branch 'origin/develop' into breaking 2020-06-30 18:56:51 +02:00
chriseth
76943023bd
Merge pull request #9267 from ethereum/issue-8911-split
NatSpec: Implement default inheritance.
2020-06-30 15:16:14 +02:00
Mathias Baumann
c50f0ae00e NatSpec: Implement default inheritance. 2020-06-30 14:45:13 +02:00
Harikrishnan Mulackal
eeadb5a6b5 Tests, Docs and Changelog 2020-06-30 16:53:41 +05:30
chriseth
49e3217933
Merge pull request #9230 from ethereum/issue-8716
Add unit denomination ``gwei``
2020-06-30 12:36:10 +02:00
Mathias Baumann
fe33891531 Natspec: Add warning when using @author with functions 2020-06-29 18:10:36 +02:00
chriseth
a1309e4c5f
Merge pull request #9011 from ethereum/natspec-event
NatSpec for events
2020-06-29 17:14:00 +02:00
Harikrishnan Mulackal
4146ff9fcf NatSpec for events 2020-06-26 15:06:43 +05:30
Mathias Baumann
02328f3bbb Add unit denomination `gwei` 2020-06-24 18:24:56 +02:00
Kamil Śliwak
a331d4449d Add linkersymbol() builtin to Yul EVM dialect 2020-06-24 15:06:52 +02:00
Kamil Śliwak
1b09b4f950 Allow Yul literals longer than 32-bytes when used as literal arguments for builtins 2020-06-24 15:05:38 +02:00
chriseth
af0cd4ab98
Merge pull request #9252 from ethereum/develop
Merge develop into breaking.
2020-06-23 18:28:24 +02:00
a3d4
25ebff3a38 Fix pragma solidity version in antlr grammar 2020-06-23 02:25:21 +02:00
chriseth
1441b97131 Merge remote-tracking branch 'origin/develop' into breaking 2020-06-22 18:40:20 +02:00
Kamil Śliwak
44e39f3626 docs/yul.rst: Fix typos in setimmutable/loadimmutable docs 2020-06-19 18:26:30 +02:00
chriseth
71cb7551f4
Merge pull request #9208 from ethereum/develop
Merge develop into breaking.
2020-06-16 16:11:41 +02:00
chriseth
00f2800570 Explain how to build proper release. 2020-06-15 17:32:19 +02:00
chriseth
8155ad2187 Merge remote-tracking branch 'origin/develop' into breaking 2020-06-15 17:11:41 +02:00
chriseth
3c43216a75 Set release date for 0.6.10. 2020-06-11 14:07:00 +02:00