Expand description
Global machine state as well as implementation of the interpreter engine
Machine
trait.
Structs
Extra per-allocation data
Extra data stored with each stack frame
The machine itself.
Precomputed layouts of primitive types
Enums
Extra memory kinds
Pointer provenance.
The “extra” information a pointer has over a regular AllocId.
Constants
The number of the available real-time signal with the lowest priority.
Dummy constant related to epoll, must be between 32 and 64.
Traits
A little trait that’s useful to be inherited by extension traits.
Type Definitions
A rustc InterpCx for Miri.