Rodrigo Q. Saramago
5ed7600130
Add notes about temporary changes
2022-12-06 20:31:31 +01:00
r0qs
bc119e2522
Update test/libsolidity/SolidityExecutionFramework.h
...
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
2022-12-06 20:31:21 +01:00
Rodrigo Q. Saramago
504fe2a1fe
Add arguments size to EOF data_section_size header
2022-12-06 20:31:14 +01:00
Rodrigo Q. Saramago
d4a7587446
Enforce non-empty data section
2022-12-06 20:31:07 +01:00
Rodrigo Q. Saramago
c5c131c60e
Reuse ubuntu build workflow
2022-12-05 23:09:08 +01:00
Rodrigo Q. Saramago
e8d6d9a3c3
Minor fix
2022-12-05 22:03:47 +01:00
Rodrigo Q. Saramago
7ce6241a7f
Add soltest eof flag
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
9133ae94b2
Increase resource class
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
9bdf854aab
Add EVM shanghai environment variable
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
aca1218437
Disable cvc4
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
ffba3715a3
Add evm version shanghai
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
01e556a5cb
Add temporary evmone eof ci setup
2022-12-05 20:21:54 +01:00
Rodrigo Q. Saramago
6a44bb26ae
Passing eofVersion down
2022-12-05 20:17:55 +01:00
Rodrigo Q. Saramago
7e3404beb0
Make eofVersion member of Assembly class
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
8d62b96b2c
Properly offset jumpdests
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
ab2f46639c
Remove typecast (size is determined by output)
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
eed10c5d81
Compiler fix
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
f4f38ecb0e
Turn EOF optional
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
be16f251dd
Nicer code in the assembler
2022-12-05 20:17:55 +01:00
Alex Beregszaszi
ada477e7bd
Dumb implementation of EOF1 support in libevasm
2022-12-05 20:17:55 +01:00
Nikola Matić
591df04211
Merge pull request #13760 from ethereum/addoptimizorclub
...
Add optimizor club benchmark.
2022-12-02 13:27:42 -05:00
chriseth
0cf7236729
Add optimizor club benchmark.
2022-12-02 18:40:49 +01:00
Kamil Śliwak
867a68d798
Merge pull request #13770 from ethereum/docs-yul-updates
...
[DOCS] Remove mentions of Yul being experimental from docs
2022-12-02 18:28:06 +01:00
franzihei
a9bd337fac
Update yul.rst
2022-12-02 17:17:33 +01:00
chriseth
5e74e95b67
Update test/benchmarks/run.sh
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-12-02 14:08:41 +01:00
chriseth
a0f8cc922f
Add optimizor club benchmark.
2022-12-02 14:08:41 +01:00
Daniel
056c4593e3
Merge pull request #13771 from ethereum/enable-stale-action-draft-pr
...
Remove exempt of draft PRs in stale action
2022-12-01 19:31:36 +01:00
Rodrigo Q. Saramago
523aad175e
Remove exempt of draft PRs in stale action
2022-12-01 18:23:03 +01:00
Daniel
a9f8a77817
Merge pull request #13709 from ChrisXXXXXXX/patch-2
...
Separate node for every `if` and `case` body in the Yul CFG
2022-12-01 17:04:41 +01:00
ChrisXXXXXXX
feade14fd6
Update ControlFlowSideEffectsCollector.cpp
...
There are errors in the function void ControlFlowBuilder::operator()(If const& _if) and function void ControlFlowBuilder::operator()(Switch const& _switch) when calculating CFG.
1. In the function void ControlFlowBuilder::operator()(If const& _if), the if.condion block is not the same block as the if.then block. The original code is calculated as one same block.
2. The switch.expression block are not the same block as all the cases block in cases, the original code is calculated as one same block.
This can cause some potential problems during the optimization phase.
2022-12-01 16:06:02 +01:00
Daniel
851cc09742
Merge pull request #13516 from ethereum/fix-yul-interpreter-memory-access
...
Fix memory expansion semantics in the yul interpreter.
2022-12-01 15:42:41 +01:00
Kamil Śliwak
c6ee18a507
Merge pull request #13744 from ethereum/review-checklist-update-for-external-prs
...
Update the review checklist to address common external PR problems
2022-11-30 18:20:41 +01:00
Nikola Matić
68686b5e26
Merge pull request #13768 from ethereum/prb-math-fix
...
Quick fix of prb-math external tests
2022-11-30 11:17:17 -05:00
Rodrigo Q. Saramago
0fb04432fa
Quick fix of prb-math
2022-11-30 16:24:44 +01:00
Leo
ca204c8b05
Merge pull request #13762 from ethereum/smt_fix_delete
...
Fix internal error when deleting struct member of function type
2022-11-30 13:52:12 +01:00
Leo Alt
77698f8108
Fix internal error when deleting struct member of function type
2022-11-30 12:47:32 +01:00
Kamil Śliwak
40b24850d2
Merge pull request #13766 from ethereum/fix-spurious-unreachable-warning-in-semvermatcher
...
Fix spurious unreachable warning in `SemVerMatcher`
2022-11-30 00:41:17 +01:00
Sabnock
dbc1bc1515
Array member clarification ( #13763 )
...
* clarify array members
Co-authored-by: Kamil Śliwak <cameel2@gmail.com>
2022-11-30 00:39:57 +01:00
Kamil Śliwak
fdf4ec581f
Update the review checklist to address common external PR problems
2022-11-29 23:41:16 +01:00
Kamil Śliwak
d0fb8c2e87
Fix another instance of the spurious unreachable warning, this time in SemVerMatcher
2022-11-29 23:26:22 +01:00
Kamil Śliwak
d2dd84ad4b
Merge pull request #13758 from ethereum/close-stale-issues
...
Prefer old issues/prs and only issues already labeled as stale
2022-11-29 17:32:08 +01:00
Rodrigo Q. Saramago
35f4456be2
Ensure that stale label is not removed from processed ancient issues
2022-11-29 14:38:33 +01:00
Rodrigo Q. Saramago
e31488ff7c
Prefer old issues/prs and only issues already labeled as stale
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-11-29 14:19:56 +01:00
Leo
7cb76ee515
Merge pull request #13761 from ethereum/smt_fix_user
...
Fix internal error when using user defined value types in map/struct
2022-11-29 13:52:53 +01:00
Leo Alt
608b424afc
Fix internal error when using user defined value types as mapping indices or struct members.
2022-11-29 13:04:01 +01:00
Leo
cc8baf7ea8
Merge pull request #13754 from ethereum/smt_fix_assignment
...
Fix internal error in assignment chains
2022-11-29 11:58:36 +01:00
Kamil Śliwak
7070a1721f
Merge pull request #13755 from ethereum/smt_fix_nondet
...
Make isoltest not check SMTChecker counterexamples by default
2022-11-28 22:45:07 +01:00
Leo
d5b8f74fa0
Merge pull request #13757 from ethereum/fix_emscripten_hash
...
Fix emscripten docker hash
2022-11-28 21:57:35 +01:00
Leo Alt
15b062e466
Fix emscripten docker hash
2022-11-28 21:06:51 +01:00
Leo Alt
be8b05e6bf
Make isoltest not check SMTChecker counterexamples by default.
2022-11-28 20:55:15 +01:00
