Skip to content

Pull requests: strata-org/jverify

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

Emit per-construct diagnostics for unsupported switch forms
#419 opened May 21, 2026 by fabiomadge Collaborator Loading…
4 tasks done
Lower switches to if/conditional chains in a new SwitchDesugarer phase
#417 opened May 20, 2026 by fabiomadge Collaborator Loading…
4 tasks done
Fix link to SimpleNullCheck in user guide
#355 opened Nov 3, 2025 by olivier-aws Contributor Loading…
Add a reference to relevant literature
#97 opened Apr 8, 2025 by keyboardDrummer Contributor Draft
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.