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

Yul AST contains dialect refactor 🟡 PR review label
#15560 opened Oct 31, 2024 by clonker Loading…
EOF: Implement ext*calls EOF external contribution ⭐ has dependencies The PR depends on other PRs that must be merged first
#15559 opened Oct 31, 2024 by rodiazet Loading…
SMTChecker + CI: Update versions of solvers and test expectations 🟡 PR review label
#15558 opened Oct 31, 2024 by blishko Loading…
eof: Implement stack height calculation EOF external contribution ⭐ has dependencies The PR depends on other PRs that must be merged first
#15555 opened Oct 30, 2024 by rodiazet Loading…
Add submodule path to git safe.directory before initialize the submodule build system 🏗️ stale The issue/PR was marked as stale because it has been open for too long.
#15554 opened Oct 30, 2024 by r0qs Draft
Docker: Update Z3 and cvc5 versions in docker images 🟡 PR review label
#15551 opened Oct 29, 2024 by blishko Draft
eof: Support functions (CALLF, RETF, JUMPF) EOF external contribution ⭐ has dependencies The PR depends on other PRs that must be merged first
#15550 opened Oct 29, 2024 by rodiazet Loading…
Add support for instructions and source ranges. ethdebug stale The issue/PR was marked as stale because it has been open for too long.
#15368 opened Aug 28, 2024 by aarlt Draft
Treat builtins separately in Yul AST has dependencies The PR depends on other PRs that must be merged first 🟡 PR review label
#15347 opened Aug 20, 2024 by clonker Loading…
1 task done
ProTip! Updated in the last three days: updated:>2024-11-19.