Skip to content

Pull requests: ethereum/solidity

New pull request New
62 Open 9,147 Closed
62 Open 9,147 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

SMTChecker: Ignore errors that might occur during constant evaluation smt
#15863 opened Feb 14, 2025 by blishko Loading…
3
8
SMTChecker: Loop conditions should be analyzed as in loop context in BMC smt 🟡 PR review label
#15862 opened Feb 13, 2025 by blishko Loading…
1
Fix custom cleanup sequence missing from metadata when other optimizer settings have default values optimizer
#15859 opened Feb 13, 2025 by clonker Loading…
8
Fix spelling issues in a few code comments documentation 📖 external contribution ⭐
#15855 opened Feb 12, 2025 by futreall Loading…
3
Removed SHR (>>>) operator external contribution ⭐
#15848 opened Feb 11, 2025 by yash-sethi-24 Loading…
1
1
eof: Add support for SWAPN/DUPN EOF
#15845 opened Feb 10, 2025 by ekpyron Loading…
36
eof: Make use of EOF's SWAPN/DUPN has dependencies The PR depends on other PRs that must be merged first
#15844 opened Feb 10, 2025 by ekpyron • Draft
Optimize collection of references in dataflow analyzer clearValues optimizer performance 🐎
#15842 opened Feb 10, 2025 by clonker Loading…
18
Yul FunctionCallFinder uses FunctionName instead of strings as search key optimizer
#15840 opened Feb 10, 2025 by clonker Loading…
6
Add id dispenser for numerical yul node ids has dependencies The PR depends on other PRs that must be merged first
#15838 opened Feb 7, 2025 by clonker Loading…
10
Add ASTNodeRegistry to AST has dependencies The PR depends on other PRs that must be merged first
#15833 opened Feb 5, 2025 by clonker Loading…
docs: Fix grammar in workflow trigger condition external contribution ⭐
#15827 opened Feb 4, 2025 by voronor Loading…
1
Yul: Introduces ASTNodeRegistry
#15823 opened Feb 4, 2025 by clonker Loading…
71
Remove the redundant qualifier std::std::string, changing it to std::string + typo external contribution ⭐
#15822 opened Feb 4, 2025 by comfsrt Loading…
2
Refactor compileViaYul test setting EOF external contribution ⭐ testing 🔨
#15819 opened Feb 3, 2025 by rodiazet Loading…
11
SMTChecker: Allow printing queries without requiring smtlib2 as the chosen solver smt 🟡 PR review label
#15809 opened Jan 31, 2025 by blishko Loading…
7
More info about unreported fatal errors refactor
#15807 opened Jan 31, 2025 by cameel Loading…
@cameel
2
Tweaks in docker usage docs documentation 📖
#15804 opened Jan 31, 2025 by cameel Loading…
@cameel
1
[WIP] Introduce universal compilation host to execution framework external contribution ⭐ testing 🔨 🟡 PR review label
#15802 opened Jan 31, 2025 by erak • Draft
4 tasks
3
Initial ethdebug tool. ethdebug stale The issue/PR was marked as stale because it has been open for too long.
#15789 opened Jan 28, 2025 by aarlt Loading…
1
Replace "External accounts" with "Externally-owned accounts" for accuracy documentation 📖 external contribution ⭐
#15774 opened Jan 25, 2025 by codersjj Loading…
3
Fix a few grammar errors on breaking change lists and review checklist documentation 📖 external contribution ⭐
#15773 opened Jan 24, 2025 by nnsW3 Loading…
1
Switch from web3.js to ethers.js documentation 📖 external contribution ⭐
#15760 opened Jan 23, 2025 by codersjj Loading…
1
19
Fix std::string token type name in LanguageServer semantic tokens external contribution ⭐ language server
#15758 opened Jan 23, 2025 by vtjl10 Loading…
4
Introduce subassembly offset output artifact
#15710 opened Jan 13, 2025 by nikola-matic • Draft
2 of 8 tasks
1
31
ProTip! no:milestone will show everything without a milestone.