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
#48 - Upstreaming: Changes to erasure/substitution in AnnotatedTypeMirror/AsSuperVisitor/SupertypeFinder
Issue -
State: open - Opened by wmdietl 10 months ago
#47 - Upstreaming: annotating captured type variables
Issue -
State: open - Opened by wmdietl 10 months ago
#46 - Upstreaming: Avoid using `WildcardType.isUnbound()` and friends
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
#37 - Emit sinkType warnings for method arguments, assignments, and method returns
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
#34 - Change nullness-checker-for-checker-framework to jspecify-reference-checker.
Pull Request -
State: closed - Opened by cpovirk over 1 year ago
#33 - Teach the old-style samples test that lines with `test:cannot-convert` indicate expected diagnostics.
Pull Request -
State: closed - Opened by cpovirk over 1 year ago
#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
#22 - Check out the stubparser commit that corresponds to the version we need to build (3.24.2).
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
#13 - Upstreaming: Ignoring annotations on wildcards and type parameters themselves
Issue -
State: open - Opened by cpovirk over 3 years ago
#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
#6 - Meta-issue: What hacks could we remove from our checker if we made additional changes upstream?
Issue -
State: open - Opened by cpovirk almost 4 years ago
#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