From ef7a8ea9dd16012d9d5c1b148625b6a0e99280d8 Mon Sep 17 00:00:00 2001 From: panhongyang Date: Thu, 16 Nov 2023 18:11:23 +0800 Subject: [PATCH] git --- .gitmodules | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index ed2e17e..4ce5f8d 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,9 @@ +[submodule "lib/alice"] + path = lib/alice + url = https://github.com/msoeken/alice.git [submodule "lib/mockturtle"] path = lib/mockturtle url = https://github.com/panhomyoung/mockturtle.git [submodule "lib/abc"] path = lib/abc - url = https://github.com/panhomyoung/abc.git + url = https://github.com/panhomyoung/abc.git \ No newline at end of file