the submissions up to the prediction: initialize; for every checkpoint
chunk but the last, its default save then its load; the last save; the
last load with the half copies; the rotary tables and the prediction
2864def cgPrefixSubmissions : (family NvidiaSubmissionSchedule) =
2865 (cgSubmissionThen
2866 (cgSubmission 0 (cgRange 0 cgInitializationLaunches))
2867 (cgSubmissionThen
2868 (cgSubmissionFor
2869 cgLastChunk
2870 (lambda unrestricted chunk : Nat .
2871 (cgSubmissionThen
2872 (cgSubmission
2873 (naturalAdd 1 (naturalMultiply 2 chunk))
2874 (cgChunkRange cgDefaultSaveStart chunk))
2875 (cgSubmission (naturalAdd 2 (naturalMultiply 2 chunk)) (cgChunkRange cgLoadStart chunk)))))
2876 (cgSubmissionThen
2877 (cgSubmission
2878 (naturalAdd 1 (naturalMultiply 2 cgLastChunk))
2879 (cgChunkRange cgDefaultSaveStart cgLastChunk))
2880 (cgSubmissionThen
2881 (cgSubmission
2882 (naturalAdd 2 (naturalMultiply 2 cgLastChunk))
2883 (cgPush (cgChunkRange cgLoadStart cgLastChunk) cgRecastStart cgRecastLaunches))
2884 (cgSubmission
2885 (naturalAdd 3 (naturalMultiply 2 cgLastChunk))
2886 (cgRange cgRotaryTablesStart (naturalAdd (nvidiaLaunchScheduleCount cgRotaryTables) (nvidiaLaunchScheduleCount cgPrediction))))))))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.