Code

Move PICO to EISOP#1013

Code

Open

Ao-senXiong wants to merge 45 commits intoeisop:mastereisop/checker-framework:masterfrom Ao-senXiong:pico-moveAo-senXiong/checker-framework:pico-moveCopy head branch name to clipboard

+5,743-2

Commits

Commits on Dec 14, 2024

• Starting move PICO to EISOP

  Show description for 32a297b
  

  6 peoplecommitted
  32a297b

Commits on Dec 18, 2024

• Remove static import and holder class

  Ao-senXiong

  committed
  9cc1911

• Clear star import and static import again

  Ao-senXiong

  committed
  514a607

Commits on Dec 19, 2024

• Lots of Javadoc and remove some unused method

  Ao-senXiong

  committed
  2a48ae3

• Remove dangling Javadoc

  Ao-senXiong

  committed
  4260bd3

• Add Javadoc

  Ao-senXiong

  committed
  2e4fffd

• A few more Javadoc

  Ao-senXiong

  committed
  7341fad

• Add PICO's annotation for format

  Ao-senXiong

  committed
  7a4d4a3

• Fix a few errors and add the very first test cases

  Ao-senXiong

  committed
  cac7afa

• Format poly and forbid RDM on static class

  Ao-senXiong

  committed
  6d911e4

• Yet another test case

  Ao-senXiong

  committed
  61601da

• Add object creation test

  Ao-senXiong

  committed
  646b5cb

Commits on Dec 20, 2024

• Use PolyMutable for iterator

  Show description for 911355b
  

  Ao-senXiong

  and

  wmdietl

  authored
  911355b

• Rename qualifier to PICO...

  Ao-senXiong

  committed
  d7cdc75

• Remove hack

  Ao-senXiong

  committed
  cb648fe

Commits on Dec 21, 2024

• Fixes misc-21 error

  Ao-senXiong

  committed
  63bd81e

Commits on Dec 22, 2024

• Also test validity of annotation on interface and abstract class

  Ao-senXiong

  committed
  b09a116

• Remove wrong todo and add JML readonly aliasing

  Ao-senXiong

  committed
  fa1fdd7

• Apply spotless

  Ao-senXiong

  committed
  cf0cc18

Commits on Dec 23, 2024

• Add assignability annotation test and improve the error message

  Ao-senXiong

  committed
  2e82b65

Commits on Dec 27, 2024

• Add RDM class test and initialization test

  Ao-senXiong

  committed
  96c92a9

• Merge branch 'master' into pico-move

  Ao-senXiong

  authored
  ebae3a8

• Add implicit mutable test

  Ao-senXiong

  committed
  108a938

• Add Definite Assignment test

  Ao-senXiong

  committed
  8bb7327

• Delete Definite Assignment test as it is already tested in PICOInitialization

  Ao-senXiong

  committed
  c02a0b2

• Add test for type use and inheritance

  Ao-senXiong

  committed
  b7ab62d

• A few small improvement

  Ao-senXiong

  committed
  5808e34

Commits on Dec 28, 2024

• Add lhs to test object creation default

  Ao-senXiong

  committed
  ecd1534

Commits on Dec 30, 2024

• Add builder pattern test case

  Ao-senXiong

  committed
  78f6d40

• Additional error message

  Ao-senXiong

  committed
  8a86b18

• Add viewpoint adaptation test

  Ao-senXiong

  committed
  8af7401

• Add operator test

  Ao-senXiong

  committed
  bacaf49

• Add immutableclass and immutable list test cases

  Ao-senXiong

  committed
  8025eb9

• Add cast, enum and refine the RDM test cases

  Ao-senXiong

  committed
  e357d7c

• Move some more operator test here

  Ao-senXiong

  committed
  ce82ffa

• Add adapt constructor parameter test, it is adapted correctly but method parameters are not

  Ao-senXiong

  committed
  bb1dffd

• Merge branch 'master' into pico-move

  Ao-senXiong

  authored
  c90c1c7

• Move all test cases over first

  Ao-senXiong

  committed
  636e9da

• Remove committed wrong file

  Ao-senXiong

  committed
  5d40b33

Commits on Dec 31, 2024

• Rerun the test as it should use JDK from same branch name

  Ao-senXiong

  committed
  59b4e50

• Test with CI Debug

  Ao-senXiong

  committed
  ef3c155

• Merge branch 'master' into pico-move

  Ao-senXiong

  authored
  592bbc1

• Fix errors for JDK 11

  Ao-senXiong

  committed
  a9851d4

Commits on Jan 3, 2025

• Merge branch 'master' into pico-move

  Ao-senXiong

  authored
  71685bb

• Merge branch 'master' into pico-move

  Ao-senXiong

  authored
  736e78c