mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Update abc to our clone to fix Cov_ManFree segfault, might leak memory, but won't crash

Browse source
This commit is contained in:
Akash Levy 2025-02-26 21:56:46 -08:00
parent 9d3b7f7474
commit 022914d8be
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.gitmodules vendored
View file

@ -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

2
abc

@ -1 +1 @@
Subproject commit cac8f99eaa220a5e3db5caeb87cef0a975c953a2
Subproject commit cd53fd7938451b4951f084192a6bf2228382c634