Code

Use an EISOP CF build#155

Code

Draft

wmdietl wants to merge 25 commits intomainjspecify/jspecify-reference-checker:mainfrom main-eisopjspecify/jspecify-reference-checker:main-eisopCopy head branch name to clipboard

+1,161-637

Commits

Commits on Apr 10, 2024

• Use EISOP CF sources (#118)

  Show description for 73a3c08
  

  wmdietl

  and

  netdpb

  committed
  73a3c08

• Document that detail messages should not be filtered out (#146)

  wmdietl

  committed
  644b705

• Use standard error format (#154)

  wmdietl

  committed
  70ca5bb

• Handle both https and git@ clones (#158)

  Show description for 570d80e
  

  wmdietl

  and

  cpovirk

  committed
  570d80e

• Use the new TypeInformationPresenter to output more type information (#134)

  wmdietl

  committed
  c8d5933

• Map type.invalid.super.wildcard as an expected error (#166)

  wmdietl

  committed
  11a2980

Commits on Apr 11, 2024

• Use the new TypeUseLocation default locations (#165)

  wmdietl

  authored
  76b33c9

Commits on Apr 17, 2024

• Test fixes (#173)

  Show description for 0c36cdf
  

  wmdietl

  and

  netdpb

  authored
  0c36cdf

• Ensure root is set in both worlds. (#174)

  wmdietl

  authored
  68e9072

Commits on Apr 22, 2024

• Fix lower bound of type variables and unspecified subtypes. (#175)

  wmdietl

  authored
  2d53314

• Ensure override compatibility with type variables (#171)

  Show description for 31279fb
  

  wmdietl

  and

  cpovirk

  authored
  31279fb

Commits on Jun 30, 2024

• Stop recognizing annotations from the old package. (#181)

  cpovirk

  authored
  5462021

Commits on Jul 9, 2024

• Merge.

  cpovirk

  committed
  9e4d14d

Commits on Jul 24, 2024

• Update to gradle 8.9 (#187)

  wmdietl

  authored
  fffce55

Commits on Jul 25, 2024

• Use DetailedTestDiagnostic from EISOP instead of DetailMessage (#186)

  wmdietl

  authored
  39764fb

• Introduce a NullSpecTypeValidator to ensure unspecified type variables are ok (#178)

  wmdietl

  authored
  e1069a2

• Use EISOP release and include jspecify/jdk in jar (#188)

  wmdietl

  authored
  36855b8

• Make a local release of the reference checker (#189)

  Show description for af9dfbc
  

  wmdietl

  and

  cpovirk

  authored
  af9dfbc

Commits on Jul 26, 2024

• Merge branch 'main' of github.com:/jspecify/jspecify-reference-checker into merge-main

  wmdietl

  committed
  a005f4e

• Use same version

  wmdietl

  committed
  89e055f

• Build a local eisop/checker-framework for CI (#196)

  wmdietl

  authored
  746e34b

• Report all errors as [nullness]. (#194)

  Show description for 3c80e50
  

  cpovirk

  and

  wmdietl

  authored
  3c80e50

Commits on Aug 14, 2024

• Fix capture conversion in lenient mode. (#197)

  Show description for fc545a8
  cpovirk

  authored
  fc545a8

Commits on Aug 23, 2024

• Use the new NoContractsFromMethod (#201)

  wmdietl

  authored
  eea8585

Commits on Aug 29, 2024

• Update to gradle 8.10 (#203)

  wmdietl

  authored
  27d2334