Add more Macaw.Symbolic exports.

GaloisInc · Oct 19, 2023 · 103e302 · 103e302
1 parent 0686e5d
commit 103e302
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/symbolic/src/Data/Macaw/Symbolic.hs b/symbolic/src/Data/Macaw/Symbolic.hs
@@ -122,6 +122,10 @@ module Data.Macaw.Symbolic
   , ptrOp
   , isValidPtr
   , mkUndefinedBool
+  , cases
+  , endCase
+  , (~>)
+  , binOpLabel
   , MO.GlobalMap(..)
   , unsupportedFunctionCalls
   , MO.LookupFunctionHandle(..)

diff --git a/symbolic/src/Data/Macaw/Symbolic/MemOps.hs b/symbolic/src/Data/Macaw/Symbolic/MemOps.hs
@@ -44,6 +44,10 @@ module Data.Macaw.Symbolic.MemOps
   , isValidPtr
   , mkUndefinedBool
   , muxMemReprValue
+  , cases
+  , endCase
+  , (~>)
+  , binOpLabel
   ) where
 
 import           Control.Exception (throwIO)