Commit Graph

23336 Commits

Author SHA1 Message Date
Michael de Hoog
07ac3874b6
Fix incompatibilities with Golang parser generation 2023-04-16 13:51:05 -05:00
minaminao
e1a9446f87
fix(docs): fix missing backticks, remove latexpdfja, fix the missing help message of latexpdf, and remove unnecessary whitespace (#14101)
* Fix missing backticks

* Remove whitespace in the header of the optimizer step

* Remove whitespace in directives

* Remove `make latexpdfja`

* Add the help message of latexpdf in make.bat

* Fix missing backticks

* Update docs/internals/optimizer.rst

---------

Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
2023-04-14 12:24:50 +01:00
Nuno Santos
5d42bb5e38
Removed Issues duplications from GitHub (#14120) 2023-04-13 18:51:04 +01:00
Nuno Santos
f0c0df2d8c
Team meetings change (#14113)
Team decision to have only public Wednesday meetings.
2023-04-12 18:01:08 +01:00
Leo
416e6f6604
Merge pull request #14074 from ethereum/update_z3_docker
update z3 in docker files
2023-04-12 17:59:08 +02:00
Kamil Śliwak
593e207094
Merge pull request #14104 from ethereum/extract-parse-literal
Refactor literal parsing before adding suffixes
2023-04-12 14:52:04 +02:00
Daniel
6bc6ae94a6
Merge pull request #14050 from ethereum/contract-ast-internal-function-ids
Annotate internal function IDs
2023-04-12 14:11:39 +02:00
Kamil Śliwak
c1fffa892d Parser: Extract literal parsing into a separate function 2023-04-12 12:30:05 +02:00
Kamil Śliwak
46457cfc25
Merge pull request #14103 from ethereum/extra-tests
A few extra tests for operators, denominations and virtual functions
2023-04-12 11:32:26 +02:00
Daniel
82bde40717
Merge pull request #14107 from ethereum/push0
Introduce `Shanghai` version and `push0` support
2023-04-12 10:10:03 +02:00
hrkrshnn
b30f89bcce docs: On supporting shanghai EVM version and changelog 2023-04-12 00:10:24 +02:00
hrkrshnn
41ce3feb0a test: some tests for push0
1. `push0_disallowed.yul`: checks if `push0()` is a valid builtin in strict Yul
2. `push0_disallowed.sol`: checks if `push0()` is a valid builtin in inline assembly
3. `push0.sol`: simple semantic test that returns 0
4. `evmone_support.sol`: tests if push0 works properly in evmone
5. Updated some bytecode too large tests to use `shanghai` as version
6. Updated various tests where `push1 0` was hardcoded in different forms / expectations on bytecode
size (`Assembler.cpp`, `GasCosts.cpp`, `SolidityCompiler.cpp`, `SolidityExpressionCompiler.cpp`)
2023-04-12 00:10:24 +02:00
hrkrshnn
802f895062 feat: introduce EVM Version Shanghai
Note: Paris is still the default
2023-04-12 00:10:24 +02:00
hrkrshnn
0bfcdaf794 feat: change generation of bytecode for pushes with zero-value 2023-04-12 00:10:24 +02:00
Daniel
8b4c1d3373
Merge pull request #14102 from minaminao/fix-dark-mode-in-grammar
Fix dark mode in grammar
2023-04-11 13:07:45 +02:00
hrkrshnn
8757e0aa11 feat: add support for push0 in libevmasm
See https://eips.ethereum.org/EIPS/eip-3855

Note: `push0` costs 2 gas, i.e., `Tier::Base` unlike other pushes.
2023-04-09 18:01:52 +02:00
Kamil Śliwak
66fcd542bc Tests for denominations in array sizes 2023-04-07 14:54:09 +02:00
Kamil Śliwak
fc7cd54849 Tests for changing virtual function mutability when overriding 2023-04-07 14:49:55 +02:00
Kamil Śliwak
5687f6e934 Tests for literal denominations with non-integer literals 2023-04-07 14:48:13 +02:00
Kamil Śliwak
8dd6f77692 Extra test for operator cleanup 2023-04-07 14:47:34 +02:00
minaminao
16d758b7f9 Fix dark mode in grammar 2023-04-07 13:16:21 +09:00
Kamil Śliwak
e29a68d374
Merge pull request #14098 from ethereum/workaround-oz-ext-test-2
Skip `TransparentUpgradeableProxy` openzeppelin external tests due to partial viaIR support in Hardhat
2023-04-06 15:53:33 +02:00
Kamil Śliwak
a902c09cb7
Merge pull request #14086 from ethereum/gnosis-ext-workaround
Skip via-ir with yul optimizer for Gnosis external tests
2023-04-06 15:52:15 +02:00
Rodrigo Q. Saramago
f404eb0349
More openzeppelin workarounds 2023-04-06 13:23:36 +02:00
Nikola Matić
9e0a0af78c
Merge pull request #14062 from ethereum/fix-split-sources-script
[scripts/splitSources.py] Add newline to files.
2023-04-05 22:37:20 +02:00
Rodrigo Q. Saramago
33b07c5dc6
Skip via-ir with yul optimizer for Gnosis external tests 2023-04-05 21:27:31 +02:00
Kamil Śliwak
d7ecee4f0a
Merge pull request #14095 from ethereum/sort-changelog
Sort changelog
2023-04-05 20:23:29 +02:00
Kamil Śliwak
878862a924
Merge pull request #14096 from minaminao/fix-not-displaying-svg-image
fix(docs): not displaying svg images in PDF
2023-04-05 19:40:01 +02:00
minaminao
26c769fe8e fix: not displaying svg image 2023-04-06 01:35:09 +09:00
Nikola Matic
3d5bb3e87b Sort changelog 2023-04-05 17:42:06 +02:00
Kamil Śliwak
9020efec58
Merge pull request #14087 from ethereum/better-error-for-invalid-call
Better error message when trying to call things that are not functions
2023-04-05 17:38:10 +02:00
Nikola Matić
2ea2a63102
Merge pull request #13626 from ethereum/natspec-enum
Adds natspec to AST for enum definition.
2023-04-05 15:48:55 +02:00
Christian Parpart
be8752b5d3 Adds natspec to AST for enum definition. 2023-04-05 14:58:32 +02:00
Leo Alt
8e5f8c8595 reenable arch smt tests 2023-04-05 14:56:03 +02:00
Leo Alt
e6f099db92 bring ubuntu2004 back 2023-04-05 14:56:03 +02:00
Leo Alt
f72e61ccbe update z3 in docker files 2023-04-05 14:56:03 +02:00
Kamil Śliwak
a019f400d0 Better error message when trying to call things that are not functions 2023-04-04 17:30:37 +02:00
Kamil Śliwak
293690e5a4 Add util::capitalized() and Type::categoryName() 2023-04-04 17:30:37 +02:00
Kamil Śliwak
7b634152bd
Merge pull request #14071 from minaminao/docs-fix-yul
docs: correct small errors in yul.rst
2023-04-04 15:28:15 +02:00
Kamil Śliwak
a1fbf6b097
Merge pull request #14020 from krvaibhaw/develop
Update Solidity scripts to remove unencrypted git protocol
2023-04-04 15:05:39 +02:00
Kamil Śliwak
9d5b34b230
Merge pull request #14008 from ethereum/uniform-gh-label-naming-convention
Uniform naming convention for github labels
2023-04-04 14:34:45 +02:00
Nuno Santos
d9965a3d14
Update issue templates (#13970)
* Update issue templates

Added labels to all the templates as well as descriptions.

Next step:
- Mandatory fields.

* Update .github/ISSUE_TEMPLATE/bug_report.md

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

* Update .github/ISSUE_TEMPLATE/documentation_issue.md

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>

---------

Co-authored-by: matheusaaguiar <95899911+matheusaaguiar@users.noreply.github.com>
2023-04-04 14:03:10 +02:00
Nuno Santos
0037693c8d
Update ReleaseChecklist.md post release steps (#14007)
* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

* Update ReleaseChecklist.md

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>

---------

Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2023-04-03 17:55:17 +01:00
Kamil Śliwak
5e88d590c4
Merge pull request #14077 from minaminao/consolidate-terms-and-fix-typos
Fix a couple of small errors in docs: broken/missing backticks, broken code blocks, bad capitalization
2023-04-03 17:00:36 +02:00
Kamil Śliwak
79d975a77d
Merge pull request #14078 from ethereum/fix_missing_keyword_unicode
Fix missing keyword `unicode` in grammar
2023-04-03 12:53:20 +02:00
Nikola Matić
f2dc3d38a7
Merge pull request #14052 from kuzdogan/develop
Update Metadata Documentation
2023-03-31 15:35:56 +02:00
Kaan Uzdoğan
1a23b7a60a Update metadata docs
Squashed into single commit

Squashed commits:
Sort metadata JSON, add errors to devdoc & userdoc

Sorts the example metadata in the alphabetical order,
as this is the way output by the compiler.

Add playground.sourcify.dev link

Update metadata documentation content

Fix trailing whitespaces

Add new line after code-block

Fix unexpected indentation

Fix unexpected unindent

Fix unexpected unindent - 2

Suggestions from code review: wording, punctuation

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Fix missing trailing commas

Co-authored-by: Nikola Matić <nikola.matic@ethereum.org>
Order yul settings, fix trailing commas

Explicitly state appended to the runtime bytecode

Break down metadata content into two points

Remove trailing whitespace
2023-03-31 15:27:57 +03:00
Leo
bca3fb8ffd
Merge pull request #14076 from ethereum/update_z3_tests
Update z3 tests
2023-03-29 10:35:39 +02:00
Matheus Aguiar
4aa310034c Added missing keyword unicode to Lexer 2023-03-28 13:51:43 -03:00
Leo Alt
ce9a7ee954 update smtchecker tests 2023-03-28 18:23:54 +02:00