summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-06-25 19:44:30 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-06-25 19:44:30 -0700
commit8cf3f54208b5cdda6a164db4a747a2e4bffcd93b (patch)
tree9137bbe8b996c76e9fcb5cb949da357b5ddcf357 /abclib.dsp
parent25455d358febbb26040916f9f90b5e2af87e1dc0 (diff)
downloadabc-8cf3f54208b5cdda6a164db4a747a2e4bffcd93b.tar.gz
abc-8cf3f54208b5cdda6a164db4a747a2e4bffcd93b.tar.bz2
abc-8cf3f54208b5cdda6a164db4a747a2e4bffcd93b.zip
Experiments with technology mapping.
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp4
1 files changed, 4 insertions, 0 deletions
diff --git a/abclib.dsp b/abclib.dsp
index 33a2df6f..d536e0e7 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5215,6 +5215,10 @@ SOURCE=.\src\aig\gia\giaShrink7.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaSif.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaSim.c
# End Source File
# Begin Source File