Code

use template in WTO#1342

Code

Merged

yuleisui merged 5 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom jumormt:wtojumormt/SVF-xiao:wtoCopy head branch name to clipboardJan 23, 2024

+1,033-915

Commits

Commits on Jan 22, 2024

• use template in WTO

  jumormt

  committed
  5207852

  Copy full SHA for 5207852

• explicit CFBasicBlockGWTO and ICFGWTO

  jumormt

  committed
  0009339

  Copy full SHA for 0009339

Commits on Jan 23, 2024

• add typedef wtonode and fix virtual functions called within constructor

  jumormt

  committed
  daf212b

  Copy full SHA for daf212b

• refactor

  jumormt

  committed
  f5863c5

  Copy full SHA for f5863c5

• refactor

  jumormt

  committed
  424d764

  Copy full SHA for 424d764