Skip to main content

emit_spatial_program_checked

logicaffeine_compile::spatial::lower::spatial_lang

Function emit_spatial_program_checked 

Source 
pub fn emit_spatial_program_checked(
    p: &SpatialProgram,
    target: &SpatialTarget,
    checks: &[SpatialCheck],
    flavor: SpatialFlavor,
) -> Result<String, SpatialLowerError>
Expand description

emit_spatial_program with the host checking every slice of checks — the output, and any activation or carried state the caller holds a gold for — rather than one checksum of the output.