Code

State1 refactor SVFIR2AbsState#1464

Code

Merged

yuleisui merged 9 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom bjjwwang:0523bjjwwang/SVF:0523Copy head branch name to clipboardMay 23, 2024

+133-168

Commits

Commits on May 23, 2024

• refactor APIs in AbstractState/Value

  

  bjjwwang

  committed
  3095568

  Copy full SHA for 3095568

• refactor APIs in AbstractState/Value

  

  bjjwwang

  committed
  643c19c

  Copy full SHA for 643c19c

• add comments to idx 0

  

  bjjwwang

  committed
  807010d

  Copy full SHA for 807010d

• add comments to idx 0

  

  bjjwwang

  committed
  b911c7a

  Copy full SHA for b911c7a

• add comments to idx 0

  

  bjjwwang

  committed
  a5b118a

  Copy full SHA for a5b118a

• remove redundant assert

  

  bjjwwang

  committed
  0b20524

  Copy full SHA for 0b20524

• remove redundant assert

  

  bjjwwang

  committed
  e49f7a3

  Copy full SHA for e49f7a3

• stage1: refactor SVFIR2AbsState

  

  bjjwwang

  committed
  ec9f536

  Copy full SHA for ec9f536

• Merge branch 'master' into 0523

  bjjwwang

  authored
  e67bc0d

  Copy full SHA for e67bc0d