Code

PICO checker#762

Code

Closed

Ao-senXiong wants to merge 11 commits intoeisop:mastereisop/checker-framework:masterfrom Ao-senXiong:picoAo-senXiong/checker-framework:picoCopy head branch name to clipboard

+6,391-67

Commits

Commits on May 3, 2024

• Initial pico in eisop

  Ao-senXiong

  committed
  a652fef

  Copy full SHA for a652fef

Commits on May 10, 2024

• Don't format util the error report location is fixed

  Ao-senXiong

  committed
  3ac4412

  Copy full SHA for 3ac4412

• Fix pico type check error

  Ao-senXiong

  committed
  01fa01c

  Copy full SHA for 01fa01c

• Add SKIP-REQUIRE-JAVADOC util all javadoc is written

  Ao-senXiong

  committed
  e835413

  Copy full SHA for e835413

• Remove wildcard import

  Ao-senXiong

  committed
  9cfae05

  Copy full SHA for 9cfae05

• Annotate compiler message

  Ao-senXiong

  committed
  a5c4dc6

  Copy full SHA for a5c4dc6

• Remove mirror holder

  Ao-senXiong

  committed
  ba1b982

  Copy full SHA for ba1b982

• Remove static import

  Ao-senXiong

  committed
  5b08972

  Copy full SHA for 5b08972

• Comment out javadoc task until it is written

  Ao-senXiong

  committed
  4c7924c

  Copy full SHA for 4c7924c

• Comment misc check first

  Ao-senXiong

  committed
  7a0075f

  Copy full SHA for 7a0075f

• Comment misc check first

  Ao-senXiong

  committed
  8686758

  Copy full SHA for 8686758