Adaptations to work upon opprop CF&CFI - #8

Open

d367wang wants to merge 12 commits into

opprop:masterfrom

d367wang:downstream-value

Commits on Jun 6, 2021

work on top of opprop/checker-framework-inference
d367wang
committed
14a54a4

Commits on Jun 10, 2021

fix bug to pass the unit tests
d367wang
committed
d1acf4b

Commits on Sep 2, 2021

Commits on Dec 17, 2021

fix compile error
d367wang
committed
257d7d9

Commits on Jan 14, 2022

adapt to the change of ArithmeticVariableSlot constructor
d367wang
committed
8588764

Commits on Jan 26, 2022

Commits on Feb 6, 2022

adapt handling of binary tree in terms of arithmetic/comparison
d367wang
committed
37e5221