List view

"JSpecify for JSR305+IntelliJ users," "JSpecify for Checker Framework users," etc.

documentationFor issues related to user-facing documentationFor issues related to user-facing documentation

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

Status: Open.

#123 In jspecify/jspecify;

· cpovirk opened on Sep 1, 2020

One-paragraph writeup of our value proposition

documentationFor issues related to user-facing documentationFor issues related to user-facing documentation

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

Status: Open.

#119 In jspecify/jspecify;

· cpovirk opened on Aug 18, 2020

Voting members

metaFor very broad issues concerning "how things work in this project".For very broad issues concerning "how things work in this project".

Status: Open.

#112 In jspecify/jspecify;

· mernst opened on Jun 9, 2020

Format for stub files

designAn issue that is resolved by making a decision, about whether and how something should work.An issue that is resolved by making a decision, about whether and how something should work.

stub-filesFor issues concerning only stub/overlay files (content, format, etc.).For issues concerning only stub/overlay files (content, format, etc.).

Status: Open.

#98 In jspecify/jspecify;

· artempyanykh opened on Mar 31, 2020

Stub files for "nullness only," etc.

designAn issue that is resolved by making a decision, about whether and how something should work.An issue that is resolved by making a decision, about whether and how something should work.

stub-filesFor issues concerning only stub/overlay files (content, format, etc.).For issues concerning only stub/overlay files (content, format, etc.).

Status: Open.

#95 In jspecify/jspecify;

· cpovirk opened on Feb 11, 2020

When a stub file covers only part of an API, can APIs affected without being declared?

designAn issue that is resolved by making a decision, about whether and how something should work.An issue that is resolved by making a decision, about whether and how something should work.

stub-filesFor issues concerning only stub/overlay files (content, format, etc.).For issues concerning only stub/overlay files (content, format, etc.).

Status: Open.

#94 In jspecify/jspecify;

· cpovirk opened on Jan 24, 2020

Repository for java.* annotation-overlay files, hosted/maintained by us

stub-filesFor issues concerning only stub/overlay files (content, format, etc.).For issues concerning only stub/overlay files (content, format, etc.).

Status: Open.

#25 In jspecify/jspecify;

· wmdietlGC opened on Jan 10, 2019

Kotlin nullness analysis integration

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

trackingkeeping track of our needs from projectskeeping track of our needs from projects

Status: Open.

#24 In jspecify/jspecify;

· wmdietlGC opened on Jan 10, 2019

Checker Framework Nullness Checker (CFNC) interaction

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

Status: Open.

#20 In jspecify/jspecify;

· wmdietlGC opened on Jan 10, 2019

Documentation: language comparison

documentationFor issues related to user-facing documentationFor issues related to user-facing documentation

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

Status: Open.

#227 In jspecify/jspecify;

· kevinb9n opened on Jan 25, 2022

Sample input: Inheriting override-equivalent methods

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#67 In jspecify/jspecify;

· cpovirk opened on Aug 14, 2019

Sample input: Inheriting the same type with different arguments

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#68 In jspecify/jspecify;

· cpovirk opened on Aug 15, 2019

Separate directories of sample inputs for "not enough information" and "mismatch," maybe for other kinds of divisions?

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#130 In jspecify/jspecify;

· cpovirk opened on Sep 29, 2020

How to identify sample inputs that require Java 9+?

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#131 In jspecify/jspecify;

· cpovirk opened on Sep 29, 2020

Sample input: var (Local Variable Type Inference)

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#132 In jspecify/jspecify;

· cpovirk opened on Sep 29, 2020

Inline the "directory structure" section of Tagir's doc into our sample inputs' README

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#134 In jspecify/jspecify;

· cpovirk opened on Sep 29, 2020

Sample inputs that exercise reading annotations from bytecode

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#141 In jspecify/jspecify;

· cpovirk opened on Oct 8, 2020

JSpecify samples: type annotations should be written immediately on types

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#146 In jspecify/jspecify;

· mernst opened on Oct 10, 2020

Define jspecify_nullness_intrinsically_not_nullable and split it into cases

nullnessFor issues specific to nullness analysis.For issues specific to nullness analysis.

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#165 In jspecify/jspecify;

· mernst opened on Feb 7, 2021

Location of error message for uninitialized fields

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#171 In jspecify/jspecify;

· mernst opened on Feb 9, 2021

Fix lines in samples that yield 2 or more findings

testsissues relating to the conformance tests or samplesissues relating to the conformance tests or samples

Status: Open.

#175 In jspecify/jspecify;

· amaembo opened on Feb 11, 2021

Project mgmt: consider adopting Minimum Viable Governance (or extension thereof)

metaFor very broad issues concerning "how things work in this project".For very broad issues concerning "how things work in this project".

Status: Open.

#243 In jspecify/jspecify;

· kevinb9n opened on Mar 23, 2022

Can we switch the .dev and .org?

devdevelopment tasks, build issues...development tasks, build issues...

Status: Open.

#267 In jspecify/jspecify;

· kevinb9n opened on Aug 16, 2022

The build vs. JDK versions

devdevelopment tasks, build issues...development tasks, build issues...

Status: Open.

#271 In jspecify/jspecify;

· kevinb9n opened on Aug 22, 2022

Handle javadoc generation smartly somehow

devdevelopment tasks, build issues...development tasks, build issues...

Status: Open.

#276 In jspecify/jspecify;

· kevinb9n opened on Aug 23, 2022