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

Add output selection support for ethdebug ethdebug has dependencies The PR depends on other PRs that must be merged first
#15293 opened Jul 23, 2024 by aarlt Draft
Integrate YulNameRepository as yul dialect proxy
#15260 opened Jul 12, 2024 by clonker Draft
2 tasks
Explicit treatment of printing mode in Yul AsmPrinter
#15259 opened Jul 12, 2024 by clonker Loading…
Yul: Immutable AST class with top-level block refactor
#15258 opened Jul 11, 2024 by clonker Loading…
1 task done
SMTChecker: Use Z3 through the SMT-LIB interface has dependencies The PR depends on other PRs that must be merged first smt
#15252 opened Jul 10, 2024 by blishko Draft
Compute the dominance frontier
#15250 opened Jul 8, 2024 by r0qs Draft
Generate transient storage layout
#15247 opened Jul 8, 2024 by matheusaaguiar Loading…
Introduce YulNameRepository
#15242 opened Jul 5, 2024 by clonker Loading…
Numerical Yul node id handles
#15215 opened Jun 24, 2024 by clonker Draft
5 of 10 tasks
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.