Skip to content

Pull requests: ethereum/solidity

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

SSA CFG Liveness
#15439 opened Sep 18, 2024 by clonker Loading…
Treat builtins separately in Yul AST
#15347 opened Aug 20, 2024 by clonker Loading…
1 task done
Support for ethdebug types ethdebug 🟡 PR review label
#15327 opened Aug 12, 2024 by aarlt Draft
Enable ethdebug debug info and output selection. ethdebug 🟡 PR review label
#15289 opened Jul 22, 2024 by aarlt Loading…
Use YulNameRepository instead of YulString for the Yul AST has dependencies The PR depends on other PRs that must be merged first
#15281 opened Jul 19, 2024 by clonker Draft
2 of 5 tasks
Integrate YulNameRepository as yul dialect proxy has dependencies The PR depends on other PRs that must be merged first
#15260 opened Jul 12, 2024 by clonker Draft
2 of 3 tasks
SMTChecker: Use Z3 through the SMT-LIB interface smt
#15252 opened Jul 10, 2024 by blishko Loading…
Compute the dominance frontier 🟡 PR review label
#15250 opened Jul 8, 2024 by r0qs Draft
ProTip! Filter pull requests by the default branch with base:develop.