Code

[WIP]add AbstractValue #1423

Code

Merged

yuleisui merged 7 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom bjjwwang:masterbjjwwang/SVF:masterCopy head branch name to clipboardApr 4, 2024

+2,106-1,709

Commits

Commits on Apr 2, 2024

• first commit of Abstract Value and its related changes

  

  bjjwwang

  committed
  a765d6c

  Copy full SHA for a765d6c

• update symabs

  jiawei-95

  committed
  ea97b2a

  Copy full SHA for ea97b2a

• some modification

  

  bjjwwang

  committed
  3cff2a6

  Copy full SHA for 3cff2a6

Commits on Apr 3, 2024

• fix some bugs for big prog

  

  bjjwwang

  committed
  79249a0

  Copy full SHA for 79249a0

• rename some key data structure

  

  bjjwwang

  committed
  c3178e8

  Copy full SHA for c3178e8

• rename some data struct

  

  bjjwwang

  committed
  b243759

  Copy full SHA for b243759

Commits on Apr 4, 2024

• rename abstractInterpretation

  

  bjjwwang

  committed
  5609cc1

  Copy full SHA for 5609cc1