Skip to content

Pull requests: ethereum/solidity

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

test for unlimited string literal in IR via yul
#15131 opened May 22, 2024 by clonker Loading…
[ethdebug] Transport debug data through common subexpression eliminator. has dependencies The PR depends on other PRs that must be merged first
#15088 opened May 9, 2024 by aarlt Draft
[ethdebug] Transport debug data through block flattener. 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.
#15087 opened May 9, 2024 by aarlt Draft
replace YulString with YulName typedef refactor
#15083 opened May 8, 2024 by clonker Loading…
SMTChecker: Upgrade CVC4 to cvc5 and switch from API to SMT-LIB2 interface has dependencies The PR depends on other PRs that must be merged first smt
#15078 opened May 6, 2024 by blishko Draft
[yul] Transport debug data to assembly. 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.
#14969 opened Mar 27, 2024 by aarlt Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.