Groups

Type annotations (JSR 308) discussions

1–30 of 109

0 selected

5/1/15

Release 1.9.1 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.9.1 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

5/1/15

4/18/15

Release 1.9.0 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.9.0 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

4/18/15

3/2/15

Release 1.8.11 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.11 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

3/2/15

1/30/15

Release 1.8.10 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.10 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

1/30/15

12/19/14

Release 1.8.9 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.9 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

12/19/14

11/26/14

Release 1.8.8 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.8 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

11/26/14

10/30/14

Release 1.8.7 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.7 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

10/30/14

9/25/14

Release 1.8.6 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.6 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

9/25/14

8/30/14

Release 1.8.5 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.5 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

8/30/14

8/1/14

Release 1.8.4 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.4 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

8/1/14

7/2/14

Release 1.8.3 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.3 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

7/2/14

6/2/14

Release 1.8.2 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.2 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

6/2/14

5/2/14

Release 1.8.1 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.8.1 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

5/2/14

4/3/14

Release 1.8.0 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework,

unread,

Release 1.8.0 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework,

4/3/14

Jonathan Burke, Trask Stalnaker2

4/1/14

Release 1.7.5 of the Checker Framework and Type Annotations Compiler

1.7.5 is in maven central now: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.cs.

unread,

Release 1.7.5 of the Checker Framework and Type Annotations Compiler

1.7.5 is in maven central now: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.cs.

4/1/14

2/20/14

Release 1.7.4 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.7.4 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

2/20/14

2/4/14

Release 1.7.3 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.7.3 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

2/4/14

Jonathan Burke, Trask Stalnaker2

1/22/14

Release 1.7.2 of the Checker Framework and Type Annotations Compiler

1.7.2 has made it to maven central: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.

unread,

Release 1.7.2 of the Checker Framework and Type Annotations Compiler

1.7.2 has made it to maven central: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.

1/22/14

Jonathan Burke, Trask Stalnaker2

12/30/13

Release 1.7.1 of the Checker Framework and Type Annotations Compiler

1.7.1 has made it to maven central: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.

unread,

Release 1.7.1 of the Checker Framework and Type Annotations Compiler

1.7.1 has made it to maven central: http://search.maven.org/#search%7Cga%7C1%7Cg%3A%22edu.washington.

12/30/13

Suminda Dharmasena, Michael Ernst3

12/23/13

Maven Central (MC)

unread,

Maven Central (MC)

12/23/13

10/24/13

Release 1.7.0 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.7.0 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

10/24/13

8/29/13

Release 1.6.7 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.7 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

8/29/13

8/2/13

Release 1.6.6 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.6 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

8/2/13

7/2/13

Release 1.6.5 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.5 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

7/2/13

Andrew Clement, Werner Dietl3

6/11/13

Question on remapping type annotations when casts are discarded by the compiler

Hi Andy, If you're interested in the JSR 308 reference implementation, the right mailing list is:

unread,

Question on remapping type annotations when casts are discarded by the compiler

Hi Andy, If you're interested in the JSR 308 reference implementation, the right mailing list is:

6/11/13

6/3/13

Release 1.6.4 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.4 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

6/3/13

5/3/13

Release 1.6.3 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.3 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

5/3/13

Andrew Clement, Werner Dietl2

4/17/13

type paths for some annotated array references

Hi Andy, > I had another quick question, I'm trying to determine whether I need a type >

unread,

type paths for some annotated array references

Hi Andy, > I had another quick question, I'm trying to determine whether I need a type >

4/17/13

Andrew Clement, Michael Ernst2

4/16/13

Seeking clarification on a bit of the spec? 'type_path_entry'

Andy- You are correct that the comments in the type_path_entry struct were incorrect. I apologize for

unread,

Seeking clarification on a bit of the spec? 'type_path_entry'

Andy- You are correct that the comments in the type_path_entry struct were incorrect. I apologize for

4/16/13

4/5/13

Release 1.6.2 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

unread,

Release 1.6.2 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and

4/5/13

Search

Clear search

Close search

Google apps

Main menu