List of all items

Structs

• AllocExtra
• BorTag
• CatchUnwindData
• Clock
• CondvarId
• DynSym
• FrameExtra
• InitOnceId
• Instant
• Item
• LiveAllocs
• MiriAllocBytes
• MiriConfig
• MiriMachine
• MonoHashMap
• MutexId
• PrimitiveLayouts
• RangeMap
• RwLockId
• Stack
• Stacks
• ThreadId
• ThreadManager
• TlsData
• Tree

Enums

• AccessKind
• AlignmentCheck
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• BlockReason
• BorrowTrackerMethod
• CallbackTime
• EmulateItemResult
• EnvVars
• IsolatedOp
• MiriMemoryKind
• NonHaltingDiagnostic
• Permission
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• RetagFields
• TerminationInfo

Traits

• MiriInterpCxExt
• SyncId
• VisitProvenance

Functions

• create_ecx
• eval_entry
• report_error

Type Aliases

• CallId
• MemoryKind
• MiriInterpCx
• StackEmptyCallback
• VisitWith

Constants

• MIRI_DEFAULT_ARGS