diff options
Diffstat (limited to 'kvx/InstructionScheduler.mli')
| -rw-r--r-- | kvx/InstructionScheduler.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kvx/InstructionScheduler.mli b/kvx/InstructionScheduler.mli index 6d27b30c..85e2a5c6 100644 --- a/kvx/InstructionScheduler.mli +++ b/kvx/InstructionScheduler.mli @@ -65,10 +65,10 @@ val list_scheduler : problem -> solution option (** Schedule the problem using the order of instructions without any reordering *) val greedy_scheduler : problem -> solution option -(** Schedule a problem using a scheduler applied in the opposite direction, e.g. for list scheduling from the end instead of the start. *) +(** Schedule a problem using a scheduler applied in the opposite direction, e.g. for list scheduling from the end instead of the start. BUGGY *) val schedule_reversed : scheduler -> problem -> int array option -(** Schedule a problem from the end using a list scheduler. *) +(** Schedule a problem from the end using a list scheduler. BUGGY *) val reverse_list_scheduler : problem -> int array option (** Check that a problem is well-formed. |