summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-11-09 08:42:08 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2022-11-09 08:42:08 +0100
commitbe9a35c0363174a7cef21d55ed80d92a9ef95ab1 (patch)
tree3bf5d3eee39f46d72d3196386eadd8788f742e4b /abclib.dsp
parentab5b16ede2ff3a4ab5209df24db2c76700899684 (diff)
parent70cb339f869e485802159d7f2b886130793556c4 (diff)
downloadabc-be9a35c0363174a7cef21d55ed80d92a9ef95ab1.tar.gz
abc-be9a35c0363174a7cef21d55ed80d92a9ef95ab1.tar.bz2
abc-be9a35c0363174a7cef21d55ed80d92a9ef95ab1.zip
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp8
1 files changed, 8 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index d536e0e7..d460427c 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5191,6 +5191,10 @@ SOURCE=.\src\aig\gia\giaSatoko.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaSatSyn.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaScl.c
# End Source File
# Begin Source File
@@ -5295,6 +5299,10 @@ SOURCE=.\src\aig\gia\giaTsim.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaTtopt.cpp
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaUnate.c
# End Source File
# Begin Source File