Code

Remove dependency on Stack#988

Code

Merged

atomb merged 5 commits intomasterGaloisInc/saw-script:masterfrom at-remove-stackGaloisInc/saw-script:at-remove-stackCopy head branch name to clipboardJan 13, 2021

+53-296

Commits

Commits on Jan 5, 2021

• First stab at removing dependency on Stack

  

  Aaron Tomb

  committed
  7fcfdad

  Copy full SHA for 7fcfdad

• Fix test

  

  Aaron Tomb

  committed
  90a2842

  Copy full SHA for 90a2842

• Fix another test

  

  Aaron Tomb

  committed
  42628aa

  Copy full SHA for 42628aa

Commits on Jan 7, 2021

• Merge branch 'master' into at-remove-stack

  

  Aaron Tomb

  authored
  64eaafc

  Copy full SHA for 64eaafc

Commits on Jan 13, 2021

• Merge branch 'master' into at-remove-stack

  

  Aaron Tomb

  authored
  1ff7b70

  Copy full SHA for 1ff7b70