Code

Features to enable PICO#444

Code

Open

Ao-senXiong wants to merge 31 commits intoopprop:masteropprop/checker-framework-inference:masterfrom Ao-senXiong:PICO-pull-inAo-senXiong/checker-framework-inference:PICO-pull-inCopy head branch name to clipboard

+107-14

Commits

Commits on Dec 6, 2022

• addDeepPreference to cfi

  Show description for e33175a
  

  AndrewShf

  and

  baoruiz

  committed
  e33175a

• delete redundant if statements

  AndrewShf

  committed
  38c4b0b

Commits on Dec 21, 2022

• corresponding changes in CFI about enforce-targetlocations

  AndrewShf

  committed
  ce6cdaa

• use getProcessingEnv

  AndrewShf

  committed
  68682b2

Commits on Jan 9, 2023

• fix inference initialization crash

  AndrewShf

  committed
  e0d08e4

Commits on Jan 13, 2023

• disable all targetlocation constraints for the dataflow typesystem

  AndrewShf

  committed
  30e76d4

Commits on Jan 16, 2023

• bug fix

  AndrewShf

  committed
  c3b7c95

Commits on Jan 25, 2023

• Merge branch 'add_deep_preference' into local-features

  AndrewShf

  committed
  e9bb117

Commits on Jan 31, 2023

• change addDeclarationConstraints and handleWasRawDeclaredTypes private access to protected access

  AndrewShf

  committed
  4704bf5

• Merge branch 'private_to_protected' into local-features

  AndrewShf

  committed
  e4dc688

Commits on Feb 28, 2023

• get default type for new class tree

  AndrewShf

  committed
  df5d7e0

• fix assertion failure

  AndrewShf

  committed
  09ffa38

Commits on Mar 2, 2023

• workaround if it's an anonymous class

  AndrewShf

  committed
  f6279cf

Commits on Mar 3, 2023

• get direct super types of the defaultType

  AndrewShf

  committed
  fb56232

• fix the case when the anonymous class's directSuper type is an interface

  AndrewShf

  committed
  493963a

Commits on Mar 6, 2023

• Merge branch 'slot_default_type' into local-features

  AndrewShf

  committed
  b4072e4

Commits on Mar 30, 2023

• add makeDefaultsExplicit option

  AndrewShf

  committed
  bd9cbbc

• Merge branch 'makeDefaultsExplicit' into local-features

  AndrewShf

  committed
  71ec2d7

• add makeDefaultsExplicit option

  AndrewShf

  committed
  a0a9e74

Commits on Jun 6, 2023

• Merge branch 'makeDefaultsExplicit' into local-features

  AndrewShf

  committed
  9c092de

Commits on Apr 7, 2024

• Merge branch 'master' into local-features

  Ao-senXiong

  authored
  683fbfc

Commits on Apr 8, 2024

• Merge branch 'master' into local-features

  Ao-senXiong

  authored
  ac9a1a9

• Fixed compile bugs

  Ao-senXiong

  committed
  a2a1f61

Commits on Apr 11, 2024

• Merge branch 'master' into PICO-pull-in

  Ao-senXiong

  authored
  d47647f

Commits on Apr 13, 2024

• Merge branch 'master' into PICO-pull-in

  Ao-senXiong

  authored
  01b0edd

Commits on Apr 24, 2024

• Merge branch 'master' into PICO-pull-in

  Ao-senXiong

  authored
  8ad0c5a

• Apply spotless

  Ao-senXiong

  committed
  93635f8

• Add back missing arguments

  Ao-senXiong

  committed
  799c0fd

Commits on May 30, 2024

• Change CI target branch

  Ao-senXiong

  authored
  f30f5a8

Commits on Jun 27, 2024

• Merge branch 'master' into PICO-pull-in

  Ao-senXiong

  authored
  0910b3d

• Revert change of targe branch

  Ao-senXiong

  authored
  d62668f