All issues

Search results

Publish reference instructions for AI coding agents that apply JSpecify annotations

Status: Open.

#888 In jspecify/jspecify;

· vlsi opened on Sep 5, 2026

Provide a checker for JSpecify annotations in unrecognized locations

Status: Open.

#883 In jspecify/jspecify;

· vlsi opened on Aug 27, 2026

Documentation on the caveats of static analysis differences of various tools

Status: Open.

#880 In jspecify/jspecify;

· agentgt opened on Aug 24, 2026

Write some documentation about "Cannot attach type annotations..."

Status: Open.

#873 In jspecify/jspecify;

· cpovirk opened on Aug 14, 2026

1.0.1 Gradle module metadata omits javadocElements

Status: Open.

#867 In jspecify/jspecify;

· jpenilla opened on Aug 3, 2026

Debian Package

Status: Open.

#866 In jspecify/jspecify;

· msgilligan opened on Aug 3, 2026

Update Bazel usage instructions to use maven.install

Status: Open.

#856 In jspecify/jspecify;

· cpovirk opened on Jul 24, 2026

Justify our recommendation against optional/provided scope

Status: Open.

#851 In jspecify/jspecify;

· cpovirk opened on Jul 20, 2026

Design FAQ: why @Implies is complex

Status: Open.

#846 In jspecify/jspecify;

· cpovirk opened on Jul 17, 2026

Design FAQ: some kind of intro

Status: Open.

#844 In jspecify/jspecify;

· cpovirk opened on Jul 17, 2026

Design FAQ: Justify why "viewing a wildcard as not requiring an upper bound is simpler"

Status: Open.

#843 In jspecify/jspecify;

· cpovirk opened on Jul 17, 2026

Design FAQ: Make less of the point that type variables need an upper bound for erasure purposes?

Status: Open.

#842 In jspecify/jspecify;

· cpovirk opened on Jul 17, 2026