Code

[WIP] remove getPtrElement#1296

Code

Merged

yuleisui merged 4 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom jumormt:opaquejumormt/SVF-xiao:opaqueCopy head branch name to clipboardDec 22, 2023

+5-54

Commits

Commits on Dec 22, 2023

• update getElementNum

  jumormt

  committed
  12dde0e

  Copy full SHA for 12dde0e

• remove getptrelementtype in svf/

  jumormt

  committed
  48aef4b

  Copy full SHA for 48aef4b

• remove unused function

  jumormt

  committed
  39ee67d

  Copy full SHA for 39ee67d

• remove print flatten

  jumormt

  committed
  3168159

  Copy full SHA for 3168159