diff --git a/lib/abc b/lib/abc index 9434b74..39ac544 160000 --- a/lib/abc +++ b/lib/abc @@ -1 +1 @@ -Subproject commit 9434b7438599b2fe94ec518946d0e1b6b2de3172 +Subproject commit 39ac544f6c3272046a026fc976976b1481f9c9ad diff --git a/lib/mockturtle b/lib/mockturtle index 8a9409e..995ee74 160000 --- a/lib/mockturtle +++ b/lib/mockturtle @@ -1 +1 @@ -Subproject commit 8a9409e27c17d32517e3c4e4a612d3c6d465aa1f +Subproject commit 995ee748dd74d088bcd27a9eef5af89b55ac90b5 diff --git a/src/commands/window_rewriting.hpp b/src/commands/window_rewriting.hpp index c35a522..5ab768d 100644 --- a/src/commands/window_rewriting.hpp +++ b/src/commands/window_rewriting.hpp @@ -41,7 +41,6 @@ class wr_command : public command { "set the window level, default = 5"); add_flag("--gain, -g", "optimize until there is no gain"); add_flag("--resub, -r", "window resub"); - add_flag("--mffw, -w", "MFFW rewriting"); add_flag("--verbose, -v", "print the information"); } @@ -76,10 +75,6 @@ class wr_command : public command { if (is_set("verbose")) win_st.report(); aig = cleanup_dangling(aig); } while (aig.num_gates() < size_current); - } else if (is_set("mffw")) { - window_rewriting_stats win_st; - mffw_rewriting(aig, ps, &win_st); - aig = cleanup_dangling(aig); } else { window_rewriting_stats win_st; window_rewriting(aig, ps, &win_st); diff --git a/src/phyLS.cpp b/src/phyLS.cpp index cbf0706..68504ad 100644 --- a/src/phyLS.cpp +++ b/src/phyLS.cpp @@ -79,6 +79,5 @@ #include "commands/exact/exact_multi.hpp" // #include "commands/exact/exact_klut.hpp" // #include "commands/exact/exactlut.hpp" -#include "commands/to_npz.hpp" - +// #include "commands/to_npz.hpp" ALICE_MAIN(phyLS) \ No newline at end of file