Merge pull request #378 from GaloisInc/cleanup-x86

Cleanup x86
GaloisInc · Mar 4, 2019 · 77d3f2c · 77d3f2c
2 parents 9711c4b + 24ab1e4
commit 77d3f2c
Show file tree

Hide file tree

Showing 12 changed files with 1,276 additions and 2,759 deletions.
diff --git a/deps/macaw b/deps/macaw
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -154,15 +154,7 @@ library
     SAWScript.Prover.Exporter
 
     SAWScript.X86
-    SAWScript.X86SpecNew
     SAWScript.X86Spec
-    SAWScript.X86Spec.Memory
-    SAWScript.X86Spec.Registers
-    SAWScript.X86Spec.Fresh
-    SAWScript.X86Spec.Literal
-    SAWScript.X86Spec.SAW
-    SAWScript.X86Spec.Monad
-    SAWScript.X86Spec.Types
 
   GHC-options: -O2 -Wall -fno-ignore-asserts -fno-spec-constr-count
   if impl(ghc == 8.0.1)