Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

Checker Framework discussion

1–30 of 494

0 selected

Suzanne Millstein

Mar 3

Release 3.49.1 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.49.1 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

Mar 3

Maksym Hryhoriev

Feb 6

Compilation time is very slow.

I have simple Reactive SpringBoot application with OpenSearch integration: JDK: 23.0.1 Maven: 3.9.9

unread,

Compilation time is very slow.

I have simple Reactive SpringBoot application with OpenSearch integration: JDK: 23.0.1 Maven: 3.9.9

Feb 6

Suzanne Millstein

Feb 3

Release 3.49.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.49.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

Feb 3

Suzanne Millstein

Jan 2

Release 3.48.4 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.48.4 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

Jan 2

Suzanne Millstein

12/2/24

Release 3.48.3 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.48.3 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

12/2/24

Suzanne Millstein

11/4/24

Release 3.48.2 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.48.2 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

11/4/24

Oliver Fischer, Michael Ernst3

11/1/24

The connection between Checker Framework and Java Bean Validation Annotations; Javax and Jakarta

The latest release of the Checker Framework (3.48.2) supports the jakarta.validation.constraints.

unread,

The connection between Checker Framework and Java Bean Validation Annotations; Javax and Jakarta

The latest release of the Checker Framework (3.48.2) supports the jakarta.validation.constraints.

11/1/24

Suzanne Millstein

10/11/24

Release 3.48.1 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.48.1 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

10/11/24

Jon Schewe, Michael Ernst4

10/2/24

null checks in streams

The method isInstance in java.lang.Class will return false for null. Therefore it's not possible

unread,

null checks in streams

The method isInstance in java.lang.Class will return false for null. Therefore it's not possible

10/2/24

Suzanne Millstein

10/2/24

Release 3.48.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.48.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

10/2/24

9/8/24

Question about PolyNull on this

I'm working on upgrading to Checker Frameowrk 3.47.0 from 3.42.0. I cam across the error below. /

unread,

Question about PolyNull on this

I'm working on upgrading to Checker Frameowrk 3.47.0 from 3.42.0. I cam across the error below. /

9/8/24

Suzanne Millstein

9/4/24

Release 3.47.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.47.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

9/4/24

Suzanne Millstein

8/1/24

Release 3.46.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.46.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

8/1/24

Suzanne Millstein

7/1/24

Release 3.45.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.45.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

7/1/24

Suzanne Millstein

6/3/24

Release 3.44.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.44.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

6/3/24

Suzanne Millstein

5/1/24

Release 3.43.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.43.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

5/1/24

4/16/24

New stub warnings in 3.42

With the release of Checker Framework 3.42 I've started getting warnings about one of my stub

unread,

New stub warnings in 3.42

With the release of Checker Framework 3.42 I've started getting warnings about one of my stub

4/16/24

Kenneth Knowles

3/11/24

Tricky generics + variance case involving wildcards

I have a case where I'm not sure how to get the types right, at https://github.com/kennknowles/

unread,

Tricky generics + variance case involving wildcards

I have a case where I'm not sure how to get the types right, at https://github.com/kennknowles/

3/11/24

Siddharth Jain, … Michael Ernst8

1/18/24

checker framework causing maven build exception

Excellent! I am glad it is working for you. (I agree that Maven is a pain...) -Mike On Thu, Jan 18,

unread,

checker framework causing maven build exception

Excellent! I am glad it is working for you. (I agree that Maven is a pain...) -Mike On Thu, Jan 18,

1/18/24

Suzanne Millstein

12/15/23

Release 3.42.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.42.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

12/15/23

Suzanne Millstein

12/4/23

Release 3.41.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.41.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

12/4/23

Suzanne Millstein

11/1/23

Release 3.40.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.40.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

11/1/23

Suzanne Millstein

10/2/23

checker-framework-discuss@googlegroups.com

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

checker-framework-discuss@googlegroups.com

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

10/2/23

Suzanne Millstein

9/1/23

Release 3.38.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.38.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

9/1/23

Suzanne Millstein

8/1/23

Release 3.37.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.37.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

8/1/23

nic ch, Michael Ernst2

7/28/23

Checker Framework for Kotlin Support

You are correct: the Checker Framework does not support Kotlin. It would be possible to add Kotlin

unread,

Checker Framework for Kotlin Support

You are correct: the Checker Framework does not support Kotlin. It would be possible to add Kotlin

7/28/23

Suzanne Millstein

7/3/23

Release 3.36.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.36.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

7/3/23

Suzanne Millstein

6/1/23

Release 3.35.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.35.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

6/1/23

Suzanne Millstein

5/2/23

Release 3.34.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.34.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

5/2/23

Suzanne Millstein

4/3/23

Release 3.33.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

unread,

Release 3.33.0 of the Checker Framework

We have released a new version of the Checker Framework. The Checker Framework lets you create and/or

4/3/23

Search

Clear search

Close search

Google apps

Main menu