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

SSACFGBuilder: clean up tryRemoveTrivialPhi has dependencies The PR depends on other PRs that must be merged first
#15441 opened Sep 19, 2024 by clonker Loading…
SSA CFG Liveness
#15439 opened Sep 18, 2024 by clonker Loading…
Documentation for transient storage documentation 📖
#15409 opened Sep 5, 2024 by matheusaaguiar Loading…
1 task done
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 stale The issue/PR was marked as stale because it has been open for too long.
#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 stale The issue/PR was marked as stale because it has been open for too long.
#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
Introduce YulNameRepository
#15242 opened Jul 5, 2024 by clonker Loading…
ProTip! no:milestone will show everything without a milestone.