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 Draft
4 tasks done
Add break/continue/labeled statements/do-while support
#418 opened May 20, 2026 by olivier-aws Contributor Loading…
Stop UNSUSPEND from restoring switches to JCSwitch nodes
#417 opened May 20, 2026 by fabiomadge Collaborator Draft
5 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.