| abortBranchForType | Lang.Crucible.Simulator.RegMap |
| abortBranchIntrinsic | Lang.Crucible.Simulator.Intrinsics |
| abortBranchRegEntry | Lang.Crucible.Simulator.RegMap |
| abortBranchRegs | Lang.Crucible.Simulator.RegMap |
| AbortedBranch | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedExec | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedExit | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| AbortedResult | |
| 1 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| 2 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| abortExec | Lang.Crucible.Simulator.Operations |
| abortExecAndLog | Lang.Crucible.Simulator.Operations |
| abortExecBecause | Lang.Crucible.Backend |
| AbortExecReason | Lang.Crucible.Backend |
| AbortHandler | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| abortHandler | Lang.Crucible.Simulator.ExecutionTree |
| AbortState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| actContext | Lang.Crucible.Simulator.ExecutionTree |
| actFrame | Lang.Crucible.Simulator.ExecutionTree |
| activeFrames | Lang.Crucible.Simulator.ExecutionTree |
| ActiveTree | |
| 1 (Type/Class) | Lang.Crucible.Simulator.ExecutionTree |
| 2 (Data Constructor) | Lang.Crucible.Simulator.ExecutionTree |
| addAssertion | Lang.Crucible.Backend |
| addAssertionM | Lang.Crucible.Backend |
| addAssumption | Lang.Crucible.Backend |
| addAssumptions | Lang.Crucible.Backend |
| addBreakpointStmt | Lang.Crucible.CFG.Generator |
| addDurableAssertion | Lang.Crucible.Backend |
| addDurableProofObligation | Lang.Crucible.Backend |
| addFailedAssertion | Lang.Crucible.Backend |
| addInternalStmt | Lang.Crucible.Utils.RegRewrite |
| addIsLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addIsLeqLeft1 | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addMulDistribRight | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addNat | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addPrefixIsLeq | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| addPrintStmt | Lang.Crucible.CFG.Generator |
| addProofObligation | |
| 1 (Function) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Function) | Lang.Crucible.Backend |
| addStmt | Lang.Crucible.Utils.RegRewrite |
| adjustVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| advanceCrucibleState | Lang.Crucible.Simulator.EvalStmt |
| AH | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| allAssumptionFrames | Lang.Crucible.Backend.AssumptionStack |
| alterRef | Lang.Crucible.Simulator.EvalStmt |
| And | Lang.Crucible.CFG.Expr |
| annotateCFGStmts | |
| 1 (Function) | Lang.Crucible.Utils.RegRewrite |
| 2 (Function) | Lang.Crucible.Utils.CoreRewrite |
| AnyCFG | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg |
| 3 (Type/Class) | Lang.Crucible.CFG.Core |
| 4 (Data Constructor) | Lang.Crucible.CFG.Core |
| AnyFnBindings | |
| 1 (Type/Class) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| 2 (Data Constructor) | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| AnyRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| AnyType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| AnyValue | |
| 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 |
| App | |
| 1 (Type/Class) | Lang.Crucible.CFG.Expr |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 3 (Data Constructor) | Lang.Crucible.CFG.Core |
| app | Lang.Crucible.Syntax |
| append | Lang.Crucible.Vector |
| appendAssumptions | Lang.Crucible.Backend.AssumptionStack |
| appendRegs | Lang.Crucible.Simulator.RegMap |
| appendSymSequence | Lang.Crucible.Simulator.SymSequence |
| applyEmbeddingStmt | Lang.Crucible.CFG.Core |
| appType | Lang.Crucible.CFG.Extension, Lang.Crucible.CFG.Expr |
| arFrames | Lang.Crucible.Simulator.ExecutionTree |
| arrayTypeIndices | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| arrayTypeResult | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asApp | Lang.Crucible.Syntax |
| AsBaseType | |
| 1 (Type/Class) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| 2 (Data Constructor) | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asBaseType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| asContFrame | Lang.Crucible.Simulator.Operations |
| asEapp | Lang.Crucible.Syntax |
| Assert | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| assert | Lang.Crucible.Backend |
| assertedJustExpr | Lang.Crucible.CFG.Generator |
| assertExpr | Lang.Crucible.CFG.Generator |
| AssertFailureSimError | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| Assertion | Lang.Crucible.Backend |
| AssertionFailure | Lang.Crucible.Backend |
| assertIsInteger | Lang.Crucible.Backend |
| assertThenAssumeConfigOption | Lang.Crucible.Backend |
| Assigned | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| assignReg | |
| 1 (Function) | Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| 2 (Function) | Lang.Crucible.CFG.Generator |
| assignReg' | Lang.Crucible.Simulator.RegMap |
| Assume | |
| 1 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Core |
| assumeExpr | Lang.Crucible.CFG.Generator |
| assumeFrameCond | Lang.Crucible.Backend.AssumptionStack |
| assumeFrameIdent | Lang.Crucible.Backend.AssumptionStack |
| assumeStackGen | Lang.Crucible.Backend.AssumptionStack |
| Assuming | Lang.Crucible.Backend.Goals, Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| assuming | Lang.Crucible.Backend.Goals |
| AssumingNoError | Lang.Crucible.Backend |
| Assumption | Lang.Crucible.Backend |
| AssumptionFrame | |
| 1 (Type/Class) | Lang.Crucible.Backend.AssumptionStack |
| 2 (Data Constructor) | Lang.Crucible.Backend.AssumptionStack |
| AssumptionFrames | |
| 1 (Type/Class) | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| 2 (Data Constructor) | Lang.Crucible.Backend.ProofGoals, Lang.Crucible.Backend.AssumptionStack |
| assumptionLoc | Lang.Crucible.Backend |
| assumptionPred | Lang.Crucible.Backend |
| Assumptions | Lang.Crucible.Backend |
| assumptionsPred | Lang.Crucible.Backend |
| AssumptionStack | |
| 1 (Type/Class) | Lang.Crucible.Backend.AssumptionStack, Lang.Crucible.Backend |
| 2 (Data Constructor) | Lang.Crucible.Backend.AssumptionStack |
| AssumptionState | Lang.Crucible.Backend |
| assumptionsTopLevelLocs | Lang.Crucible.Backend |
| asSymExpr | Lang.Crucible.Simulator.RegMap |
| AtF | Lang.Crucible.CFG.Core |
| atF | Lang.Crucible.CFG.Core |
| Atom | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomExpr | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomId | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomPosition | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| atomSource | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| AtomValue | |
| 1 (Type/Class) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |
| 2 (Data Constructor) | Lang.Crucible.CFG.Reg, Lang.Crucible.CFG.Generator |