69def bobRTX3090BuildRequest : (family SystemTargetBuildRequest) =
70 (record
71 SystemTargetBuildRequest
72 (buildRequestSystemIdentity = b"bob")
73 (buildRequestLearnerIdentity = b"adamw")
74 (buildRequestTargetIdentity = bobRTX3090TargetIdentity)
75 (buildRequestAdmissionAccepted = bobRTX3090ExactTargetAccepted)
76 (buildRequestScheduleIdentity = b"row-gather-ece256-adamw-greedy")
77 (buildRequestMemoryIdentity = b"bob-sm86-static-arena-16-mib")
78 (buildRequestProtocolIdentity = b"alpha-text-artifact-request-v1")
79 (buildRequestCheckpointIdentity = b"bob-raw-pmv-f32-v1")
80 (buildRequestOutputFilename = b"bob-rtx3090-sm86.elf")
81 (buildRequestArtifactRoot = b"systems/bob/src/Bob/Build/RTX3090Artifact.alpha")
82 (buildRequestArtifactExpression = b"artifact"))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.