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
2865def cgPrefixSubmissions : (family NvidiaSubmissionSchedule) =
2866 (cgSubmissionThen
2867 (cgSubmission 0 (cgRange 0 cgInitializationLaunches))
2868 (cgSubmissionThen
2869 (cgSubmissionFor
2870 cgLastChunk
2871 (lambda unrestricted chunk : Nat .
2872 (cgSubmissionThen
2873 (cgSubmission
2874 (naturalAdd 1 (naturalMultiply 2 chunk))
2875 (cgChunkRange cgDefaultSaveStart chunk))
2876 (cgSubmission (naturalAdd 2 (naturalMultiply 2 chunk)) (cgChunkRange cgLoadStart chunk)))))
2877 (cgSubmissionThen
2878 (cgSubmission
2879 (naturalAdd 1 (naturalMultiply 2 cgLastChunk))
2880 (cgChunkRange cgDefaultSaveStart cgLastChunk))
2881 (cgSubmissionThen
2882 (cgSubmission
2883 (naturalAdd 2 (naturalMultiply 2 cgLastChunk))
2884 (cgPush (cgChunkRange cgLoadStart cgLastChunk) cgRecastStart cgRecastLaunches))
2885 (cgSubmission
2886 (naturalAdd 3 (naturalMultiply 2 cgLastChunk))
2887 (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.