Code

Adaptations to work upon opprop CF&CFI#8

Code

Open

d367wang wants to merge 12 commits intoopprop:masteropprop/value-inference:masterfrom d367wang:downstream-valued367wang/value-inference:downstream-valueCopy head branch name to clipboard

+553-557

Commits

Commits on Jun 6, 2021

• work on top of opprop/checker-framework-inference

  d367wang

  committed
  14a54a4

  Copy full SHA for 14a54a4

Commits on Jun 10, 2021

• fix bug to pass the unit tests

  d367wang

  committed
  d1acf4b

  Copy full SHA for d1acf4b

Commits on Sep 2, 2021

• support eisop updates on CF&CFI

  d367wang

  committed
  a04531f

  Copy full SHA for a04531f

• remove ValueInferenceQualifierHierarchy

  d367wang

  committed
  04172b7

  Copy full SHA for 04172b7

• update github action workflow

  d367wang

  committed
  fbc1606

  Copy full SHA for fbc1606

• run git-clone-related instead of hardcoding repo in setup.sh

  d367wang

  committed
  9b98867

  Copy full SHA for 9b98867

• Update setup.sh: download plume-lib first

  d367wang

  authored
  6d7a5f6

  Copy full SHA for 6d7a5f6

Commits on Dec 17, 2021

• fix compile error

  d367wang

  committed
  257d7d9

  Copy full SHA for 257d7d9

Commits on Jan 14, 2022

• adapt to the change of ArithmeticVariableSlot constructor

  d367wang

  committed
  8588764

  Copy full SHA for 8588764

Commits on Jan 26, 2022

• Merge branch 'master' into downstream-value

  wmdietl

  authored
  a97989f

  Copy full SHA for a97989f

• Merge branch 'downstream-value' of github.com:d367wang/value-inference into downstream-value

  d367wang

  committed
  70c59f8

  Copy full SHA for 70c59f8

Commits on Feb 6, 2022

• adapt handling of binary tree in terms of arithmetic/comparison

  d367wang

  committed
  37e5221

  Copy full SHA for 37e5221