Skip to content

Releases: kelloggm/checker-framework

Index Annotate Map PR

06 Nov 20:03
Compare
Choose a tag to compare
Index Annotate Map PR Pre-release
Pre-release

JDK for Index JDK changes for plume-lib

10 Oct 21:08
Compare
Choose a tag to compare
Pre-release

Only for testing

nonnegative-subtyping

20 Sep 23:38
Compare
Choose a tag to compare
nonnegative-subtyping Pre-release
Pre-release

Build of annotated JDK for typetools#1358.

string-builder-length

30 Nov 21:22
Compare
Choose a tag to compare
string-builder-length Pre-release
Pre-release
fix incredibly wrong same len code. Not sure how that happened

index-annotate-list (typetools#1656)

29 Nov 02:01
Compare
Choose a tag to compare
Pre-release
fix incredibly wrong same len code. Not sure how that happened

character-nn

20 Nov 23:32
Compare
Choose a tag to compare
character-nn Pre-release
Pre-release
fix incredibly wrong same len code. Not sure how that happened