Commit Graph

2942 Commits

Author SHA1 Message Date
hrkrshnn
9d8a0a6f82 Buglist entry for UserDefinedValueTypesBug 2021-09-29 11:54:00 +02:00
chriseth
ffe6e7dcf4 Bug list entry about the signed immutables bug. 2021-09-29 10:12:05 +02:00
chriseth
4e28020ff5 Set release date. 2021-09-27 15:43:59 +02:00
chriseth
321e362789
Merge pull request #12024 from ethereum/require-boost-1.77-on-windows
Require Boost 1.77 on Windows
2021-09-27 15:41:21 +02:00
Kamil Śliwak
e3a3829f97 Increase minimum Boost version to 1.77 on Windows 2021-09-27 13:15:57 +02:00
Kamil Śliwak
f909555022 Treat ambiguous imports as errors 2021-09-27 13:14:23 +02:00
Kamil Śliwak
9975b5e26b Detect source unit name collisions between paths specified on the command line 2021-09-27 13:14:23 +02:00
Kamil Śliwak
c8a7a1da7c Add --include-path option 2021-09-27 13:14:23 +02:00
Kamil Śliwak
60b2f2b913 Documentation for --allow-paths and changelog entry for fixes 2021-09-27 13:14:10 +02:00
chriseth
d5c869f5d6
Merge pull request #12026 from CrimsonGlory/CrimsonGlory-patch-3
[docs] Add bitwise assignment operators
2021-09-27 12:26:00 +02:00
CrimsonGlory
e2bb3a3347
[docs] Add bitwise assignment operators
Add bitwise assignment operators to the list of operators involving LValues [skip ci]
2021-09-25 21:48:20 -03:00
soroosh-sdi
8b04ac38ab Require latest Z3 by default and allow relaxing the requirement with STRICT_Z3_VERSION=OFF
Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-09-24 22:09:56 +03:30
Kamil Śliwak
caccd0a3e0 Always refer to the latest version of Boost in URLs 2021-09-24 15:35:33 +02:00
Alessandro Coglio
0ac441ac73 Clarify interpretation of literals.
This is based on discussions on Gitter.
2021-09-20 11:59:59 +02:00
chriseth
ccfc306942
Merge pull request #11937 from istareatscreens/patch-1
Reword External Function Calls paragraph in docs to improve clarity
2021-09-15 12:44:37 +02:00
istareatscreens
d1465dd0f7 Reword External Function Calls paragraph in docs
Reword External Function Calls opening paragraph to improve clarity
2021-09-14 17:51:18 -04:00
chriseth
8735d3fb6c
Merge pull request #11930 from ethereum/calldataStructInlineAssembly
Fix inline assembly assignments to calldata structs and statically-sized calldata arrays.
2021-09-14 16:16:48 +02:00
chriseth
25fc0db417
Merge pull request #11926 from nikitastupin/develop
[docs] Add sections for state mutability and special functions
2021-09-14 16:12:27 +02:00
Leo Alt
e72fa7fc10 Add new info severity 2021-09-13 22:48:22 +02:00
Daniel Kirchner
9ff0cc0b8b Update docs. 2021-09-13 15:22:46 +02:00
Nikita Stupin
aedf29b9dd Add sections for state mutability and special functions 2021-09-10 11:27:55 +03:00
hrkrshnn
952540c3b5 User defined value type: changes in documentation and test case
Changed the name of a function from `truncate` to `floor`, since that is more appropriate; updated
the inaccurate description on the rounding behaviour. Also modified the respective semantic test.
2021-09-09 16:57:03 +02:00
hrkrshnn
7e95555325 Updated ANTLR grammar to include user defined value types. 2021-09-08 21:19:30 +02:00
hrkrshnn
fbb1b884b2 Documentation and Changelog 2021-09-08 21:19:30 +02:00
Paul Razvan Berg
8d1331a081
docs: delete stale note about reading code 2021-09-04 22:40:36 +03:00
Marenz
2b28f87abf Add type().min/max for enums 2021-09-01 15:02:02 +02:00
chriseth
208ba61ee6
Merge pull request #11866 from ethereum/clarifyExample
Clarify function call options example.
2021-08-31 17:08:25 +02:00
Kamil Śliwak
d07b796675 Disallow modifier declarations and definitions in interfaces 2021-08-31 15:25:08 +02:00
chriseth
9033660b22 Clarify function call options example. 2021-08-31 14:32:32 +02:00
chriseth
f7916f2940 Add override exception for interface functions. 2021-08-31 10:45:31 +02:00
Kamil Śliwak
13f46ebb1e FileReader: Normalize base path and strip it from normalized source paths 2021-08-27 15:10:46 +02:00
Harikrishnan Mulackal
7df33f0d61
Merge pull request #11777 from Ahmed-Ali/improving_naming_consistency
[DOCS] Improving the naming consistency in Solidity by Example documentation
2021-08-26 12:38:35 +02:00
Ahmed Ali
e09b0ae15f Updated some examples following the naming convention
According to Solidity naming convention:
https://docs.soliditylang.org/en/latest/style-guide.html#naming-conventions There is no need to use
underscore except when there is a naming collision. In which case, a trailing underscore is used to
avoid the collision. So in this change, I am removing all underscores, except for the ones that
could shadow other symbols in their context (none of the changed names is a reserved keyword:
https://docs.soliditylang.org/en/latest/cheatsheet.html?highlight=reserved#reserved-keywords )
2021-08-26 11:59:10 +02:00
Leo Alt
563469ac33 Docs 2021-08-25 21:10:08 +02:00
Kamil Śliwak
a6683e3226 Fix pylint warnings about encoding not being specified in open() calls 2021-08-23 19:24:35 +02:00
chriseth
45a910c2ca
Merge pull request #11750 from ethereum/immutables-10463
Allow reading of immutables during construction time
2021-08-19 14:39:03 +02:00
Marenz
121fd40f74 Allow reading of immutables during construction time 2021-08-19 13:59:05 +02:00
Kamil Śliwak
f794539628 optimizer.rst: Fix a code block with incorrectly set Bash highlighting 2021-08-18 13:07:22 +02:00
CrimsonGlory
e42ebcd612 Document pre-0.5.0 bytesX/uintY conversions
Document pre-0.5.0 compiler behavior on bytesX/uintY conversions when they have different size.
2021-08-16 14:24:26 +02:00
John Adler
a029b0ba67
Fix typo
Fix missing `s`.
2021-08-14 14:31:06 -04:00
Sreekesh V
9b9e52e53e updated public to external for the functions
changed public to external for the functions
2021-08-12 16:24:40 +02:00
chriseth
7977c8c7ce Authorized Proxies 2021-08-12 15:39:32 +02:00
hrkrshnn
2c0c27c6d4 Set the release date and updated bugs_by_version.json 2021-08-11 12:13:07 +02:00
Daniel Kirchner
7b5595b0ad
Merge pull request #11775 from ethereum/docs-resources
[DOCS] Update resources.rst
2021-08-11 11:43:10 +02:00
franzihei
a2e73d7896 Update resources.rst 2021-08-11 10:59:02 +02:00
Leo Alt
8ce878621a Make show unproved CLI a flag 2021-08-11 10:54:03 +02:00
hrkrshnn
79733fca48 Set default EVM version to London. 2021-08-11 09:54:14 +02:00
hrkrshnn
cb9b52c242 Docs for block.basefee and basefee() in Yul. 2021-08-11 09:27:36 +02:00
hrkrshnn
95091f6b58 Implemented block.basefee in Solidilty and basefee() in Yul.
Also added basefee to Yul grammar.
2021-08-09 16:18:08 +02:00
Leo Alt
ee6285d6d7 Do not create VCs for underoverflow by default for Sol >=0.8 2021-08-09 14:12:31 +02:00
Leo Alt
e9e3f1238f Add solvers to model checker json docs 2021-08-06 18:05:25 +02:00
Leo Alt
08c065ee04 Add option divModWithSlacks 2021-08-06 15:50:25 +02:00
Leo Alt
847dd5cf92 Docs 2021-08-04 13:54:50 +02:00
chriseth
363278d2ec Clarify Yul scoping rules. 2021-08-02 18:27:34 +02:00
Kamil Śliwak
c6fc9934fa Clarify optional parts in remappings 2021-07-30 12:30:17 +02:00
Harikrishnan Mulackal
5ff0811b99
Merge pull request #11717 from jaa2/develop
Handle --optimize-runs option in assembly mode
2021-07-29 18:56:22 +02:00
jaa2
c627e6af10 CommandLineParser: Handle --optimize-runs option in assembly mode
Fixes #11708.
2021-07-29 18:15:57 +02:00
chriseth
62727f322a
Merge pull request #11662 from ethereum/docs-fix-highlighting-and-upgrade-pygments
[Docs] Fix highlighting and always use latest packages
2021-07-29 11:29:38 +02:00
Bhargava Shastry
3a0d654dce Document free memory pointer overflow check in Sol->Yul.
Co-authored-by: chriseth <chris@ethereum.org>
2021-07-28 15:00:25 +02:00
Alex Beregszaszi
c018cdf419
Merge pull request #11706 from ethereum/update-evmone-part2
Update evmone part 2
2021-07-27 17:17:59 +01:00
Leo Alt
6c8ecfa82c Add option to choose solver 2021-07-27 17:14:21 +02:00
hrkrshnn
8bec0c8a6b Updated docs and evmc.h header file for evmone 0.8.0 release 2021-07-27 16:39:41 +02:00
qedk
3ea2854e97
Update list of reserved keywords in cheatsheet
- `unchecked` (added)
+ `var` (removed)
+ `byte` (removed)
2021-07-26 23:48:33 +05:30
chriseth
8ea31cf4e1
Use caret 2021-07-26 14:17:22 +02:00
Harikrishnan Mulackal
8f6c6eec27
Merge pull request #11683 from GuLiPing-Hz/patch-1
[Docs] Add `unchecked` to fix reverting `BigInt` example in `libraries.rst`
2021-07-26 14:02:40 +02:00
Harikrishnan Mulackal
e35b39b6fe
Merge pull request #11684 from j05u3/patch-1
[documentation improvement proposal] tx.origin pointing where exactly is the bug
2021-07-26 13:43:04 +02:00
Harikrishnan Mulackal
f0d7ed98a5
Merge pull request #11675 from TransmissionsDev/patch-1
Remove incorrect statement that calldata must be used for external functions
2021-07-26 13:32:22 +02:00
GuLiPing-Hz
997c014971 Update libraries.rst
add unchecked
2021-07-26 13:24:04 +02:00
Josué
71d6e8da2d tx.origin pointing where exactly is the bug
Clarification for preventing more bugs of this kind that have been shown recently.
2021-07-26 13:04:14 +02:00
qedk
6e18c6e7cd
Remove keyword already in use from cheatsheet 2021-07-25 20:23:29 +05:30
Kamil Śliwak
6d6c9e6e4f
Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks
[Docs] Fix badly indented lists and blocks
2021-07-21 18:35:19 +02:00
t11s
c2dfbbf78c
New note about which data locations are allowed in which function types
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2021-07-18 15:02:16 -07:00
t11s
61f33c53a0
Remove trailing whitespace 2021-07-18 10:16:51 -07:00
t11s
bc36dbf3b8
Fix extra space 2021-07-18 10:11:18 -07:00
t11s
61e4c29cf8
Update note about calldata 2021-07-18 10:10:07 -07:00
t11s
bb040e40ed
Fix rst syntax 2021-07-17 12:46:58 -07:00
t11s
e7324f660d
Update line about calldata use for external funcs 2021-07-17 12:45:03 -07:00
t11s
616933cd5f
Remove incorrect statement that calldata must be used for external functions 2021-07-16 22:33:48 -07:00
Kamil Śliwak
8c5ae508f9 Use html_extra_template_renderer to replace the current robots.txt rendering script 2021-07-15 13:29:27 +02:00
Kamil Śliwak
2bebc2f822 Create a local html_extra_template_renderer Sphinx extension 2021-07-15 13:29:27 +02:00
Kamil Śliwak
d4a86b2b10 docs/conf.py: Remove unused /utils directory from python path 2021-07-15 13:14:39 +02:00
Kamil Śliwak
693b88e5f8 docs: Force highlighter to work despite errors on snippets that it cannot parse 2021-07-15 10:14:00 +02:00
Kamil Śliwak
d8260a1e93 docs: Replace > with >= in pragmas to work around the highligher being unable to process the former 2021-07-15 10:14:00 +02:00
Kamil Śliwak
310a35185a docs: Fix some mislabeled bash and text blocks 2021-07-15 10:14:00 +02:00
Kamil Śliwak
235a39eaef docs: Fix syntax errors in JSON snippets and enable JavaScript highlighting for them 2021-07-15 10:14:00 +02:00
Kamil Śliwak
f3a5c27852 docs: Replace a few remaining :: blocks with .. code-block:: 2021-07-15 10:14:00 +02:00
Kamil Śliwak
b513ca1f7e ir-breaking-changes.rst: Fix too short header frame 2021-07-15 10:13:32 +02:00
Kamil Śliwak
42f982c063 docs: Fix indentation in some of the code snippets 2021-07-15 10:13:32 +02:00
Kamil Śliwak
ce79e2515b docs: Fix badly indented lists 2021-07-15 10:13:30 +02:00
Kamil Śliwak
312ac4a255 docs: Remove deprecated escape characters from the list of available escapes 2021-07-14 21:28:20 +02:00
Kamil Śliwak
0aeb1ef47e Require sphinx-rtd-theme>= 0.5.2; older 2021-07-14 13:50:03 +02:00
CrimsonGlory
ab5898f11c
RHS->right hand side 2021-07-12 21:18:46 -03:00
chriseth
c3fa520c75
Merge pull request #11636 from ethereum/docs-clarify-struct-members-omitted-by-getters
[Docs] Clarify that non-byte array struct members are omitted by getters
2021-07-08 15:39:31 +02:00
chriseth
fec01c112a
Merge pull request #11616 from ethereum/issue-8191-yul
Test yul code blocks in documentation.
2021-07-08 15:37:01 +02:00
Marenz
d844d84b51 Test yul code blocks in documentation. 2021-07-08 14:59:05 +02:00
Kamil Śliwak
a1ca12a0a8 Clarify that non-byte array struct members are omitted by getters 2021-07-08 14:31:30 +02:00
chriseth
62934b60ca
Merge pull request #11605 from ethereum/issue-8191
isolate_tests: Extract code blocks from documentation using code block header
2021-07-08 14:28:47 +02:00
Kamil Śliwak
ddccd73a4b Fix outdated references to byte[] type (it's now bytes1[]) 2021-07-08 13:16:23 +02:00
Tony
510d74c1cd
Fix a Typo describing Layout in Storage 2021-07-07 19:29:44 -04:00
Simon Tian
f0ec3dd6a2
Update smtchecker.rst 2021-07-06 23:24:37 +08:00