def rounds
import stelliferous@0.0.2.0/traversal_lanes.bend as TraversalLanesimport Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/traversal_cells.bend as Cells
83def rounds(~Context: Data,~map: Context -> F32 -> F32,count: Nat,state: Cells.State<Array<F32>,Tile.Tile8,Context>) -> Array<F32>:
84 rounds_with(~Array<F32>,~Context,~gather(~Context,~map),~scatter,~finish(~Context,~map),count,state)
Uses (9)
Used by (7)
- stelliferous@0.0.2.0/traversal_lanes:map
- stelliferous@0.0.2.0/proofs/traversal_lanes_refinement:rounds_property
- stelliferous@0.0.2.0/proofs/traversal_lanes_refinement:few_rounds
- stelliferous@0.0.2.0/proofs/traversal_lanes_refinement:map
- stelliferous@0.0.2.0/proofs/traversal_lanes_refinement:more_rounds
- …