Code

Add SVFG::fromValue#906

Code

Open

gerion0 wants to merge 5 commits intoSVF-tools:masterSVF-tools/SVF:masterfrom luhsra:value2vfgluhsra/SVF:value2vfgCopy head branch name to clipboard

+90-8

Commits

Commits on Nov 17, 2022

• Revert "Remove SVFG::fromValue."

  Show description for e4d90dd
  gerion0

  committed
  e4d90dd

• SVFG: refactor fromValue to use SVFIR

  gerion0

  committed
  1a5e6ed

Commits on Nov 29, 2022

• CMake: link with -pthread

  bjfiedler

  committed
  456b10f

Commits on Mar 30, 2023

• installation: install ExtAPI.json into system

  inodanus

  committed
  2a0d3aa

• ExtAPI: find ExtAPI.json in installed svf

  Show description for d3ade0c
  inodanus

  committed
  d3ade0c