From 022914d8bef60a4f3a65f9bb24b7db1323233c67 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 26 Feb 2025 21:56:46 -0800 Subject: [PATCH] Update abc to our clone to fix Cov_ManFree segfault, might leak memory, but won't crash --- .gitmodules | 2 +- abc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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