better task ordering
authorChristian Grothoff <christian@grothoff.org>
Sat, 15 Feb 2020 11:25:06 +0000 (12:25 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sat, 15 Feb 2020 11:25:06 +0000 (12:25 +0100)
commite57177325f2b3f4d66598ff501760da0030e7dd6
tree3e14f459ca09f19890054a8d1deee03dfadd285c
parent82b881b953c48fa31c1fc83c9eeb2e4b376108eb
better task ordering
src/util/scheduler.c