Code

Cleanup x86#378

Code

Merged

yav merged 9 commits intomasterGaloisInc/saw-script:masterfrom cleanup-x86GaloisInc/saw-script:cleanup-x86Copy head branch name to clipboardMar 4, 2019

+1,277-2,760

Commits

Commits on Feb 21, 2019

• Delete old X86 stuff.

  Show description for 8acc49b
  yav

  committed
  8acc49b

  Copy full SHA for 8acc49b

Commits on Feb 22, 2019

• Check post condition while simulating (at the very end).

  yav

  committed
  c2be833

  Copy full SHA for c2be833

• Fix deprecated warnings and add some debug code

  yav

  committed
  bfe098c

  Copy full SHA for bfe098c

• Rename X86SpecNew to X86Spec

  yav

  committed
  3cb110c

  Copy full SHA for 3cb110c

• Depend on latest macaw

  yav

  committed
  23f76f9

  Copy full SHA for 23f76f9

• Use two separate symbol maps: one with functions, one with all things.

  yav

  committed
  79cf3f1

  Copy full SHA for 79cf3f1

• Clean-up goals and some debug printing.

  yav

  committed
  9702e46

  Copy full SHA for 9702e46

Commits on Feb 28, 2019

• Bump dependencies to latest versions.

  yav

  committed
  16915f7

  Copy full SHA for 16915f7

• Merge branch 'master' into cleanup-x86

  Show description for 24ab1e4
  yav

  committed
  24ab1e4

  Copy full SHA for 24ab1e4