Merge pull request #955 from GaloisInc/symSequence-expose

Expose a few additional operations onm SymSequence
GaloisInc · Mar 17, 2022 · aa9763a · aa9763a
2 parents d18505d + 25e945e
commit aa9763a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crucible/src/Lang/Crucible/Simulator/SymSequence.hs b/crucible/src/Lang/Crucible/Simulator/SymSequence.hs
@@ -24,6 +24,11 @@ module Lang.Crucible.Simulator.SymSequence
 , traverseSymSequence
 , concreteizeSymSequence
 , prettySymSequence
+
+  -- * Low-level evaluation primitives
+, newSeqCache
+, evalWithCache
+, evalWithFreshCache
 ) where
 
 import           Control.Monad.State