Code

Heapster disable debug output#1449

Code

Merged

eddywestbrook merged 6 commits intomasterGaloisInc/saw-script:masterfrom heapster-disable-debug-outputGaloisInc/saw-script:heapster-disable-debug-outputCopy head branch name to clipboardSep 3, 2021

+146-92

Commits

Commits on Aug 31, 2021

• fixed the IRT description generation to match the recent change that made the translation of bitvector permissions to just be bitvectors

  

  Eddy Westbrook

  committed
  884b584

  Copy full SHA for 884b584

• Merge branch 'heapster-fix-memcpy-bug' into heapster-bugfix-bitvector-irts

  

  Eddy Westbrook

  committed
  e98bd33

  Copy full SHA for e98bd33

• Merge branch 'master' into heapster-bugfix-bitvector-irts

  

  Eddy Westbrook

  committed
  6387369

  Copy full SHA for 6387369

Commits on Sep 3, 2021

• added the notion of Heapster debug levels, and threaded them through all of the Heapster code so that no debug output is printed unless the Heapster debug level is set to at least 1

  

  Eddy Westbrook

  committed
  d7acab2

  Copy full SHA for d7acab2

• Merge branch 'master' into heapster-disable-debug-output

  

  Eddy Westbrook

  committed
  3e6ae20

  Copy full SHA for 3e6ae20

• Merge branch 'master' into heapster-disable-debug-output

  

  Eddy Westbrook

  authored
  98195fa

  Copy full SHA for 98195fa