Checker framework

License	GNU General Public License, version 2, with the Classpath Exception
Categories	Checker Framework Data Data Formats Formal Verification
GroupId	edu.washington.cs.types.checker
ArtifactId	checker-framework
Last Version	1.7.5
Release Date	Mar 31, 2014
Type	jar
Description	Checker framework Checker framework
Project URL	http://types.cs.washington.edu/checker-framework
Source Code Management	http://code.google.com/p/checker-framework/source/browse

Download checker-framework

Filename	Size
checker-framework-1.7.5.pom
checker-framework-1.7.5.jar	867 KB
checker-framework-1.7.5-sources.jar	478 KB
checker-framework-1.7.5-javadoc.jar	1 MB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-framework/ -->
<dependency>
    <groupId>edu.washington.cs.types.checker</groupId>
    <artifactId>checker-framework</artifactId>
    <version>1.7.5</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-framework/
implementation 'edu.washington.cs.types.checker:checker-framework:1.7.5'

Gradle Kotlin

// https://jarcasting.com/artifacts/edu.washington.cs.types.checker/checker-framework/
implementation ("edu.washington.cs.types.checker:checker-framework:1.7.5")

Apache Buildr

'edu.washington.cs.types.checker:checker-framework:jar:1.7.5'

Apache Ivy

<dependency org="edu.washington.cs.types.checker" name="checker-framework" rev="1.7.5">
  <artifact name="checker-framework" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='edu.washington.cs.types.checker', module='checker-framework', version='1.7.5')
)

Scala SBT

libraryDependencies += "edu.washington.cs.types.checker" % "checker-framework" % "1.7.5"

Leiningen

[edu.washington.cs.types.checker/checker-framework "1.7.5"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
1.7.5 Mar 31, 2014
1.7.2 Jan 22, 2014
1.7.1 Dec 23, 2013
1.7.0 Nov 16, 2013
1.6.4 Jun 18, 2013
1.6.1 Mar 3, 2013
1.6.0 Feb 2, 2013
1.5.0 Jan 31, 2013