Indexed Artifacts (28.6M)

Popular Categories

checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

LicenseMIT
CategoriesDefect Detection Metadata
HomePage https://checkerframework.org
Date(Jun 01, 2018)
Filesjar (188 KB)  View All
RepositoriesCentralRedhat GAXceptance
Ranking#307 in MvnRepository (See Top Artifacts)
Used By1,346 artifacts

Note: There is a new version for this artifact

New Version3.22.2


Compile Dependencies (0)

Category/License Group / ArtifactVersionUpdates

Licenses

LicenseURL
The MIT License http://opensource.org/licenses/MIT

Developers

NameEmailDev IdRolesOrganization
Michael Ernstmernst<at>cs.washington.eduMichael Ernst <mernst@cs.washington.edu>University of Washington
Werner M. Dietlwdietl<at>uwaterloo.cawmdietlUniversity of Waterloo
Suzanne Millsteinsmillst<at>cs.washington.eduSuzanne Millstein <smillst@cs.washington.edu>University of Washington PLSE Group