The Wayback Machine - https://web.archive.org/web/20230306004458/https://github.com/ethereum/solidity/pulls
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

Literal suffix functions more detailed error msgs has dependencies The PR depends on other PRs that must be merged first roadmap
#14015 opened Feb 24, 2023 by matheusaaguiar Loading…
Remove YulStack::Machine enum. has dependencies The PR depends on other PRs that must be merged first
#14009 opened Feb 23, 2023 by aarlt Draft
Uniform naming convention for github labels has dependencies The PR depends on other PRs that must be merged first
#14008 opened Feb 23, 2023 by cameel Loading…
Remove EWASM backend. wasm
#13998 opened Feb 22, 2023 by aarlt Loading…
Cleanup base images and CI config
#13982 opened Feb 17, 2023 by r0qs Loading…
Update issue templates
#13970 opened Feb 13, 2023 by NunoFilipeSantos Loading…
[SMTChecker] Report safe properties in BMC and CHC priority review We want this get the review of this PR to a conclusion ASAP. SMT
#13957 opened Feb 9, 2023 by leonardoalt Loading…
Improve data flow analyzer
#13823 opened Dec 20, 2022 by chriseth Draft
2 tasks
Strict assembly fuzzer: Change optimization setting from full to minimal fuzz blocker High priority bug. Blocks further fuzzing until fixed.
#13785 opened Dec 7, 2022 by bshastry Loading… 0.8.20
Reimplement unused eliminators optimizer
#13752 opened Nov 28, 2022 by chriseth Loading…
ProTip! Add no:assignee to see everything that’s not assigned.