| unConcRV' | Lang.Crucible.Concretize |
| uncons | Lang.Crucible.Vector |
| unconsReg | Lang.Crucible.Simulator.RegMap |
| unconsSymSequence | Lang.Crucible.Simulator.SymSequence |
| unfoldr | Lang.Crucible.Vector |
| unfoldrM | Lang.Crucible.Vector |
| unfoldrWithIndex | Lang.Crucible.Vector |
| unfoldrWithIndexM | Lang.Crucible.Vector |
| Unicode | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| UnicodeRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| union | Lang.Crucible.Utils.BitSet |
| UnitRepr | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| UnitType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| Unknown | Lang.Crucible.Backend.Prove |
| unlessCond | Lang.Crucible.CFG.Generator |
| UnpackAny | Lang.Crucible.CFG.Expr |
| UnresolvableFunction | |
| 1 (Type/Class) | Lang.Crucible.Simulator.Operations |
| 2 (Data Constructor) | Lang.Crucible.Simulator.Operations |
| unroll | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnrollRecursive | Lang.Crucible.CFG.Expr |
| UnrollType | Lang.Crucible.Types, Lang.Crucible.CFG.Core, Lang.Crucible.CFG.Core |
| unrollType | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| unRV | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnsatFeatures | Lang.Crucible.Backend.Online |
| unsatFeaturesToProblemFeatures | Lang.Crucible.Backend.Online |
| UnsatisfiableContext | Lang.Crucible.Backend.Online, Lang.Crucible.Simulator.PathSatisfiability |
| unsignedClamp | Lang.Crucible.Types, Lang.Crucible.CFG.Core |
| unSim | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| unsnoc | Lang.Crucible.Vector |
| Unsupported | Lang.Crucible.Simulator.SimError, Lang.Crucible.Simulator |
| unVB | Lang.Crucible.Simulator.RegValue, Lang.Crucible.Simulator.RegMap, Lang.Crucible.Simulator |
| UnwindCallState | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| unwindContext | Lang.Crucible.Simulator.Operations |
| updateFrame | Lang.Crucible.Simulator.CallFrame |
| updateHandleMap | Lang.Crucible.FunctionHandle |
| updateRef | Lang.Crucible.Simulator.GlobalState |
| updateVectorWithSymNat | Lang.Crucible.Simulator.Evaluation |
| UseCFG | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |
| useIntrinsic | Lang.Crucible.Simulator.OverrideSim, Lang.Crucible.Simulator |
| UseOverride | Lang.Crucible.Simulator.ExecutionTree, Lang.Crucible.Simulator |