diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 20:06:34 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-12-09 20:06:34 +0000 |
commit | b91f6db17ee30efd2068efbeecbf1d2b4c3850ea (patch) | |
tree | 01dbe430a4d46d31e38cd6cf0774822b1f3416c4 /src/hls/Schedule.ml | |
parent | a64ccb64e16175b520a0dc4badde44a1cc46f17d (diff) | |
download | vericert-b91f6db17ee30efd2068efbeecbf1d2b4c3850ea.tar.gz vericert-b91f6db17ee30efd2068efbeecbf1d2b4c3850ea.zip |
Add bourdoncle to build
Diffstat (limited to 'src/hls/Schedule.ml')
-rw-r--r-- | src/hls/Schedule.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index e557d4b..1969cad 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -637,7 +637,10 @@ let add_cycle_constr maxf n dfg constr = - (int_of_float (Float.ceil (Float.div (float_of_int w) (float_of_int maxf))) - 1), encode_var n (fst v') 0) ) constr (DFG.fold_vertex (fun v l -> - List.append l (longest_path v |> constrained_paths |> List.map (function (v', w) -> (v, v', - w))) + List.append l (longest_path v (*|> (function l -> List.iter (function (a, x) -> + printf "c: %d %d\n" (fst a) x) l; l)*) |> constrained_paths (* |> (function l -> List.iter (function (a, x) -> + printf "%d %d\n" (fst a) x) l; l)*) + |> List.map (function (v', w) -> (v, v', - w))) ) dfg []) type resource = |