Merge pull request #1310 from GaloisInc/term-model

Term model evaluator
GaloisInc · Jun 25, 2021 · 24a6b0a · 24a6b0a
2 parents 09463dd + 5f6aad3
commit 24a6b0a
Show file tree

Hide file tree

Showing 4 changed files with 1,210 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