Skip to content

Pull requests: argotorg/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
Assigned to nobody Loading
Sort

Pull requests list

Update nlohmann-json to v3.12.0
#16333 opened Dec 6, 2025 by matheusaaguiar Loading…
Update fmtlib to 12.1.0
#16332 opened Dec 6, 2025 by matheusaaguiar Loading…
Replace transfer (deprecated) occurrences with call in smt tests has dependencies The PR depends on other PRs that must be merged first smt testing 🔨
#16291 opened Nov 19, 2025 by matheusaaguiar Loading…
Officially discontinue PPA and DockerHub releases has dependencies The PR depends on other PRs that must be merged first
#16243 opened Oct 10, 2025 by cameel Draft 0.8.32
Integrate experimental SSA CFG codegen with OSS-Fuzz
#16242 opened Oct 9, 2025 by r0qs Loading…
Introduce experimental flag/option
#16229 opened Oct 6, 2025 by nikola-matic Draft
4 of 7 tasks
ProTip! Mix and match filters to narrow down what you’re looking for.