Kamil Śliwak
71506bd3b3
Consistent terminology for attached/bound functions (file rename)
2022-12-07 19:31:44 +01:00
wechman
64a4f32bc2
Consistent terminology for attached/bound functions
2022-12-07 19:31:41 +01:00
Nikola Matić
1c8745c54a
Merge pull request #12274 from ethereum/reuseKeccak
...
Re-use knowledge about keccak calls.
2022-12-07 08:59:25 -05:00
chriseth
79c52b3c9e
Re-use knowledge about keccak calls.
...
Re-use knowledge about keccak calls.
Update gas cost.
More tests.
Fix bug.
Update libyul/optimiser/DataFlowAnalyzer.cpp
Remove util prefixes
fix test
More test cases.
Add Changelog entry
2022-12-07 14:16:13 +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
Kamil Śliwak
3f17e0e1ca
Merge pull request #13753 from ethereum/close-stale-rename
...
Rename close stale action
2022-11-28 19:39:50 +01:00
Kamil Śliwak
1373aef249
Merge pull request #13745 from ethereum/close-stale-issues
...
Close stale issues
2022-11-28 19:39:44 +01:00
Leo Alt
07870d0318
Fix internal error in assignment chains that also assign to fully qualified state variables (, for example), where the contract expression is a tuble.
2022-11-28 18:45:50 +01:00
Rodrigo Q. Saramago
0407ef744a
Rename stale action
2022-11-28 17:59:45 +01:00
Rodrigo Q. Saramago
eb550d839e
Modify stale pr action to also close old stale issues
...
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-11-28 17:58:27 +01:00
Leo
764569be16
Merge pull request #13751 from ethereum/smt_fix_natspec
...
Fix internal error in multiple wrong options for SMTChecker natspec
2022-11-28 17:51:41 +01:00
Leo Alt
a5dab6181c
Fix internal error when the abstract-nondet SMTChecker natspec annotation is used with a wrong option multiple times for the same function
2022-11-28 16:59:35 +01:00
Leo
4baeddc62b
Merge pull request #13749 from ethereum/smt_fix_library
...
Fix SMTChecker bug when a public library function is called internally
2022-11-28 13:56:30 +01:00
Leo Alt
9a8dd4242f
Fix SMTChecker bug when a public library function is called internally by an internal library function, which in turn is called internally by a contract.
2022-11-28 13:07:18 +01:00
Kamil Śliwak
40f0329baa
Merge pull request #13743 from GeorgePlotnikov/develop
...
Add updated solc-bin update call to ReleaseChecklist.md
2022-11-25 20:29:33 +01:00
George Plotnikov
0a4c7f3b0f
ReleaseChecklist.md: Update update
call in solc-bin section
2022-11-25 19:42:33 +01:00
Kamil Śliwak
4e3175d093
Merge pull request #12797 from vinayman/10627_ErrorReportingScannerIssues
...
Improve Error Reporting of SemVer Parser
2022-11-25 19:39:16 +01:00
Vinay
9e7b85ac4b
Improve Error Reporting of SemVer Parser
2022-11-25 13:09:09 -03:00
Kamil Śliwak
10f81425a3
Merge pull request #13581 from r0qs/ci-to-nightly
...
Let the nightlies call themselves 'nightly', the return.
2022-11-25 15:27:27 +01:00
chriseth
826ada0b96
Merge pull request #13705 from ethereum/onlyCountVariables
...
Only count variables if only variables are needed.
2022-11-25 14:20:07 +01:00
Nikola Matić
bf1a2c7cee
Merge pull request #13734 from ethereum/add_perf_benchmarks
...
Add performance benchmarks.
2022-11-25 07:44:02 -05:00