WIP

YosysHQ · Apr 11, 2024 · 4920c5c · 4920c5c
1 parent d48b50e
commit 4920c5c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "abc"]
 	path = abc
-	url = https://github.com/YosysHQ/abc
+	url = https://github.com/RCoeurjoly/abc
diff --git a/abc b/abc
+11 −4		Makefile
+36 −15		src/aig/gia/giaMfs.c
+5 −1		src/base/abci/abc.c
+2 −2		src/base/abci/abcMfs.c
+2 −2		src/map/if/ifMap.c
+2 −1		src/opt/sfm/sfm.h
+7 −6		src/opt/sfm/sfmCore.c
+2 −0		src/opt/sfm/sfmInt.h
+4 −2		src/opt/sfm/sfmNtk.c
+38 −18		src/opt/sfm/sfmWin.c