Struct calyx_ir::BackendConf

pub struct BackendConf {
    pub synthesis_mode: bool,
    pub enable_verification: bool,
    pub initialize_inputs: bool,
    pub flat_assign: bool,
}

Configuration information for the backends.

Fields

synthesis_mode: bool

Enables synthesis mode.

enable_verification: bool

Enables verification checks.

initialize_inputs: bool

Generate initial assignments for input ports

flat_assign: bool

Use flat (ANF) assignments for guards instead of deep expression trees.

Trait Implementations

impl Default for BackendConf

fn default() -> BackendConf

Returns the “default value” for a type.