Enum MachineProfile 

#[non_exhaustive]
pub enum MachineProfile {
    FullUnsigned,
    Reduced,
}

Airbender Platform machine profiles with stable host-side semantics.

The upstream Airbender crates model machines as Rust types, which is useful internally but brittle as a public platform API. This enum is the small set of machine configurations that airbender-host is willing to name and keep stable for normal users.

Full-signed decoding is intentionally omitted from the stable profile set for now: upstream decoding can name signed multiplication/division instructions, but the host runner does not execute those instruction variants.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

FullUnsigned

Full machine without signed multiplication/division support.

Reduced

Reduced machine used by recursive verifier workloads.

Trait Implementations

impl Clone for MachineProfile

fn clone(&self) -> MachineProfile

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MachineProfile

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MachineProfile

fn default() -> MachineProfile

Returns the “default value” for a type.

impl PartialEq for MachineProfile

fn eq(&self, other: &MachineProfile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for MachineProfile

impl Eq for MachineProfile

impl StructuralPartialEq for MachineProfile