Skip to content

Change of terminology within the graph-based scheduler

This is a minor MR that introduces more accurate terminology within the graph-based scheduler. In particular, the ExecutionFlowGraph is renamed to PrecedenceRulesGraph.

Merge request reports

Loading