From 0566b93d9e42ab023eb95a4535af0c3a86b0421c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 10 Sep 2020 16:20:40 +0200 Subject: use with_destructor --- kvx/InstructionScheduler.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'kvx/InstructionScheduler.mli') 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. -- cgit