GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

warning police

Browse Source
This commit is contained in:
Daniel Wagner 2020-04-02 13:49:41 -04:00
parent 97c9e20089
commit c8328006ac
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
symbolic/src/Data/Macaw/Symbolic/MemTraceOps.hs
View File

@ -29,23 +29,23 @@ import Numeric
import Data.Macaw.CFG.AssignRhs (ArchAddrWidth, MemRepr(..))
import Data.Macaw.Memory (AddrWidthRepr(..), Endianness, addrWidthClass, addrWidthNatRepr)
import Data.Macaw.Symbolic.Backend (EvalStmtFunc, MacawArchEvalFn(..))
import Data.Macaw.Symbolic.CrucGen (MacawArchStmtExtension, MacawStmtExtension(..), MacawExt)
import Data.Macaw.Symbolic.MemOps (LookupFunctionHandle(..), GlobalMap, MacawSimulatorState(..), doGetGlobal)
import Data.Macaw.Symbolic.CrucGen (MacawStmtExtension(..), MacawExt)
import Data.Macaw.Symbolic.MemOps (GlobalMap, MacawSimulatorState(..), doGetGlobal)
import Data.Macaw.Symbolic.PersistentState (ToCrucibleType)
import Data.Parameterized.Context (pattern (:>), pattern Empty)
import qualified Data.Parameterized.Map as MapF
import Data.Text (pack)
import Lang.Crucible.Backend (IsSymInterface, LabeledPred(..), assert)
import Lang.Crucible.Backend (IsSymInterface, assert)
import Lang.Crucible.CFG.Common (GlobalVar, freshGlobalVar)
import Lang.Crucible.FunctionHandle (HandleAllocator)
import Lang.Crucible.LLVM.MemModel (LLVMPointerType, LLVMPtr, pattern LLVMPointer, llvmPointer_bv)
import Lang.Crucible.Simulator.ExecutionTree (CrucibleState, ExtensionImpl(..), actFrame, gpGlobals, stateSymInterface, stateTree)
import Lang.Crucible.Simulator.ExecutionTree (CrucibleState, actFrame, gpGlobals, stateSymInterface, stateTree)
import Lang.Crucible.Simulator.GlobalState (insertGlobal, lookupGlobal)
import Lang.Crucible.Simulator.Intrinsics (IntrinsicClass(..), IntrinsicMuxFn(..), IntrinsicTypes)
import Lang.Crucible.Simulator.RegMap (RegEntry(..))
import Lang.Crucible.Simulator.RegValue (RegValue)
import Lang.Crucible.Simulator.SimError (SimErrorReason(..))
import Lang.Crucible.Types ((::>), BoolType, BVType, EmptyCtx, IntrinsicType, NatType, SymbolRepr, TypeRepr(BVRepr), knownSymbol)
import Lang.Crucible.Types ((::>), BoolType, BVType, EmptyCtx, IntrinsicType, SymbolRepr, TypeRepr(BVRepr), knownSymbol)
import What4.Concrete (ConcreteVal(..))
import What4.Expr.Builder (ExprBuilder)
import What4.Interface -- (NatRepr, knownRepr, BaseTypeRepr(..), SolverSymbol, userSymbol, freshConstant, natLit)