| RationalLit | Lang.Crucible.CFG.Expr |
| rationalLit | Lang.Crucible.Syntax |
| reachableCFG | Lang.Crucible.Analysis.Reachable |
| ReadBeforeWriteSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| ReadGlobal | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| readGlobal | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readGlobals | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readMetrics | Lang.Crucible.Simulator.Profiling |
| readMuxTreeRef | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| readPartExpr | Lang.Crucible.Backend |
| readProfilingState | Lang.Crucible.Simulator.Profiling |
| ReadRef | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| readRef | |
| 1 (Function) | Lang.Crucible.CFG.Generator |
| 2 (Function) | Lang.Crucible.Simulator.EvalStmt |
| 3 (Function) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| ReadRefCell | Lang.Crucible.CFG.Core |
| ReadReg | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| readReg | Lang.Crucible.CFG.Generator |
| RealAdd | Lang.Crucible.CFG.Expr |
| RealCeil | Lang.Crucible.CFG.Expr |
| RealDiv | Lang.Crucible.CFG.Expr |
| RealEq | Lang.Crucible.CFG.Expr |
| RealFloor | Lang.Crucible.CFG.Expr |
| RealIsInteger | Lang.Crucible.CFG.Expr |
| RealIte | Lang.Crucible.CFG.Expr |
| RealLe | Lang.Crucible.CFG.Expr |
| realLit | Lang.Crucible.Syntax |
| RealLt | Lang.Crucible.CFG.Expr |
| RealMod | Lang.Crucible.CFG.Expr |
| RealMul | Lang.Crucible.CFG.Expr |
| RealNeg | Lang.Crucible.CFG.Expr |
| RealPart | Lang.Crucible.CFG.Expr |
| realPart | Lang.Crucible.Syntax |
| RealRound | Lang.Crucible.CFG.Expr |
| RealSub | Lang.Crucible.CFG.Expr |
| realToCplx | Lang.Crucible.Syntax |
| RealToNat | Lang.Crucible.CFG.Expr |
| RealValRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RealValType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| recordCFG | Lang.Crucible.CFG.Generator |
| recordCoverage | Lang.Crucible.Simulator.Profiling |
| recordProfiling | Lang.Crucible.Simulator.Profiling |
| recordSolverEvent | Lang.Crucible.Simulator.Profiling |
| RecursiveRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RecursiveType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RefCell | Lang.Crucible.FunctionHandle |
| ReferenceEq | Lang.Crucible.CFG.Expr |
| ReferenceRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| ReferenceType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Refl | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| RefSet | Lang.Crucible.Analysis.Fixpoint |
| refType | Lang.Crucible.FunctionHandle |
| Reg | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| reg | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RegEntry | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regIndex | Lang.Crucible.CFG.Core |
| registerFnBinding | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| RegMap | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regMap | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regMapSize | Lang.Crucible.Simulator.RegMap |
| regPosition | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regType | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regVal | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| regVal' | Lang.Crucible.Simulator.RegMap |
| RegValue | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| regValue | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RegValue' | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| remove | Lang.Crucible.Utils.BitSet |
| replace | Lang.Crucible.Vector |
| replaceTailFrame | Lang.Crucible.Simulator.Operations |
| reportError | Lang.Crucible.CFG.Generator |
| resetAssumptionState | Lang.Crucible.Backend |
| resetSolverProcess | Lang.Crucible.Backend.Online |
| resetStack | Lang.Crucible.Backend.AssumptionStack |
| resolveCall | Lang.Crucible.Simulator.Operations |
| ResolvedCall | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Operations |
| resolvedCallHandle | Lang.Crucible.Simulator.ExecutionTree |
| resolvedCallName | Lang.Crucible.Simulator.Operations |
| ResolvedJump | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| ResourceExhausted | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| restoreAssumptionStack | Lang.Crucible.Backend.AssumptionStack |
| restoreAssumptionState | Lang.Crucible.Backend |
| restoreSolverState | Lang.Crucible.Backend.Online |
| restoreWorkItem | Lang.Crucible.Simulator.PathSplitting |
| ResultState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| resume | Lang.Crucible.Simulator.ExecutionTree |
| resumeFrame | Lang.Crucible.Simulator.Operations |
| resumeValueFromValueAbort | Lang.Crucible.Simulator.Operations |
| Return | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| returnFromFunction | Lang.Crucible.CFG.Generator |
| ReturnHandler | Lang.Crucible.Simulator.ExecutionTree |
| ReturnState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| ReturnTarget | Lang.Crucible.Simulator.CallFrame, Lang.Crucible.Simulator.ExecutionTree |
| ReturnToCrucible | Lang.Crucible.Simulator.ExecutionTree |
| ReturnToOverride | Lang.Crucible.Simulator.ExecutionTree |
| returnValue | Lang.Crucible.Simulator.Operations |
| reverse | Lang.Crucible.Vector |
| Rewriter | Lang.Crucible.Utils.RegRewrite |
| RF | Lang.Crucible.Simulator.CallFrame |
| RNA | Lang.Crucible.CFG.Expr |
| RNE | Lang.Crucible.CFG.Expr |
| RolledType | |
| 1 (Type/Class) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| RollRecursive | Lang.Crucible.CFG.Expr |
| rotateL | Lang.Crucible.Vector |
| rotateR | Lang.Crucible.Vector |
| RoundingMode | Lang.Crucible.CFG.Expr |
| RTN | Lang.Crucible.CFG.Expr |
| RTP | Lang.Crucible.CFG.Expr |
| RTZ | Lang.Crucible.CFG.Expr |
| runAbortHandler | Lang.Crucible.Simulator.Operations |
| runAH | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| RunBlockEnd | Lang.Crucible.Simulator.ExecutionTree |
| RunBlockStart | Lang.Crucible.Simulator.ExecutionTree |
| runCHC | Lang.Crucible.Backend |
| runErrorHandler | Lang.Crucible.Simulator.Operations |
| runExecutionFeature | Lang.Crucible.Simulator.EvalStmt |
| runGenericErrorHandler | Lang.Crucible.Simulator.Operations |
| runGenericExecutionFeature | Lang.Crucible.Simulator.EvalStmt |
| runMetric | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator.Profiling |
| RunningState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| RunningStateInfo | Lang.Crucible.Simulator.ExecutionTree |
| runOverride | Lang.Crucible.Simulator.Operations |
| runOverrideSim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| RunPostBranchMerge | Lang.Crucible.Simulator.ExecutionTree |
| RunReturnFrom | Lang.Crucible.Simulator.ExecutionTree |
| runStateContT | Lang.Crucible.Utils.StateContT |
| runTypedOverride | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| run_dfs | Lang.Crucible.Analysis.DFS |
| RV | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |