Code

Heapster: freshen LLVM global names#1531

Code

Merged

mergify[bot] merged 3 commits intomasterGaloisInc/saw-script:masterfrom heapster/freshen-llvm-globalsGaloisInc/saw-script:heapster/freshen-llvm-globalsCopy head branch name to clipboardDec 3, 2021

+15-2

Commits

Commits on Dec 2, 2021

• added scFreshenGlobalIdent to find a fresh Ident to use for a SAW core global

  

  Eddy Westbrook

  committed
  0445c11

  Copy full SHA for 0445c11

• bug fix: LLVM globals are translated to fresh names, so that globals with the same name do not create name clashes

  

  Eddy Westbrook

  committed
  f1d4d64

  Copy full SHA for f1d4d64

Commits on Dec 3, 2021

• Merge branch 'master' into heapster/freshen-llvm-globals

  

  Eddy Westbrook

  authored
  d69969c

  Copy full SHA for d69969c