Skip to main content

certify_external_spatial

logicaffeine_compile::spatial::certificate

Function certify_external_spatial 

Source 
pub fn certify_external_spatial(
    external: &SpatialProgram,
    source: &SpatialProgram,
) -> Option<ChoreographyCertificate>
Expand description

Import-and-certify at the spatial level: an EXTERNAL placement+schedule of the SAME computation as source earns a certificate iff it computes the same thing (structure and evaluation) and its choreography certifies. None is fail-closed.