Checker Framework discussion

Wasiliana na wamiliki na wasimamizi

1–30 of 480

Umechagua 0

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

3 Jun

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

hayajasomwa,

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

3 Jun

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

1 Mei

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

hayajasomwa,

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

1 Mei

Picha ya wasifu ya Jon Schewe

16 Apr

New stub warnings in 3.42

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

hayajasomwa,

New stub warnings in 3.42

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

16 Apr

Picha ya wasifu ya Kenneth Knowles

Kenneth Knowles

11 Mac

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/

hayajasomwa,

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/

11 Mac

Picha ya wasifu ya Siddharth Jain

Siddharth Jain, … Michael Ernst8

18 Jan

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,

hayajasomwa,

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,

18 Jan

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

15/12/2023

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

hayajasomwa,

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

15/12/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

04/12/2023

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

hayajasomwa,

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

04/12/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/11/2023

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

hayajasomwa,

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

01/11/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

02/10/2023

checker-framework-discuss@googlegroups.com

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

hayajasomwa,

checker-framework-discuss@googlegroups.com

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

02/10/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/09/2023

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

hayajasomwa,

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

01/09/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/08/2023

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

hayajasomwa,

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

01/08/2023

Picha ya wasifu ya nic ch

nic ch, Michael Ernst2

28/07/2023

Checker Framework for Kotlin Support

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

hayajasomwa,

Checker Framework for Kotlin Support

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

28/07/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

03/07/2023

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

hayajasomwa,

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

03/07/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/06/2023

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

hayajasomwa,

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

01/06/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

02/05/2023

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

hayajasomwa,

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

02/05/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

03/04/2023

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

hayajasomwa,

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

03/04/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

02/03/2023

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

hayajasomwa,

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

02/03/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

17/02/2023

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

hayajasomwa,

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

17/02/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

02/02/2023

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

hayajasomwa,

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

02/02/2023

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

05/01/2023

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

hayajasomwa,

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

05/01/2023

Picha ya wasifu ya Jack Mike

Jack Mike, Michael Ernst2

20/12/2022

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

hayajasomwa,

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

20/12/2022

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/12/2022

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

hayajasomwa,

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

01/12/2022

Picha ya wasifu ya Kenneth Knowles

Kenneth Knowles

29/11/2022

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

hayajasomwa,

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

29/11/2022

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

01/11/2022

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

hayajasomwa,

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

01/11/2022

Picha ya wasifu ya Roded Bahat

Roded Bahat, Michael Ernst5

25/10/2022

Ignoring "Type not found" stub warnings

Hi Mike, Yes: https://github.com/typetools/checker-framework/issues/5390 Thanks a lot. Roded On

hayajasomwa,

Ignoring "Type not found" stub warnings

Hi Mike, Yes: https://github.com/typetools/checker-framework/issues/5390 Thanks a lot. Roded On

25/10/2022

Picha ya wasifu ya Suzanne Millstein

Suzanne Millstein

03/10/2022

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

hayajasomwa,

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

03/10/2022

Picha ya wasifu ya Michael Ernst

02/09/2022

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

hayajasomwa,

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

02/09/2022

Picha ya wasifu ya Jonne Zutt

Jonne Zutt, Michael Ernst2

26/08/2022

UnitsChecker: fix incompatible types in assignment

Thanks for your message, and I'm sorry you are having trouble. For now, please suppress the

hayajasomwa,

UnitsChecker: fix incompatible types in assignment

Thanks for your message, and I'm sorry you are having trouble. For now, please suppress the

26/08/2022

Picha ya wasifu ya Michael Ernst

03/08/2022

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

hayajasomwa,

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

03/08/2022

Picha ya wasifu ya Michael Ernst

11/07/2022

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

hayajasomwa,

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

11/07/2022

Tafuta

Futa utafutaji

Funga kisanduku cha kutafutia

Programu za Google

Menyu kuu