| commit | 3bdd98c61ea1eb09f74fd5207db1e5f455fd8b79 | [log] [tgz] |
|---|---|---|
| author | Chris Povirk <cpovirk@google.com> | Fri Jun 19 18:05:10 2020 -0400 |
| committer | Chris Povirk <cpovirk@google.com> | Fri Jun 19 18:05:10 2020 -0400 |
| tree | ba4c06035ac4bda08904b85ca57871a3ca7f9c0f | |
| parent | 14f989a9b367c3aabea99b33a0dc1ceadc1b8517 [diff] |
Minor simplifications and clarifications to "Nullness-subtype-establishing direct-supertype edges"
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.