Groups
Sign in
Groups
Checker Framework discussion
Conversations
About
Send feedback
Help
Checker Framework discussion
Contact owners and managers
1–30 of 479
Mark all as read
Report group
0 selected
Suzanne Millstein
May 1
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
May 1
Jon Schewe
Apr 16
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
Apr 16
Kenneth Knowles
Mar 11
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/
Mar 11
Siddharth Jain
, …
Michael Ernst
8
Jan 18
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,
Jan 18
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
Suzanne Millstein
2/17/23
Release 3.31.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.31.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
2/17/23
Suzanne Millstein
2/2/23
Release 3.30.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.30.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
2/2/23
Suzanne Millstein
1/5/23
Release 3.29.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.29.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
1/5/23
Jack Mike
,
Michael Ernst
2
12/20/22
Unable to read repository at https://checkerframework.org/eclipse/content.xml
Our certificate expired and we have had quite a problem in renewing it. This problem is tracked at
unread,
Unable to read repository at https://checkerframework.org/eclipse/content.xml
Our certificate expired and we have had quite a problem in renewing it. This problem is tracked at
12/20/22
Suzanne Millstein
12/1/22
Release 3.28.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.28.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
12/1/22
Kenneth Knowles
11/29/22
New "keyfor" errors with getClass() with 3.16.0 and beyond
Hello, TL;DR: It seems that most or all uses of getClass() produce [super @KeyForBottom Void] and the
unread,
New "keyfor" errors with getClass() with 3.16.0 and beyond
Hello, TL;DR: It seems that most or all uses of getClass() produce [super @KeyForBottom Void] and the
11/29/22
Suzanne Millstein
11/1/22
Release 3.27.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.27.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/22
Roded Bahat
,
Michael Ernst
5
10/25/22
Ignoring "Type not found" stub warnings
Hi Mike, Yes: https://github.com/typetools/checker-framework/issues/5390 Thanks a lot. Roded On
unread,
Ignoring "Type not found" stub warnings
Hi Mike, Yes: https://github.com/typetools/checker-framework/issues/5390 Thanks a lot. Roded On
10/25/22
Suzanne Millstein
10/3/22
Release 3.26.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.26.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
10/3/22
Michael Ernst
9/2/22
Release 3.25.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.25.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
9/2/22
Jonne Zutt
,
Michael Ernst
2
8/26/22
UnitsChecker: fix incompatible types in assignment
Thanks for your message, and I'm sorry you are having trouble. For now, please suppress the
unread,
UnitsChecker: fix incompatible types in assignment
Thanks for your message, and I'm sorry you are having trouble. For now, please suppress the
8/26/22
Michael Ernst
8/3/22
Release 3.24.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.24.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
8/3/22
Michael Ernst
7/11/22
Release 3.23.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.23.0 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
7/11/22
Michael Ernst
6/14/22
Release 3.22.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.22.2 of the Checker Framework
We have released a new version of the Checker Framework. The Checker Framework lets you create and/or
6/14/22