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

Liveness loop nesting forest
#15419 opened Sep 9, 2024 by clonker Loading…
eof: Introduce EOF container format support in Assembly::assemble (EIP-3540) EOF external contribution ⭐ has dependencies The PR depends on other PRs that must be merged first
#15367 opened Aug 28, 2024 by rodiazet Loading…
Treat builtins separately in Yul AST
#15347 opened Aug 20, 2024 by clonker Loading…
1 task done
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
Introduce YulNameRepository
#15242 opened Jul 5, 2024 by clonker Loading…
Numerical Yul node id handles has dependencies The PR depends on other PRs that must be merged first
#15215 opened Jun 24, 2024 by clonker Draft
7 of 10 tasks
ProTip! Updated in the last three days: updated:>2024-09-10.