| ManyAssumptions | Lang.Crucible.Backend |
| mapApp | Lang.Crucible.CFG.Expr |
| mapAt | Lang.Crucible.Vector |
| mapAtM | Lang.Crucible.Vector |
| mapSome | Lang.Crucible.CFG.Core |
| mapStmtAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| MatchMaybe | |
| 1 (Type/Class) | Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Generator |
| maxNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| maxSigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| maxUnsigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MaybeBranch | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| MaybeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MaybeType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| member | Lang.Crucible.Utils.BitSet |
| MergeAssumptions | Lang.Crucible.Backend |
| mergeAssumptions | Lang.Crucible.Backend |
| mergeCallFrame | Lang.Crucible.Simulator.CallFrame |
| mergeMuxTree | Lang.Crucible.Utils.MuxTree |
| mergePartExpr | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| mergeRegs | Lang.Crucible.Simulator.RegMap |
| Metric | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| metricAborts | Lang.Crucible.Simulator.Profiling |
| metricExtraMetrics | Lang.Crucible.Simulator.Profiling |
| metricMerges | Lang.Crucible.Simulator.Profiling |
| Metrics | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Profiling |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Profiling |
| metrics | Lang.Crucible.Simulator.Profiling |
| metricSolverStats | Lang.Crucible.Simulator.Profiling |
| metricSplits | Lang.Crucible.Simulator.Profiling |
| MF | Lang.Crucible.Simulator.CallFrame |
| minSigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| minUnsigned | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| minusPlusCancel | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mkAtom | Lang.Crucible.CFG.Generator |
| mkBlock | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| mkBlockFrame | Lang.Crucible.Simulator.CallFrame |
| mkCallFrame | Lang.Crucible.Simulator.CallFrame |
| mkFresh | Lang.Crucible.CFG.Generator |
| mkFreshFloat | Lang.Crucible.CFG.Generator |
| mkHandle | Lang.Crucible.FunctionHandle |
| mkHandle' | Lang.Crucible.FunctionHandle |
| mkInputAtoms | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| mkIntrinsic | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| mkNatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mkOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| mkOverride' | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| MkStruct | Lang.Crucible.CFG.Expr |
| mkStruct | Lang.Crucible.Syntax |
| model | Lang.Crucible.Concretize |
| modifyAbstractRegValue | Lang.Crucible.Analysis.Fixpoint |
| modifyGlobal | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| modifyRef | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| modifyReg | Lang.Crucible.CFG.Generator |
| modifyRegM | Lang.Crucible.CFG.Generator |
| MonadCont | Lang.Crucible.Utils.StateContT |
| MonadState | Lang.Crucible.Utils.StateContT |
| MonadVerbosity | Lang.Crucible.Utils.MonadVerbosity |
| mul2Plus | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mulCancelR | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| mulComm | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| MuxFn | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxHandle | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| muxRecursive | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxReference | Lang.Crucible.Simulator.RegMap |
| muxReg | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxRegEntry | Lang.Crucible.Simulator.RegMap |
| muxRegForType | Lang.Crucible.Simulator.RegMap |
| muxStringMap | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxStruct | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxSymSequence | Lang.Crucible.Simulator.SymSequence, Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| MuxTree | Lang.Crucible.Utils.MuxTree |
| muxTreeBinOp | Lang.Crucible.Utils.MuxTree |
| muxTreeCmpOp | Lang.Crucible.Utils.MuxTree |
| muxTreeEq | Lang.Crucible.Utils.MuxTree |
| muxTreeGe | Lang.Crucible.Utils.MuxTree |
| muxTreeGt | Lang.Crucible.Utils.MuxTree |
| muxTreeLe | Lang.Crucible.Utils.MuxTree |
| muxTreeLt | Lang.Crucible.Utils.MuxTree |
| muxTreeUnaryOp | Lang.Crucible.Utils.MuxTree |
| muxVariant | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |
| muxVector | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap |