Merge pull request #116 from GaloisInc/saw-what4-refactor

Saw what4 refactor
GaloisInc · Jan 30, 2021 · f6de4bb · f6de4bb
2 parents 26a21f3 + 13fc77e
commit f6de4bb
Show file tree

Hide file tree

Showing 4 changed files with 1,200 additions and 160 deletions.
diff --git a/saw-core-what4/saw-core-what4.cabal b/saw-core-what4/saw-core-what4.cabal
@@ -22,7 +22,6 @@ library
     mtl,
     saw-core,
     what4,
-    crucible-saw,
     panic,
     text,
     transformers,
@@ -35,4 +34,6 @@ library
      Verifier.SAW.Simulator.What4.FirstOrder
      Verifier.SAW.Simulator.What4.PosNat
      Verifier.SAW.Simulator.What4.Panic
+     Verifier.SAW.Simulator.What4.ReturnTrip
+
   GHC-options: -Wall -Werror