Skip to content

Pull requests: jspecify/jdk

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
Sort

Pull requests list

Add @NonNull annotations to @NullUnmarked APIs.
#110 opened Nov 22, 2024 by cpovirk Loading…
Annotate CRC32 and GZIPOutputStream.
#107 opened Nov 12, 2024 by cpovirk Loading…
Annotate much of java.util.zip.
#106 opened Nov 11, 2024 by cpovirk Loading…
Allow messageSupplier to be null.
#105 opened Nov 6, 2024 by cpovirk Loading…
Annotate Gatherer APIs.
#79 opened Oct 4, 2024 by cpovirk Loading…
ProTip! Exclude everything labeled bug with -label:bug.