Code

Features to enable PICO#442

Code

Closed

Ao-senXiong wants to merge 23 commits intoopprop:masteropprop/checker-framework-inference:masterfrom Ao-senXiong:local-featuresAo-senXiong/checker-framework-inference:local-featuresCopy head branch name to clipboard

+102-20

Commits

Commits on Dec 6, 2022

• addDeepPreference to cfi

  Show description for e33175a
  

  AndrewShf

  and

  baoruiz

  committed
  e33175a

  Copy full SHA for e33175a

• delete redundant if statements

  AndrewShf

  committed
  38c4b0b

  Copy full SHA for 38c4b0b

Commits on Dec 21, 2022

• corresponding changes in CFI about enforce-targetlocations

  AndrewShf

  committed
  ce6cdaa

  Copy full SHA for ce6cdaa

• use getProcessingEnv

  AndrewShf

  committed
  68682b2

  Copy full SHA for 68682b2

Commits on Jan 9, 2023

• fix inference initialization crash

  AndrewShf

  committed
  e0d08e4

  Copy full SHA for e0d08e4

Commits on Jan 13, 2023

• disable all targetlocation constraints for the dataflow typesystem

  AndrewShf

  committed
  30e76d4

  Copy full SHA for 30e76d4

Commits on Jan 16, 2023

• bug fix

  AndrewShf

  committed
  c3b7c95

  Copy full SHA for c3b7c95

Commits on Jan 25, 2023

• Merge branch 'add_deep_preference' into local-features

  AndrewShf

  committed
  e9bb117

  Copy full SHA for e9bb117

Commits on Jan 31, 2023

• change addDeclarationConstraints and handleWasRawDeclaredTypes private access to protected access

  AndrewShf

  committed
  4704bf5

  Copy full SHA for 4704bf5

• Merge branch 'private_to_protected' into local-features

  AndrewShf

  committed
  e4dc688

  Copy full SHA for e4dc688

Commits on Feb 28, 2023

• get default type for new class tree

  AndrewShf

  committed
  df5d7e0

  Copy full SHA for df5d7e0

• fix assertion failure

  AndrewShf

  committed
  09ffa38

  Copy full SHA for 09ffa38

Commits on Mar 2, 2023

• workaround if it's an anonymous class

  AndrewShf

  committed
  f6279cf

  Copy full SHA for f6279cf

Commits on Mar 3, 2023

• get direct super types of the defaultType

  AndrewShf

  committed
  fb56232

  Copy full SHA for fb56232

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

  AndrewShf

  committed
  493963a

  Copy full SHA for 493963a

Commits on Mar 6, 2023

• Merge branch 'slot_default_type' into local-features

  AndrewShf

  committed
  b4072e4

  Copy full SHA for b4072e4

Commits on Mar 30, 2023

• add makeDefaultsExplicit option

  AndrewShf

  committed
  bd9cbbc

  Copy full SHA for bd9cbbc

• Merge branch 'makeDefaultsExplicit' into local-features

  AndrewShf

  committed
  71ec2d7

  Copy full SHA for 71ec2d7

• add makeDefaultsExplicit option

  AndrewShf

  committed
  a0a9e74

  Copy full SHA for a0a9e74

Commits on Jun 6, 2023

• Merge branch 'makeDefaultsExplicit' into local-features

  AndrewShf

  committed
  9c092de

  Copy full SHA for 9c092de

Commits on Apr 7, 2024

• Merge branch 'master' into local-features

  Ao-senXiong

  authored
  683fbfc

  Copy full SHA for 683fbfc

Commits on Apr 8, 2024

• Merge branch 'master' into local-features

  Ao-senXiong

  authored
  ac9a1a9

  Copy full SHA for ac9a1a9

• Fixed compile bugs

  Ao-senXiong

  committed
  a2a1f61

  Copy full SHA for a2a1f61