Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 7, 2024

• Enable debugging

  mernst

  committed
  864c229

  Copy full SHA for 864c229

Commits on Jun 6, 2024

• Annotate `Enum#name()` with `@Pure`

  jyoo980

  authored
  535fc22

  Copy full SHA for 535fc22

Commits on May 24, 2024

• Locking annotations on `StringJoiner`

  mernst

  authored
  196d23c

  Copy full SHA for 196d23c

Commits on May 14, 2024

• Make StringJoiner constructors `@SideEffectFree`

  mernst

  authored
  6b98ceb

  Copy full SHA for 6b98ceb

Commits on May 13, 2024

• Annotate `Map.forEach` lambda parameter with `@NonLeaked`

  jyoo980

  authored
  3afbd0f

  Copy full SHA for 3afbd0f

Commits on May 11, 2024

• Annotate `Record.java`

  mernst

  authored
  fcaecfe

  Copy full SHA for fcaecfe

• Annotate lambda parameter of `Iterable.forEach` with`@NonLeaked`

  jyoo980

  authored
  d125cc2

  Copy full SHA for d125cc2

Commits on Apr 26, 2024

• Apply formatting to README.md

  jyoo980

  authored
  0e0489d

  Copy full SHA for 0e0489d

Commits on Mar 28, 2024

• Add purity annotations to `Pattern.java`

  mernst

  authored
  422cb09

  Copy full SHA for 422cb09

Commits on Mar 13, 2024

• Add purity annotations on `max()`

  mernst

  authored
  9d75554

  Copy full SHA for 9d75554

Commits on Mar 11, 2024

• Purity for boolean methods in `Files.java`

  mernst

  authored
  b043424

  Copy full SHA for b043424

Commits on Feb 20, 2024

• `File.pathSeparator` is a regex (at least on Unix and Windows)

  mernst

  committed
  e987898

  Copy full SHA for e987898

Commits on Jan 28, 2024

• Get `git-clone-related` from git-scripts repository, not plume-scripts

  mernst

  authored
  8993cd4

  Copy full SHA for 8993cd4

Commits on Jan 27, 2024

• Don't use `--filter=blob:none` with `git-clone-related`

  mernst

  committed
  31676ce

  Copy full SHA for 31676ce

Commits on Dec 15, 2023

• Use `@EnsuresPresent` instead of `@EnsuresQualifier`

  mernst

  authored
  7b36053

  Copy full SHA for 7b36053

Commits on Dec 13, 2023

• Add support for OptionalDouble, OptionalInt, OptionalLong

  smillst

  authored
  f0b7efa

  Copy full SHA for f0b7efa

• Add Optional method annotations

  smillst

  authored
  a5c96c2

  Copy full SHA for a5c96c2

Commits on Dec 4, 2023

• Use `@EnsuresPresentIf` instead of `@EnsuresQualifierIf`

  jyoo980

  authored
  88af971

  Copy full SHA for 88af971

Commits on Nov 30, 2023

• Disambiguate qualifier export instructions

  jyoo980

  authored
  2b1d152

  Copy full SHA for 2b1d152

• Update Checker Framework Qualifiers (#184)

  jyoo980

  authored
  6f48d62

  Copy full SHA for 6f48d62

Commits on Nov 22, 2023

• Use `--filter=blob:none` instead of `--depth 1`

  mernst

  committed
  6c6241d

  Copy full SHA for 6c6241d

Commits on Nov 19, 2023

• Correct annotation on `Optional#ofNullable`

  smillst

  authored
  b8ff603

  Copy full SHA for b8ff603

Commits on Nov 13, 2023

• Add purity annotations (#182)

  mernst

  authored
  048cc5c

  Copy full SHA for 048cc5c

Commits on Oct 21, 2023

• Receiver of `orElseThrow(Supplier)` is `@MaybePresent`

  mernst

  authored
  1973fa0

  Copy full SHA for 1973fa0

• Add Optional annotations for primitive numeric Optional wrappers

  mernst

  authored
  2e95e32

  Copy full SHA for 2e95e32

Commits on Oct 5, 2023

• Annotated javax.lang.model.util.Types for nullness. (#179)

  smillst

  authored
  7f2fadb

  Copy full SHA for 7f2fadb

Commits on Sep 14, 2023

• Make Map.entry require non-null parameters (#178)

  Show description for 27bb756
  

  3 peopleauthored
  27bb756

  Copy full SHA for 27bb756

Commits on Aug 28, 2023

• Add annotations to Enums

  smillst

  authored
  3272c84

  Copy full SHA for 3272c84

Commits on Aug 23, 2023

• Signedness annotations

  mernst

  committed
  4bec906

  Copy full SHA for 4bec906

Commits on Aug 17, 2023

• Stream ofNullable has Nullable parameter

  agentgt

  authored
  ccdfdd4

  Copy full SHA for ccdfdd4

Commits on Jul 6, 2023

• have toArray annotations match superclass Collection

  markro49

  authored
  48353d9

  Copy full SHA for 48353d9

Commits on Jun 23, 2023

• Sort `@Poly*` annotations

  mernst

  committed
  8e84031

  Copy full SHA for 8e84031

Commits on May 11, 2023

• Relax signedness specification in `Object`

  mernst

  authored
  85fa8df

  Copy full SHA for 85fa8df

Commits on May 10, 2023

• Add `@SideEffectFree`

  mernst

  authored
  956f5a6

  Copy full SHA for 956f5a6

Commits on May 7, 2023

• Add `@PolySigned` on `OutputStream.write()`

  mernst

  authored
  e57e2ab

  Copy full SHA for e57e2ab

Pagination

Previous

Next