Group: Washington CS Types Checker
1.Checker Framework10 usages
edu.washington.cs.types.checker » checker-framework GPL
Checker framework
Last Release on Mar 31, 2014
2.Checker Framework's Annotated JDK 7
edu.washington.cs.types.checker » checker-annotated-jdk7 GPL
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
Last Release on Mar 31, 2014
3.Checker Framework's Annotated JDK 8
edu.washington.cs.types.checker » checker-annotated-jdk8 GPL
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
Last Release on Mar 31, 2014
4.Checker Framework's Annotated OpenJDK 6
edu.washington.cs.types.checker » checker-annotated-openjdk6 GPL
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
Last Release on Jan 31, 2013
5.Checker Framework's Annotated OpenJDK 7
edu.washington.cs.types.checker » checker-annotated-openjdk7 GPL
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework
Last Release on Jan 22, 2014
6.Checker Framework's Type Qualifiers
edu.washington.cs.types.checker » checker-quals MIT
Annotations ("type qualifiers") from the checker framework
Last Release on Mar 31, 2014
7.Checker Framework's Type Qualifiers Backported to JDK5
edu.washington.cs.types.checker » checker-quals-jdk5 MIT
Annotations ("type qualifiers") from the checker framework,
backported so they can be used in pre-JDK8 applications
Last Release on Mar 31, 2014
8.Checker Framework Maven Plugin2 usages
edu.washington.cs.types.checker » checker-maven-plugin Apache +1
Maven plugin for using the checker framework
Last Release on Mar 30, 2014