Matheus Aguiar
4fd5bbf50b
Restrict mobileType of TypeType
2023-07-18 12:58:11 +02:00
Kamil Śliwak
2c82873a2c
Merge pull request #14371 from ethereum/overrideMagicType_mobileType
...
Disallow the use of `MagicType` in complex expressions
2023-07-18 12:57:39 +02:00
Matheus Aguiar
f3fc19080a
Override mobileType of MagicType to null
2023-07-18 10:56:02 +02:00
Kamil Śliwak
4c4410e0c5
Merge pull request #14365 from ethereum/declarationFunctionTypeConversions
...
Disallow conversions between declaration function types.
2023-07-17 19:21:29 +02:00
Daniel Kirchner
0ab0842c29
Disallow conversions between declaration function types.
2023-07-17 18:33:07 +02:00
Kamil Śliwak
755110aed4
Merge pull request #14407 from ethereum/fix-inliner-argument-order-bug
...
Fix ``FullInliner`` not preserving evaluation order of call arguments
2023-07-17 18:32:50 +02:00
Kamil Śliwak
735326d50d
Properly document FullInliner's prerequisites
2023-07-17 16:40:43 +02:00
Kamil Śliwak
ba3f9dd2a2
FullInliner: Do not include calls whose arguments may have side-effects
2023-07-17 16:40:43 +02:00
Kamil Śliwak
5e1e0e7752
FullInliner: Fix order of arguments of inlined functions
2023-07-17 16:40:43 +02:00
Kamil Śliwak
a07f6c443a
Tests for Yul argument evaluation order after optimization
2023-07-17 16:40:43 +02:00
Kamil Śliwak
edceb4d2d1
Allow testing FullInliner without ExpressionSplitter
2023-07-17 16:40:43 +02:00
Kamil Śliwak
96bb39d1b4
Merge pull request #14304 from ethereum/relax-restrictions-on-immutable-initialization-outside-functions-and-modifiers
...
Relax restrictions on immutable initialization (outside of functions and modifiers)
2023-07-17 16:38:57 +02:00
Paul Wackerow
11be2f4881
Squashed commit of the following: ( #14401 )
...
commit 6f38009a31b2ff5d6f53de7b74469f495fe04092
Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com>
Date: Mon Jul 10 15:36:03 2023 -0700
remove default sphinx footer
commit 0d842749566f40fa8c2dd434fa67bcc5e9df3aa0
Author: Paul Wackerow <54227730+wackerow@users.noreply.github.com>
Date: Mon Jul 10 15:21:26 2023 -0700
linting
commit c8484ac7c1f54067b0d3c4aa4aa81de7d36df71d
Merge: 8339800d0 b583e9e64
2023-07-14 19:31:06 +01:00
Kamil Śliwak
e70e595ce7
Merge pull request #14355 from ethereum/via-ir-bytecode-comparison
...
Via IR bytecode comparison
2023-07-14 17:26:13 +02:00
Kamil Śliwak
dad2bf6472
Relax restrictions on immutable initialization
2023-07-14 15:29:32 +02:00
Kamil Śliwak
490b90d0ab
Implement ImmutableItem::setToZero() to make delete work with immutables
2023-07-14 15:29:32 +02:00
Kamil Śliwak
0afe025f19
Minor tweaks to immutable tests for better diffs
2023-07-14 15:29:32 +02:00
Kamil Śliwak
bccfcd40a0
prepare_report: Add YulException to the list of ICEs for which we ignore Standard JSON outputs even when present
2023-07-14 15:28:11 +02:00
Kamil Śliwak
23955ba428
CI: Workaround for some test cases crashing the compiler via IR during bytecode comparison due to a regex-related bug
2023-07-14 15:28:11 +02:00
Kamil Śliwak
ae3b7625c9
CI: Include via IR presets in the bytecode comparison
2023-07-14 15:28:11 +02:00
Kamil Śliwak
ea724071b1
prepare_report: Add viaIR presets
2023-07-14 15:28:11 +02:00
Nikola Matić
703fa6c8b5
Merge pull request #14411 from ethereum/fix-openzeppelin-missing-test
...
Remove missing test from OZ script
2023-07-14 14:08:55 +02:00
Nikola Matic
1628678de2
Remove missing test from OZ script
2023-07-14 13:22:06 +02:00
Nikola Matić
ebc2bc9e23
Merge pull request #14382 from minaminao/fix-docs
...
docs: fix unintentionally commented out warning block
2023-07-13 12:28:33 +02:00
Kamil Śliwak
3fc2eadbdb
Merge pull request #14374 from ethereum/fix-non-deterministic-ir-function-generation-order
...
Fix undefined order of functions when generating code for index expressions
2023-07-13 12:20:01 +02:00
Kamil Śliwak
5b70830a64
IRGeneratorForStatements: Small refactor in endVisit(IndexAccess) for readability
2023-07-13 11:07:40 +02:00
Kamil Śliwak
16220db759
IRGeneratorForStatements: Fix undefined order of functions when generating code for index expressions
2023-07-13 11:06:11 +02:00
Nikola Matić
69c034b1c0
Merge pull request #14410 from ethereum/purge-using-namespace-std-in-libsmtutil-libsolc
...
Purge using namespace std in libsmtutil and libsolc
2023-07-12 15:33:18 +02:00
Nikola Matic
62723b7534
Purge using namespace std in libsmtutil and libsolc
2023-07-12 14:09:19 +02:00
Nikola Matić
1ac883b84d
Merge pull request #14409 from ethereum/purge-using-namespace-from-liblangutil
...
Purge using namespace std from liblangutil
2023-07-12 12:10:27 +02:00
Nikola Matic
e81f2bdbd6
Purge using namespace std from liblangutil
2023-07-12 11:24:21 +02:00
Nikola Matić
8390a24e30
Merge pull request #14408 from ethereum/check-style-for-using-namespace-std-v2
...
Check style coverage for using namespace std
2023-07-12 11:21:37 +02:00
matheusaaguiar
b29d8a429c
Merge pull request #14391 from alpinevm/patch-2
...
Update compiler standard input docs to include shanghai in the available evm version options
2023-07-11 17:50:45 -03:00
Nikola Matic
c1ca2bf9d2
Check style coverage for using namespace std
2023-07-11 20:28:21 +02:00
Kamil Śliwak
b583e9e64d
Merge pull request #14398 from ethereum/fix-welcome-contributors
...
Remove token requirement from external contributor greeter
2023-07-10 18:19:02 +02:00
r0qs
919408901d
Remove token requirement from external contributor greeter
2023-07-10 16:26:18 +02:00
Cliff Syner
09c30566eb
Formatting docs/using-the-compiler.rst
...
Co-authored-by: Nuno Santos <nunofilipesantos@gmail.com>
2023-07-10 09:20:10 -05:00
minaminao
ce0fbae00b
fix docs
...
Co-authored-by: r0qs <rodrigo.saramago@protonmail.com>
2023-07-10 21:22:10 +09:00
Daniel
b84af3f420
Merge pull request #14394 from ethereum/purge-using-namespace-std
...
Purge using namespace std in libevmasm
2023-07-10 13:59:11 +02:00
Nikola Matic
a9c8b4b4d1
Purge using namespace std
2023-07-10 13:12:46 +02:00
Kamil Śliwak
27faacb72c
Merge pull request #14390 from criadoperez/fix/criadoperez
...
Fixed typo in protoToAbiv2.h
2023-07-10 12:35:18 +02:00
Cliff Syner
58a4296989
Update using-the-compiler.rst
...
Reflect all available evm options in compiler standard input docs
2023-07-10 00:33:05 -05:00
Alejandro Criado-Pérez
29358806f4
updated protoToAbiv2.h
2023-07-09 01:45:54 +02:00
Bhargava Shastry
5d7533b540
Merge pull request #14227 from ethereum/update-codegen-fuzzer
...
Stack optimizer fuzzer: Detect stack-too-deep during optimization
2023-07-03 14:52:27 +02:00
Leo
2f451a186b
Merge pull request #14377 from ethereum/fix-smtlib
...
SMTChecker: Fix generation of smtlib scripts
2023-06-30 16:58:26 +02:00
Martin Blicha
3599c8c6b9
SMTChecker: Fix generation of smtlib scripts
...
When both CHC and BMC engines are used, the type of state variable
changes when trusted mode for external calls is used. This is because in
CHC engine, trusted mode means we pack more information into the
symbolic state. In BMC this type is always simple.
However, if BMC is run after CHC, in the current code state variables
are reset (and their declaration dumped into SMT-LIB script) before BMC
resets the type of the state variable.
The proposed solution is to simply reset the variable type before the
first variable of this type is created.
2023-06-30 15:57:51 +02:00
Daniel
30cd1a0fb4
Merge pull request #14370 from ethereum/smt-cleanup
...
Remove ReasoningBasedSimplifier from libyul
2023-06-28 16:31:13 +02:00
Martin Blicha
29041c8101
Remove ReasoningBasedSimplifier from libyul
...
Due to a design decision to move away from a bundled SMT solver,
ReasoningBasedSimplifier in its current form cannot be use any longer.
This is a necessary step to allow a unified way to call solvers using
only SMTLIB interface.
Since this optimization pass has always been marked as highly
experimental and never turned on by default, it should be OK to remove
it.
2023-06-28 14:38:36 +02:00
r0qs
c819243374
Merge pull request #14368 from ethereum/gh-built-in-triage-automation
...
Remove triage workflow in favor of github built-in automation
2023-06-28 12:37:49 +02:00
Kamil Śliwak
3bb492a28d
Merge pull request #14351 from ethereum/ci-deduplicate-base-env-with-anchors
...
Deduplicate environment variables in CI
2023-06-27 14:43:24 +02:00
