Commit Graph

2880 Commits

Author SHA1 Message Date
chriseth
cd13fcd758
Merge pull request #11155 from ethereum/missing-ir-semantic-changes
Docs: Update breaking IR changes documentation wrt expression evaluation order and dirty bits clean up
2021-04-22 16:32:18 +02:00
hrkrshnn
7882a2a89d Added documentation about --asm flag 2021-04-22 11:05:44 +02:00
franzihei
391343564b adding language influences page 2021-04-22 10:46:11 +02:00
Bhargava Shastry
6e74df8ab6 Update text on function argument evaluation order.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2021-04-22 10:38:51 +02:00
Bhargava Shastry
abbe460813 Docs: Update breaking IR changes documentation wrt expression evaluation order and dirty bits clean up.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
Co-authored-by: chriseth <chris@ethereum.org>
2021-04-22 10:38:51 +02:00
chriseth
3aad6b239c Prepare changelog for 0.8.4. 2021-04-21 14:21:00 +02:00
Leonardo Alt
dd1865873e Choose contracts to be analyzed by the SMTChecker 2021-04-21 10:34:14 +02:00
Leonardo Alt
e3abde43f5 Change settings.modelChecker.targets to take an array instead of string 2021-04-19 17:53:03 +02:00
franzihei
8f17034eee Docs Contributing: Replace Google Meet with Jitsi Link 2021-04-13 16:01:36 +02:00
chriseth
0289994da5
Merge pull request #11221 from ethereum/fixCalldataDecodingOverflowBug
Fix calldata decoding overflow bug
2021-04-12 18:11:29 +02:00
chriseth
4912bfe639
Merge pull request #11229 from ethereum/antlrPath
Fix import paths in grammar and grammar testing details.
2021-04-12 16:30:41 +02:00
Daniel Kirchner
6fdfd8b62b Fix import path grammar and grammar testing details. 2021-04-12 14:54:36 +02:00
chriseth
680ea78f14
Merge pull request #11228 from aybehrouz/typo-fix-1
Fix a typo
2021-04-12 14:03:48 +02:00
chriseth
2ed17e4b43 Update tests. 2021-04-12 13:43:56 +02:00
Leonardo Alt
d89be74e4a Update docs 2021-04-08 21:03:39 +02:00
Behrouz
05e1b72709
Fix a typo 2021-04-08 22:50:40 +04:30
hrkrshnn
d9c57dd1fb Added index for safemath in docs 2021-04-08 17:39:04 +02:00
chriseth
7eb5e27e54
Merge pull request #11173 from ethereum/allowHexStringLiterals
Allow hex string literals in Yul.
2021-04-08 15:30:23 +02:00
Feiyang Tan
e36337d74b Type: strings 2021-04-08 15:21:33 +02:00
chriseth
f04adde664 Allow hex string literals in Yul. 2021-04-08 15:03:33 +02:00
Kamil Śliwak
b85ace0c30
Merge pull request #10972 from ethereum/docs_seo
[DOCS] Create robots.txt / Avoid search results showing docs of old Solidity versions
2021-04-06 15:57:32 +02:00
Harikrishnan Mulackal
717a1c9905
Update docs/080-breaking-changes.rst 2021-04-06 11:48:04 +02:00
Paul Razvan Berg
f1f236ad3b
docs: mention the v0.8 restrictions on negative unary 2021-04-03 18:04:32 +03:00
franzihei
2962d48593 Create robots.txt
Add explanatory text
2021-04-01 16:18:46 +02:00
chriseth
99a9bd1a63
Merge pull request #11176 from ethereum/random-doc-clarifications
Random documentation clarifications
2021-04-01 14:47:54 +02:00
Harikrishnan Mulackal
b605211d53
Merge pull request #11170 from ethereum/natspec-doc
Move improvements to the NatSpec documentation
2021-03-31 13:18:55 +02:00
Alex Beregszaszi
a99e0eb5cb Move improvements to the NatSpec documentation 2021-03-30 22:09:21 +01:00
chriseth
786ae2ceec Use errors in examples. 2021-03-30 23:04:32 +02:00
chriseth
0c1be06cba Documentation for custom errors. 2021-03-30 23:04:32 +02:00
chriseth
3353107779 Grammar for revert statement. 2021-03-30 21:15:46 +02:00
chriseth
b04b189959 Syntax for custom errors. 2021-03-30 21:15:18 +02:00
Kamil Śliwak
879f1b3e26 docs: Mention that low-level calls do not have an extcodesize check 2021-03-30 18:10:00 +02:00
Kamil Śliwak
8c6bbf607f docs: Explain that public library functions cannot be called internally from the outside 2021-03-30 18:10:00 +02:00
Kamil Śliwak
e1464fa4fb docs: Clarify how modifiers can affect function arguments and return values 2021-03-30 18:10:00 +02:00
Kamil Śliwak
67dea6c4f1 docs: Clarify which functions can be assigned to function variables 2021-03-30 14:31:51 +02:00
Kamil Śliwak
36f769662b docs: Add selector to the index 2021-03-30 14:31:51 +02:00
Kamil Śliwak
4053805356 docs: Yul create() and create2() return zero address on failure 2021-03-30 14:31:51 +02:00
Kamil Śliwak
797554668c docs: Newly allocated arrays are initialized with default values 2021-03-30 14:31:51 +02:00
Kamil Śliwak
259bf3f23a docs: The default visibility level for state variables is internal 2021-03-30 14:31:51 +02:00
Kamil Śliwak
60090fb4a9 docs: Calldata arguments are no longer limited to external functions 2021-03-30 14:31:51 +02:00
Kamil Śliwak
93bfc76216 docs: Mention explicitly that bitwise operators do not perform overflow/underflow checks 2021-03-30 14:31:51 +02:00
Leonardo Alt
dbd067d6db Report out of bounds index access 2021-03-30 10:28:48 +02:00
chriseth
bb49bc5892
Merge pull request #10418 from ethereum/function-specializer
Function specializer
2021-03-29 15:48:01 +02:00
hrkrshnn
bd5e47dc55 Changelog and adding the name to the doc 2021-03-29 11:02:31 +02:00
zayneio
3643024fb0 Fix typo in documentation 2021-03-28 17:02:18 -04:00
Alex Beregszaszi
522fdc158d Update pygments-lexer-solidity to 0.7.0 2021-03-25 20:29:05 +00:00
Djordje Mijovic
8da630f67b Updating pragma for docs example for bytes concat. 2021-03-25 17:11:39 +01:00
Christian Parpart
10ec49ddb9 Adds @custom:.... natspec example to the natspec-format documentation.
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
2021-03-25 13:00:01 +01:00
Alex Beregszaszi
78a66787d4 Improve documentation about NatSpec
Clarify the connection to Doxygen.
2021-03-24 16:14:48 +00:00
Alex Beregszaszi
7ac891600d Properly capitalise UTF-8/ASCII in the documentation 2021-03-24 16:09:00 +00:00
Djordje Mijovic
fd0762b5ef Documenting bytes.concat.
Co-authored-by: chriseth <chris@ethereum.org>
2021-03-24 11:49:21 +01:00
Hongbo Miao
cbea8241dd docs: fix semantic version link 2021-03-23 23:17:24 +08:00
chriseth
a32e2e2130 Prepare changelog for 0.8.3. 2021-03-23 12:55:13 +01:00
hrkrshnn
30e08ee3a5 Changelog and test for the KeccakCaching bug 2021-03-23 11:09:00 +01:00
chriseth
8c583784c0
Merge pull request #11133 from ghidello/develop
[DOCS] Update OpenZeppelin's ECDSA contract URL
2021-03-22 15:02:34 +01:00
ghidello
b37723dc36
[DOCS] Update OpenZeppelin's ECDSA contract URL 2021-03-21 11:38:04 +01:00
Leonardo Alt
569afe711a SMTChecker tutorial and docs cleanup 2021-03-18 11:09:26 +01:00
Alex Beregszaszi
b477a7d163 Document the version/kind fields in the natspec documentation 2021-03-17 16:04:59 +00:00
Alex Beregszaszi
830bc8f88a Clarify the syntax of Solidity is not Python inspired 2021-03-16 17:11:01 +01:00
chriseth
26d8ee2f86 Set release date and sort changelog. 2021-03-02 16:54:01 +01:00
chriseth
ecdeb417c5 Documentation. 2021-03-02 16:53:31 +01:00
Kamil Śliwak
01f8005d04 Remove the last remains of --ast-json option 2021-02-23 12:39:19 +01:00
chriseth
7ac440f35b
Merge pull request #10968 from enjiniya-sama/develop
Update blind-auction.rst
2021-02-16 13:52:16 +01:00
Sanad
110b4df1ff
Update blind-auction.rst 2021-02-16 12:09:58 +00:00
dms-yondy
79e4c6da11 Fixed the grammer of a sentence in the docs 2021-02-16 09:44:31 +00:00
Kamil Śliwak
9d762f381f
Merge pull request #10932 from ssi91/add-sha256-field-to-the-docs
add sha256 field ot the docs
2021-02-15 17:48:02 +01:00
franzihei
e97a856b45 Updating contributing and fixing capitalisation. 2021-02-15 16:18:11 +01:00
chriseth
d616b3f266
Merge pull request #10929 from ethereum/inlinerDocs
Documentation of the inliner in the old optimizer.
2021-02-10 09:16:22 +01:00
Daniel Kirchner
5a59fde073 Documentation of the inliner in the old optimizer. 2021-02-10 09:14:05 +01:00
ssi91
e4d6273e5e add sha256 field ot the docs 2021-02-10 02:50:44 +07:00
Rostyslav
92251d054d Updating grammar
I have changed pronounce "their" to his/her, she/he to clarify the working process of the smart contract.
2021-02-09 19:38:35 +01:00
Daniel Kirchner
cb74a45fd6 Add inlining for old optimizer. 2021-02-09 19:08:58 +01:00
nora
e2c1aafedb Fix typo in Windows -DBoost_DIR specification 2021-02-09 10:33:38 +02:00
Harikrishnan Mulackal
9e58a568a9
Fixed links in Docs 2021-02-08 14:30:09 +01:00
Harikrishnan Mulackal
47d5939dbd
Improved wording in documentation 2021-02-08 14:21:37 +01:00
Harikrishnan Mulackal
9a5a4dfc6c
Added a note about 63/64 rule
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2021-02-08 14:19:13 +01:00
Mikko Ohtamaa
f6b403581e
Small clean up on call stack section
Spelling, clarified what items go to the call stack and how any attack is executed
2021-02-08 12:17:53 +01:00
chriseth
61b5e8e8fe Clarify storage layout. 2021-02-04 16:26:30 +01:00
DragonDev1906
17b0289696
Fix formatting in "Implicit Conversions" 2021-02-03 23:00:04 +01:00
chriseth
490dc09fd4 Set release date for 0.8.1. 2021-01-27 12:12:12 +01:00
chriseth
1adaf929dd
Merge pull request #10707 from ityuhui/yh-721-replace-colon-in-cli
[CLI] Accept also equal sign "=" for ``--libraries``
2021-01-26 08:17:26 +01:00
Hui Yu
c669ee251a [CLI] Allow "=" as separator between library name and address in --libraries commandline option. 2021-01-25 16:14:39 +08:00
az1az1
91b1ada8f5
Update value-types.rst 2021-01-20 17:19:38 -05:00
Leonardo
a75b87c80e
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
2021-01-20 18:37:08 +01:00
Leonardo Alt
3b23cadbdc Add CLI and JSON option to select SMTChecker targets 2021-01-20 17:35:37 +01:00
chriseth
ceecfcb8a3 Fix payable example. 2021-01-20 15:09:26 +01:00
chriseth
1df284733e
Merge pull request #10823 from DmytroShalaiev/DmytroShalaiev-events-doc-fix
Update events doc
2021-01-19 23:37:43 +01:00
chriseth
c3d3415207 Update expectations for uninitialized internal function. 2021-01-19 12:37:30 +01:00
Dmytro
c3d6f19e12
Update events doc
Changed the name of the variable because the RTD displays it in green (like the data type or the syntax of the word function), apparently, this is due to the formatting of the RTD text.
https://docs.soliditylang.org/en/latest/contracts.html#events
2021-01-15 18:12:52 +02:00
chriseth
df7c17a053 Document `catch Panic(uint)`. 2021-01-14 18:37:02 +01:00
chriseth
9ddb8a6ecf Clarify array literal documentation. 2021-01-12 11:55:17 +01:00
a3d4
184d3f3bfd Fix a tiny typo in building-on-windows documentation 2021-01-07 03:09:32 +01:00
Greg Stretton
6aa6161881
Fix typo 2020-12-28 11:06:40 +00:00
Djordje Mijovic
a204596c3e [Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics.
Co-authored-by: chriseth <chris@ethereum.org>
2020-12-22 15:11:07 +01:00
smareasy
e5695448db
Update introduction-to-smart-contracts.rst 2020-12-20 15:16:23 +09:00
chriseth
c4ade1753e
Merge pull request #10445 from ethereum/modifiers
[Sol->Yul] Implement function modifiers.
2020-12-18 14:29:00 +01:00
Harry Altman
bfe80dec6b Mark msg.sender and tx.origin as nonpayable in docs 2020-12-17 22:04:04 -05:00
chriseth
242bf9b6dc Document modifier changes. 2020-12-17 17:00:51 +01:00
chriseth
191070d322 Remove version pragmas using .99. 2020-12-16 19:39:02 +00:00
chriseth
9cfdba6e64 Update bug list. 2020-12-16 16:59:44 +01:00
chriseth
3a23df6717 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-16 16:56:45 +01:00
chriseth
7f677025ec Set release date for 0.7.6. 2020-12-16 15:01:45 +01:00
chriseth
f31cf6b9b5 How to update your code. 2020-12-16 13:48:16 +01:00
chriseth
53368eff9b
Merge pull request #10604 from ethereum/strict-address-payable
[BREAKING] Strict address payable
2020-12-15 18:25:31 +01:00
chriseth
29f46f0b8a Recently released 0.8. 2020-12-15 15:24:01 +01:00
hrkrshnn
571f9dafca Documentation for the PR about making address conversions nonpayable 2020-12-15 15:04:45 +01:00
hrkrshnn
2fb191175b Disallow some explicit conversions to address payable
The following explicit conversions are disallowed:

1. uint160 -> address payable
2. bytes20 -> address payable
3. literals -> address payable (payable(0) is an exception)
2020-12-15 15:01:40 +01:00
Alex Beregszaszi
15237c8404 Disable the type byte 2020-12-14 19:18:25 +00:00
hrkrshnn
7438c4dc16 Tests after making all explicit address conversions as non-payable 2020-12-14 18:46:01 +01:00
hrkrshnn
f30c7cbac8 All explicit address conversions return a non-payable address 2020-12-14 18:41:27 +01:00
hrkrshnn
88c99a7538 Tests/Docs: changing type of msg.sender and tx.origin into address
And also making the type of address(literal) as non-payable address.
2020-12-14 16:55:48 +01:00
hrkrshnn
9bd778d728 Make msg.sender and tx.origin have type address
Previously both of them had type address payable. The idea is that anything that is not know to be
payable should be non-payable.
2020-12-14 16:55:48 +01:00
chriseth
d257ab7141 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 16:05:12 +01:00
chriseth
6fff408d82 Fix lexer rules wrt leading zeros. 2020-12-14 14:17:16 +01:00
chriseth
561280a5cc Merge remote-tracking branch 'origin/develop' into breaking 2020-12-14 11:33:40 +01:00
Kamil Śliwak
0f6f4314b6 Fix code snippets in docs not passing tests on versions matching their pragmas 2020-12-12 04:52:16 +01:00
Alex Beregszaszi
7b347b9ec2 Introduce address(...).code 2020-12-11 03:00:30 +00:00
Alex Beregszaszi
7cd05bf603 Introduce block.chainid 2020-12-10 17:07:54 +00:00
chriseth
d0551b67d7 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 17:07:56 +01:00
Daniel Kirchner
7308abc084 Allow loading Z3 dynamically at runtime. 2020-12-10 16:47:47 +01:00
chriseth
db57842653
Merge pull request #10549 from ethereum/someDocs08
Some changes for the 0.8 list of changes.
2020-12-10 14:09:08 +01:00
chriseth
482bda6887 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 12:15:52 +01:00
chriseth
a105b065e2 Some changes for the 0.8 list of changes. 2020-12-10 11:44:30 +01:00
chriseth
3f748bbb94
Merge pull request #10336 from ethereum/enablecoderv2bydefault
[BREAKING] Enable ABI coder v2 by default.
2020-12-09 18:05:07 +01:00
chriseth
1c99537b5a
Merge pull request #10550 from ethereum/chainIdView
[BREAKING] Mark chainid as view.
2020-12-09 17:41:27 +01:00
Daniel Kirchner
588535566f Mark chainid as view. 2020-12-09 16:55:51 +01:00
Alex Beregszaszi
ad6739d0f6 Support address().codehash 2020-12-09 14:58:27 +00:00
Daniel Kirchner
e691b7402a Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
chriseth
197cb819d4 Documentation. 2020-12-09 15:25:15 +01:00
chriseth
b045195c1e Merge remote-tracking branch 'origin/develop' into breaking 2020-12-08 17:42:31 +01:00
Alex Beregszaszi
66ee3ec533 Remove the \b, \f, \v escape sequences from the Scanner 2020-12-07 21:10:03 +00:00
Daniel Kirchner
1b88a8c845 Update compiler version requirements in the docs. 2020-12-07 18:26:51 +01:00
chriseth
329b8f2a60 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-07 13:04:14 +01:00
Daniel Kirchner
804e98a136 Rephrase. 2020-12-07 11:29:09 +01:00
Daniel Kirchner
c39a5e2b7a Fix accidental repetition in ir breaking changes docs. 2020-12-07 11:24:13 +01:00
Djordje Mijovic
2839a1b0bf [Sol->Yul] Documenting difference in initialization order in case of inheritance.
Co-authored-by: Leonardo <leo@ethereum.org>

Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
2020-12-04 16:32:56 +01:00
chriseth
5de66bf5e4 Documentation. 2020-12-04 15:14:25 +01:00
chriseth
61fd76cb27 Fix documentation about revert data. 2020-12-03 18:47:16 +01:00
hrkrshnn
9e5d7b9910 Test updates after disallowing Integer -> Contract conversion 2020-12-03 17:53:00 +01:00
hrkrshnn
40244c5469 Tests/Docs after stricter explicit conversion. 2020-12-03 16:51:05 +01:00
chriseth
6de7eaba95 Merge remote-tracking branch 'origin/develop' into breaking 2020-12-01 10:50:13 +01:00
Jaime
34816206a5 docs - add clarification to struct initialization in previous versions 2020-11-28 20:26:54 +00:00
ssi91
b5dc62c47b do not serialize fields abi, devdoc, userdoc and storage-layout
add changelogs

Apply suggestions from code review

Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2020-11-28 17:51:06 +07:00
Alex Beregszaszi
3bce2a2294 Remove the legacy AST JSON output 2020-11-25 11:40:33 +00:00
hrkrshnn
a834476de6 Tests/Docs after disallowing super, this and _ as declaration names 2020-11-25 11:14:13 +01:00
midinas
c6daf30b7d
Update docs abi-spec.rst
Fixed description of enum.
2020-11-24 16:44:35 -10:00
chriseth
5da6bddccb
Merge pull request #10340 from ethereum/chriseth-patch-1
[BREAKING] Clarify forwarding of error data.
2020-11-24 19:56:21 +01:00
chriseth
253889cbf1 Merge remote-tracking branch 'origin/develop' into breaking 2020-11-24 16:22:03 +01:00
chriseth
b1cfb5506d Clarify forwarding of error data. 2020-11-24 12:28:04 +01:00
Kamil Śliwak
8044ea602c installing-solidity.rst: Capitalize headers and the project name 2020-11-23 20:29:30 +01:00
Kamil Śliwak
c58341022f installing-solidity.rst: Add a section about Static binaries and solc-bin 2020-11-23 20:29:30 +01:00
Kamil Śliwak
be5143bbec installing-solidity.rst: Add a link to ccache 2020-11-23 20:29:30 +01:00
Kamil Śliwak
5f0372c5b8 installing-solidity.rst: Put information about macOS packages in a separate section 2020-11-23 20:29:30 +01:00
chriseth
a0a02f2307 Merge remote-tracking branch 'origin/develop' into breaking 2020-11-23 19:28:08 +01:00
chriseth
0326367b22 Documentation. 2020-11-23 14:30:17 +01:00
chriseth
bb9688e0fe Grammar for fallback returning. 2020-11-23 14:22:37 +01:00
chriseth
377f9233ae Clarify access of free functions. 2020-11-23 12:28:29 +01:00
franzihei
f74c0b9206 updating team meeting time and fix bullet list in index 2020-11-23 10:32:09 +01:00
Đorđe Mijović
5c92c2eb81
Merge pull request #10327 from ritzdorf/patch-3
Differences in struct layout between memory and storage
2020-11-19 14:41:09 +01:00
ritzdorf
c68efc6e03 Differences in layout between memory and storage
- More explicit description with two examples
- Moved index pointer to correct file
2020-11-19 11:29:20 +01:00
chriseth
a7db4fa4a5 Merge remote-tracking branch 'origin/develop' into breaking 2020-11-18 20:05:02 +01:00
Kamil Śliwak
5560239cf5 Replace links to readthedocs.io with ones using the new domain 2020-11-18 15:20:34 +01:00
chriseth
05b8d55900 Sort changelog. 2020-11-18 12:39:49 +01:00
chriseth
2665eaa4fa Support .offset and .length for calldata bytes and string arrays. 2020-11-18 01:45:56 +01:00
Alex Beregszaszi
9a5fc1118f Document coreutils as a testing dependency 2020-11-17 23:09:15 +00:00
chriseth
e8a278eefa Merge remote-tracking branch 'origin/develop' into breaking 2020-11-17 18:51:57 +01:00
chriseth
e1a0370275 Document static lookup for modifiers. 2020-11-17 18:33:45 +01:00
chriseth
79afd04818 Fix grammar for identifier / identifier path. 2020-11-17 18:33:45 +01:00
Kamil Śliwak
b7694b9a14 docs: Gather information about linker in one place and reorganize the section a bit 2020-11-16 21:37:36 +01:00
Kamil Śliwak
1ff00488bb docs: Add information about metadata difference resulting from manual linking 2020-11-16 21:26:47 +01:00
Kamil Śliwak
aba04c7afa docs: Remove the outdated information about linked library name length limitation 2020-11-16 21:26:47 +01:00
Kamil Śliwak
1bf700e088 Return a type error when an enum has more than 256 members 2020-11-16 18:58:19 +01:00
Alex Beregszaszi
a3381d7260 Add settings.viaIR to standard json 2020-11-12 22:38:44 +00:00
chriseth
d378bafeb8 Changelog and documentation. 2020-11-12 11:12:42 +01:00
chriseth
d744a8fb48 Fail on invalid storage encoding for byte arrays. 2020-11-12 11:12:42 +01:00
chriseth
3c1d990964
Merge pull request #10224 from ethereum/strict-literal-to-enum-conversion
[BREAKING] Strict explicit conversion between literals and enums
2020-11-10 13:15:12 +01:00
chriseth
04195439b7 Merge remote-tracking branch 'origin/develop' into HEAD 2020-11-09 14:28:05 +01:00
hrkrshnn
03f58c6b52 Strict explicit conversion between literals and enums
Explicit conversions between literals and enums are only allowed if the literal can represent a
value in the enum.
2020-11-06 19:15:02 +01:00
Eric Bouchut
950245e384 Fix typos: onlyOwner not mixed case
Fix the modifier name `onlyowner` using lowercase where mixedCase is expected.
2020-11-04 18:02:32 +01:00
Harikrishnan Mulackal
be74479517
Merge pull request #10197 from cakesoft-khushi/new_branch
Update yul.rst
2020-11-04 12:37:39 +01:00
DELL
058721a0b7 Typo error 2020-11-04 16:31:12 +05:30
Leonardo
62535c2fd4
Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
2020-11-04 10:55:28 +00:00
hrkrshnn
29e23efc93 Tests/Docs after "stricter explicit conversion from Literals to Integers" 2020-11-03 14:31:44 +01:00
chriseth
5ffee049fa Merge remote-tracking branch 'origin/develop' into breaking 2020-11-03 14:05:14 +01:00
chriseth
631570c547 Documentation. 2020-11-03 13:31:51 +01:00
Leonardo Alt
d03ddeb0fa [SMTChecker] User timeout option 2020-11-03 10:46:11 +00:00
chriseth
b287a6e995 Disallow specifying call options multiple times. 2020-11-02 20:07:23 +01:00
cakesoft-khushi
3d65bbed70
Update installing-solidity.rst 2020-11-02 18:02:36 +05:30
Leonardo
7f1f192f8d
Merge pull request #10149 from blishko/issue-10034
[SMTChecker] Creating Verification targets in two stages.
2020-11-02 11:41:49 +00:00
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