The report Scheduling for PPCG, describing the isl scheduler as used by PPCG, has been made available.