Skip to content

Pull requests: typetools/checker-framework

New pull request New
20 Open 4,660 Closed
20 Open 4,660 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update versions.errorprone to v2.27.1
#6571 opened May 2, 2024 by renovate bot Loading…
1 task
Optimize temporary variable creation by excluding void method calls; …
Performance
#6569 opened May 1, 2024 by iamsanjaymalakar Loading…
1
@iamsanjaymalakar
4
Fix potential exponential behavior in obligation tracking in Must Cal…
#6567 opened May 1, 2024 by iamsanjaymalakar Loading…
1
@iamsanjaymalakar
7
No parallelism under Azure Pipelines; completes #6422
#6564 opened May 1, 2024 by mernst Loading…
@smillst
Use "enclosing" rather than "containing"
#6563 opened May 1, 2024 by mernst Loading…
@smillst
Refactor CFAbstractStore#methodValues to CFAbstractStore#methodCallExpressions
#6562 opened May 1, 2024 by jyoo980 Loading…
@smillst @jyoo980
2
Deprecate isUnassignableByOtherCode() and isUnmodifiableByOtherCode()
#6561 opened May 1, 2024 by mernst Loading…
@smillst
Do not clear information about method call values in lambda expressions
#6560 opened Apr 29, 2024 by jyoo980 • Draft
4
Print timing per test
#6549 opened Apr 25, 2024 by mernst Loading…
@smillst
Add test case for closing over an Optional value
#6547 opened Apr 25, 2024 by jyoo980 Loading…
@jyoo980
Don't output top annotations to .ajava files
#6432 opened Jan 30, 2024 by mernst Loading…
@kelloggm @smillst
1
Issue error if top is used in a contract annotation
#6429 opened Jan 30, 2024 by mernst Loading…
@smillst
4
Warn when using the top type in a pre- or post-condition annotation
#6412 opened Jan 22, 2024 by mernst Loading…
@mernst
6
Improve documentation of commonAssignmentCheck and correct overrides
#6347 opened Dec 8, 2023 by smillst Loading…
@smillst
7
Don't write irrelevant annotations in .ajava files
#6254 opened Oct 22, 2023 by mernst Loading…
1
@mernst
6
@CreatesMustCallFor create an obligation on exceptional successors
#6221 opened Oct 3, 2023 by Nargeshdb Loading…
1
@Nargeshdb
21
Determine correct types for implicit this nodes
#6008 opened Jun 7, 2023 by mernst Loading…
Add @SideEffectsOnly annotation
#5582 opened Jan 26, 2023 by mernst • Draft
@mernst @jyoo980
5
Run WPI on plume-util
#5534 opened Jan 18, 2023 by mernst • Draft
Update collection-object-parameters-may-be-null for new annotations.
#3549 opened Aug 3, 2020 by cpovirk Loading…
@mernst
ProTip! Adding no:label will show everything without a label.