AlphaGitHub
Source/Systems

Coppelius.Build.DeviceImages

systems/coppelius/src/Coppelius/Build/DeviceImages.alpha

726 lines107 declarations39.5 KiBSHA-256 aca105a01057
Download exact fileView at revisionf5034773ad4bb52133

def · lines 481–483

coppeliusStreamingImage

Full file
the heads' attention as streaming launches (Realization.Nvidia.SM86.StreamingAttentionSM86) at the model's sequence and heads, the forward and the backward's two, their stalls compacted (Realization.Nvidia.SM86.StallCompaction)
481def coppeliusStreamingImage =
482  (lambda unrestricted kernel : (pi unrestricted seq : Nat . (pi unrestricted heads : Nat . (family SM86Program))) .
483    (sm86CompactStalls (kernel (stdU32ToNatural modelCoppeliusBlock) (stdU32ToNatural modelCoppeliusHeads))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.