diff --git a/.gitmodules b/.gitmodules index 8e882d0ad..281e28025 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,7 +3,7 @@ url = git@github.com:silimate/verific.git [submodule "abc"] path = abc - url = https://github.com/YosysHQ/abc + url = git@github.com:Silimate/abc.git # Don't use paths as names to avoid git archive problems [submodule "cxxopts"] path = libs/cxxopts diff --git a/abc b/abc index cac8f99ea..cd53fd793 160000 --- a/abc +++ b/abc @@ -1 +1 @@ -Subproject commit cac8f99eaa220a5e3db5caeb87cef0a975c953a2 +Subproject commit cd53fd7938451b4951f084192a6bf2228382c634