WIP TermModel

GaloisInc · Apr 27, 2021 · 772b910 · 772b910
1 parent fabdd02
commit 772b910
Show file tree

Hide file tree

Showing 2 changed files with 502 additions and 0 deletions.
diff --git a/saw-core/saw-core.cabal b/saw-core/saw-core.cabal
@@ -76,6 +76,7 @@ library
      Verifier.SAW.SCTypeCheck
      Verifier.SAW.Simulator
      Verifier.SAW.Simulator.Concrete
+     Verifier.SAW.Simulator.TermModel
      Verifier.SAW.Simulator.MonadLazy
      Verifier.SAW.Simulator.Prims
      Verifier.SAW.Simulator.RME