Commit Graph

2871 Commits

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