Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Checker Framework discussion
Conversations
About
Groups keyboard shortcuts have been updated
Dismiss
See shortcuts
Checker Framework discussion
Contact owners and managers
1–30 of 493
Mark all as read
Report group
0 selected
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 Ernst
3
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 Ernst
4
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
Jon Schewe
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
Jon Schewe
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 Ernst
8
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 Ernst
2
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
Suzanne Millstein
3/2/23
Release 3.32.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.32.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
3/2/23