1 # Check use of options specific to isolated part 2 domain: "{ A[i] : 0 <= i < 100 }" 3 child: 4 schedule: "[{ A[i] -> [i] }]" 5 options: "{ isolate[[] -> [x]] : 10 <= x <= 20; [isolate[] -> unroll[x]] }" 6
Indexes created Sun Sep 20 00:26:38 UTC 2026