| commit | c3cb14ab9f4f1c18fdaa19929f438387b7b816ee | [log] [tgz] |
|---|---|---|
| author | Chris Povirk <cpovirk@google.com> | Thu May 28 21:19:08 2020 -0400 |
| committer | Chris Povirk <cpovirk@google.com> | Thu May 28 21:19:08 2020 -0400 |
| tree | 50e521e2e2c91d26594f74701f741f87a7e8254a | |
| parent | 2f3fa10f40b4f1214b8f37d4182568b410dcefab [diff] |
"The Simplest(?) Thing That Could Possibly Work for subtyping" I'll post to jspecify-dev about this in the morning.
This project is a placeholder. We are using the issue tracker for some of our conversations, but the existing code in the repo does not reflect our current design decisions, and we have many decisions left to make.
An artifact of well-named and well-specified annotations to power static analysis checks.
Our focus during 2018-2021 is annotations for nullness.
This is not an officially supported product of any of the participant organizations.
Simply run ./gradlew to build artifacts. Or run ./gradlew publishToMavenLocal to install artifacts to your Local Maven Repository.