Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / jspecify/checker-framework issues and pull requests

#52 - Update to gradle 8.6

Pull Request - State: closed - Opened by wmdietl 8 months ago

#51 - Depend on released stubparser artifact

Pull Request - State: closed - Opened by wmdietl 9 months ago

#50 - Don't clone jspecify, since we're not running its tests.

Pull Request - State: closed - Opened by netdpb 9 months ago

#49 - Upstreaming: formatting of type variables

Issue - State: open - Opened by wmdietl 10 months ago - 1 comment
Labels: enhancement

#47 - Upstreaming: annotating captured type variables

Issue - State: open - Opened by wmdietl 10 months ago

#45 - Upstreaming: `AnnotationFileElementTypes#getDeclAnnotations` change

Issue - State: open - Opened by wmdietl 10 months ago - 2 comments

#44 - Upstreaming: support conformance tests

Issue - State: closed - Opened by wmdietl 10 months ago

#43 - Upstreaming: BaseTypeValidator change

Issue - State: open - Opened by wmdietl 10 months ago

#42 - Actually build the stubparser

Pull Request - State: closed - Opened by wmdietl 10 months ago - 1 comment

#41 - Update to gradle 8.5

Pull Request - State: closed - Opened by wmdietl 10 months ago

#40 - Remove dependency on annotation-tools

Pull Request - State: closed - Opened by wmdietl 10 months ago

#39 - Work around diagnostic report argument processing.

Pull Request - State: closed - Opened by netdpb about 1 year ago - 1 comment

#38 - Omit the method name for "return" sink types.

Pull Request - State: closed - Opened by netdpb about 1 year ago

#36 - Support emitting "sourceType" diagnostics

Pull Request - State: closed - Opened by netdpb about 1 year ago - 5 comments

#35 - Don't reenter gradle while running a script from within gradle

Pull Request - State: closed - Opened by netdpb over 1 year ago - 2 comments

#32 - Run reference checker tests on each PR

Issue - State: closed - Opened by netdpb over 1 year ago

#31 - Prepare for a signature change in `TreeMaker.Select`.

Pull Request - State: closed - Opened by cpovirk over 1 year ago - 3 comments

#30 - Use the new JSpecify annotation package

Pull Request - State: closed - Opened by netdpb almost 2 years ago - 2 comments

#29 - Rebase onto eisop

Issue - State: open - Opened by cpovirk about 2 years ago - 1 comment

#28 - Merge from typetools/checker-framework

Pull Request - State: closed - Opened by netdpb about 2 years ago

#27 - Upupstream

Pull Request - State: closed - Opened by netdpb about 2 years ago

#26 - Run GitHub Actions CI.

Pull Request - State: closed - Opened by netdpb about 2 years ago - 3 comments

#25 - Use Travis CI, as upstream does

Issue - State: closed - Opened by netdpb about 2 years ago - 2 comments

#24 - Pin commits for annotation-tools and stubparser.

Pull Request - State: closed - Opened by netdpb about 2 years ago

#23 - Suppress "temporary" deprecation warnings/errors

Pull Request - State: closed - Opened by netdpb about 2 years ago

#21 - Make the build script fetch related repos unshallowly and with all branches

Pull Request - State: closed - Opened by netdpb about 2 years ago

#20 - Upstreaming: A way to silence stub-file warnings

Issue - State: closed - Opened by cpovirk about 3 years ago - 5 comments

#19 - Silence stub-file warnings/notes.

Pull Request - State: closed - Opened by cpovirk about 3 years ago - 1 comment

#18 - Bump plume-util from 1.5.5 to 1.5.8

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#17 - Bump plume-util from 1.5.5 to 1.5.7

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#16 - Bump reflection-util from 1.0.3 to 1.0.4

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#15 - Bump com.github.johnrengelman.shadow from 6.1.0 to 7.0.0

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#14 - Upstreaming: More extensive assumptions of determinism

Issue - State: closed - Opened by cpovirk over 3 years ago - 1 comment

#12 - Upstreaming: Additional information in error messages

Issue - State: open - Opened by cpovirk almost 4 years ago - 4 comments
Labels: enhancement

#11 - Upstreaming: Not inheriting annotations, somehow avoiding stub-file recursion

Issue - State: open - Opened by cpovirk almost 4 years ago - 7 comments
Labels: enhancement

#10 - Upstreaming: Eliminate parameter contravariance

Issue - State: open - Opened by cpovirk almost 4 years ago - 2 comments

#9 - Upstreaming: Customize the suppress-warnings prefix that is included in error messages

Issue - State: open - Opened by cpovirk almost 4 years ago
Labels: enhancement

#8 - Upstreaming: Promote cast.unsafe from a warning to an error

Issue - State: open - Opened by cpovirk almost 4 years ago - 2 comments
Labels: enhancement

#7 - Upstreaming: Various defaulting hooks and behavior changes

Issue - State: open - Opened by cpovirk almost 4 years ago - 3 comments

#5 - Upstreaming: Use greatestLowerBound in CFAbstractValue

Issue - State: closed - Opened by cpovirk almost 4 years ago - 3 comments

#4 - Upstreaming: Additional configuration for substitution

Issue - State: open - Opened by cpovirk almost 4 years ago - 13 comments

#3 - Upstreaming: Leaving wildcard bounds as unbounded

Issue - State: closed - Opened by cpovirk almost 4 years ago - 1 comment

#2 - Upstreaming: Defaulting for bounds of unbounded wildcards

Issue - State: open - Opened by cpovirk almost 4 years ago - 2 comments

#1 - Upstreaming: Defaulting for enum constants

Issue - State: closed - Opened by cpovirk almost 4 years ago