Download edu.washington.cs.types.checker JAR files with all dependencies
checker-quals-jdk5 from group edu.washington.cs.types.checker (version 1.7.5)
Annotations ("type qualifiers") from the checker framework,
backported so they can be used in pre-JDK8 applications
Group: edu.washington.cs.types.checker Artifact: checker-quals-jdk5
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact checker-quals-jdk5
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-quals from group edu.washington.cs.types.checker (version 1.7.5)
Annotations ("type qualifiers") from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-quals
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact checker-quals
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-framework from group edu.washington.cs.types.checker (version 1.7.5)
Checker framework
Group: edu.washington.cs.types.checker Artifact: checker-framework
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact checker-framework
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-annotated-jdk8 from group edu.washington.cs.types.checker (version 1.7.5)
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-jdk8
Show documentation Show source
Show documentation Show source
0 downloads
Artifact checker-annotated-jdk8
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-annotated-jdk7 from group edu.washington.cs.types.checker (version 1.7.5)
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-jdk7
Show documentation Show source
Show documentation Show source
0 downloads
Artifact checker-annotated-jdk7
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 31. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-maven-plugin from group edu.washington.cs.types.checker (version 1.7.5)
Maven plugin for using the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-maven-plugin
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact checker-maven-plugin
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 30. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 5
Dependencies maven-toolchain, maven-plugin-api, maven-project, maven-compiler-plugin, plexus-compiler-javac,
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.5
Last update 30. March 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 5
Dependencies maven-toolchain, maven-plugin-api, maven-project, maven-compiler-plugin, plexus-compiler-javac,
There are maybe transitive dependencies!
checker-annotated-openjdk7 from group edu.washington.cs.types.checker (version 1.7.2)
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-openjdk7
Show all versions Show documentation Show source
Show all versions Show documentation Show source
1 downloads
Artifact checker-annotated-openjdk7
Group edu.washington.cs.types.checker
Version 1.7.2
Last update 22. January 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.7.2
Last update 22. January 2014
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
checker-annotated-openjdk6 from group edu.washington.cs.types.checker (version 1.5.0)
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework
Group: edu.washington.cs.types.checker Artifact: checker-annotated-openjdk6
Show documentation Show source
Show documentation Show source
0 downloads
Artifact checker-annotated-openjdk6
Group edu.washington.cs.types.checker
Version 1.5.0
Last update 31. January 2013
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group edu.washington.cs.types.checker
Version 1.5.0
Last update 31. January 2013
Organization not specified
URL http://types.cs.washington.edu/checker-framework
License GNU General Public License, version 2, with the Classpath Exception
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 8)