| IEEEFloatRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IEEEFloatType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ifte | |
| 1 (Function) | Lang.Crucible.Utils.RegRewrite |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| ifte' | Lang.Crucible.CFG.Generator |
| ifteM | Lang.Crucible.CFG.Generator |
| ifte_ | Lang.Crucible.CFG.Generator |
| Ignore | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| 3 (Type/Class) | Lang.Crucible.Analysis.ForwardDataflow |
| 4 (Data Constructor) | Lang.Crucible.Analysis.ForwardDataflow |
| ignoreOut | Lang.Crucible.Analysis.ForwardDataflow |
| imagLit | Lang.Crucible.Syntax |
| ImagPart | Lang.Crucible.CFG.Expr |
| imagPart | Lang.Crucible.Syntax |
| imagToCplx | Lang.Crucible.Syntax |
| impossibleAssumption | Lang.Crucible.Backend |
| incNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IndeterminateBranchResult | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| IndexF | Lang.Crucible.CFG.Core |
| indexSymbolic | Lang.Crucible.Simulator.Evaluation |
| indexVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| indicesOf | Lang.Crucible.Vector |
| indicesUpTo | Lang.Crucible.Vector |
| InfeasibleBranch | Lang.Crucible.Backend |
| inFreshFrame | Lang.Crucible.Backend.AssumptionStack |
| initAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| InitialState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| initSimContext | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| initSimState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| InjectVariant | Lang.Crucible.CFG.Expr |
| injectVariant | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| inProfilingFrame | Lang.Crucible.Simulator.Profiling |
| insert | Lang.Crucible.Utils.BitSet |
| insertAt | Lang.Crucible.Vector |
| insertAtMaybe | Lang.Crucible.Vector |
| insertGlobal | Lang.Crucible.Simulator.GlobalState |
| insertHandleMap | Lang.Crucible.FunctionHandle |
| insertRef | Lang.Crucible.Simulator.GlobalState |
| InsertStringMapEntry | Lang.Crucible.CFG.Expr |
| InsertWordMap | Lang.Crucible.CFG.Expr |
| IntAbs | Lang.Crucible.CFG.Expr |
| IntAdd | Lang.Crucible.CFG.Expr |
| IntDiv | Lang.Crucible.CFG.Expr |
| integerAsChar | Lang.Crucible.Simulator.Evaluation |
| IntegerRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntegerToBV | Lang.Crucible.CFG.Expr |
| IntegerToReal | Lang.Crucible.CFG.Expr |
| integerToReal | Lang.Crucible.Syntax |
| IntegerType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntEq | Lang.Crucible.CFG.Expr |
| interleave | Lang.Crucible.Vector |
| interpBr | Lang.Crucible.Analysis.Fixpoint |
| interpCall | Lang.Crucible.Analysis.Fixpoint |
| interpExpr | Lang.Crucible.Analysis.Fixpoint |
| interpExt | Lang.Crucible.Analysis.Fixpoint |
| interpMaybe | Lang.Crucible.Analysis.Fixpoint |
| interpReadGlobal | Lang.Crucible.Analysis.Fixpoint |
| Interpretation | |
| 1 (Type/Class) | Lang.Crucible.Analysis.Fixpoint |
| 2 (Data Constructor) | Lang.Crucible.Analysis.Fixpoint |
| interpWriteGlobal | Lang.Crucible.Analysis.Fixpoint |
| intersection | Lang.Crucible.Utils.BitSet |
| IntIte | Lang.Crucible.CFG.Expr |
| IntLe | Lang.Crucible.CFG.Expr |
| IntLit | Lang.Crucible.CFG.Expr |
| IntLt | Lang.Crucible.CFG.Expr |
| IntMod | Lang.Crucible.CFG.Expr |
| IntMul | Lang.Crucible.CFG.Expr |
| IntNeg | Lang.Crucible.CFG.Expr |
| Intrinsic | Lang.Crucible.Simulator.Intrinsics |
| IntrinsicClass | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntrinsicImpl | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| IntrinsicMuxFn | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntrinsicRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntrinsicType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IntrinsicTypes | Lang.Crucible.Simulator.Intrinsics, Lang.Crucible.Simulator |
| IntSub | Lang.Crucible.CFG.Expr |
| intValue | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IsConcrete | Lang.Crucible.CFG.Expr |
| IsExpr | Lang.Crucible.Syntax |
| isJust | Lang.Crucible.CFG.Core |
| isNilSymSequence | Lang.Crucible.Simulator.SymSequence |
| isPosNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| IsRecursiveType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isSingleCont | Lang.Crucible.Simulator.Operations |
| isSubsetOf | Lang.Crucible.Utils.BitSet |
| IsSymBackend | Lang.Crucible.Backend |
| IsSymInterface | Lang.Crucible.Backend |
| IsSymInterfaceProof | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| IsSyntaxExtension | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| IsZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isZeroNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| isZeroOrGT1 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| iterateN | Lang.Crucible.Vector |
| iterateNM | Lang.Crucible.Vector |
| IterationStrategy | Lang.Crucible.Analysis.Fixpoint |
| IxedF | Lang.Crucible.CFG.Core |
| IxedF' | Lang.Crucible.CFG.Core |
| ixF | Lang.Crucible.CFG.Core |
| ixF' | Lang.Crucible.CFG.Core |
| IxValueF | Lang.Crucible.CFG.Core |