diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 14:59:10 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-01 14:59:17 +0100 |
commit | 0ad95850cf12bfecbb25af9721f0626d4f75c687 (patch) | |
tree | 3d098cfe5d95a2c60a1b1f7cb7e43fd198fb5e76 /src/hls/Schedule.ml | |
parent | c689bcc4eaaaf052ecb35539dff653185192b5e9 (diff) | |
download | vericert-kvx-0ad95850cf12bfecbb25af9721f0626d4f75c687.tar.gz vericert-kvx-0ad95850cf12bfecbb25af9721f0626d4f75c687.zip |
Fix equivalence checking
Do not compare memories in standard operations
Diffstat (limited to 'src/hls/Schedule.ml')
-rw-r--r-- | src/hls/Schedule.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml index 26cd382..1052cb3 100644 --- a/src/hls/Schedule.ml +++ b/src/hls/Schedule.ml @@ -759,7 +759,6 @@ let transf_rtlpar c c' (schedule : (int * int) list IMap.t) = |> List.map (List.map (fun x -> (x, List.nth bb_body' x))) in (*let final_body = List.map (fun x -> subgraph dfg x |> order_instr) body in*) - Printf.printf "%a\n" print_dfg (subgraph dfg (List.hd body)); let final_body2 = List.map (fun x -> subgraph dfg x |> (fun x -> all_dfs x |