| dblPosIsPos | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Dead | Lang.Crucible.Analysis.ForwardDataflow |
| decideLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| decNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| defaultAbortHandler | Lang.Crucible.Simulator.Operations, Lang.Crucible.Simulator |
| DefineAtom | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| defineBlock | Lang.Crucible.CFG.Generator |
| defineBlockLabel | Lang.Crucible.CFG.Generator |
| defineFunction | Lang.Crucible.CFG.Generator |
| defineFunctionOpt | Lang.Crucible.CFG.Generator |
| defineLambdaBlock | Lang.Crucible.CFG.Generator |
| dequeueWorkItem | Lang.Crucible.Simulator.PathSplitting |
| dfs | Lang.Crucible.Analysis.DFS |
| DFSEdgeFunc | Lang.Crucible.Analysis.DFS |
| DFSEdgeType | Lang.Crucible.Analysis.DFS |
| DFSNodeFunc | Lang.Crucible.Analysis.DFS |
| dfs_backedges | Lang.Crucible.Analysis.DFS |
| dfs_backedge_targets | Lang.Crucible.Analysis.DFS |
| dfs_list | Lang.Crucible.Analysis.DFS |
| dfs_postorder | Lang.Crucible.Analysis.DFS |
| dfs_preorder | Lang.Crucible.Analysis.DFS |
| difference | Lang.Crucible.Utils.BitSet |
| dispatchExecState | Lang.Crucible.Simulator.EvalStmt |
| Disproved | Lang.Crucible.Backend.Prove |
| divNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Domain | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| domBottom | Lang.Crucible.Analysis.Fixpoint |
| domEq | Lang.Crucible.Analysis.Fixpoint |
| domIter | Lang.Crucible.Analysis.Fixpoint |
| domJoin | Lang.Crucible.Analysis.Fixpoint |
| domTop | Lang.Crucible.Analysis.Fixpoint |
| DoubleDoubleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleDoubleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleFloat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| DoubleLit | Lang.Crucible.CFG.Expr |
| DropRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| dropRef | |
| 1 (Function) | Lang.Crucible.Simulator.GlobalState |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| DropRefCell | Lang.Crucible.CFG.Core |