From 7d336f3a8a4fccc377df5cc25cb1f95a685abf7e Mon Sep 17 00:00:00 2001 From: panhongyang Date: Thu, 16 Nov 2023 18:33:24 +0800 Subject: [PATCH] update for abc --- .gitmodules | 2 +- lib/abc | 2 +- src/commands/abc/compress2rs.hpp | 2 +- src/commands/abc/resyn2rs.hpp | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitmodules b/.gitmodules index 4ce5f8d..200ec4b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -6,4 +6,4 @@ url = https://github.com/panhomyoung/mockturtle.git [submodule "lib/abc"] path = lib/abc - url = https://github.com/panhomyoung/abc.git \ No newline at end of file + url = https://github.com/panhomyoung/abc.git diff --git a/lib/abc b/lib/abc index 6609872..9434b74 160000 --- a/lib/abc +++ b/lib/abc @@ -1 +1 @@ -Subproject commit 66098723ebb9bede7a84ebb1d85b2d72c874bac5 +Subproject commit 9434b7438599b2fe94ec518946d0e1b6b2de3172 diff --git a/src/commands/abc/compress2rs.hpp b/src/commands/abc/compress2rs.hpp index 17ec299..04fbdaa 100644 --- a/src/commands/abc/compress2rs.hpp +++ b/src/commands/abc/compress2rs.hpp @@ -26,7 +26,7 @@ namespace alice { class compress2rs_command : public command { public: explicit compress2rs_command(const environment::ptr &env) - : command(env, "usage: synthesis scripts.") { + : command(env, "combination optimization script") { add_flag("--verbose, -v", "print the information"); } diff --git a/src/commands/abc/resyn2rs.hpp b/src/commands/abc/resyn2rs.hpp index f91d227..4991219 100644 --- a/src/commands/abc/resyn2rs.hpp +++ b/src/commands/abc/resyn2rs.hpp @@ -26,7 +26,7 @@ namespace alice { class resyn2rs_command : public command { public: explicit resyn2rs_command(const environment::ptr &env) - : command(env, "usage: synthesis scripts.") { + : command(env, "combination optimization script") { add_flag("--verbose, -v", "print the information"); }