summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-01-08 05:50:37 +0800
committerAlan Mishchenko <alanmi@berkeley.edu>2013-01-08 05:50:37 +0800
commit79f3ecb15f6a643496b0eacb80b42d4fd1ea3c77 (patch)
treeed99971db1b0f6cda08421fc61c672c4b07be377 /abclib.dsp
parente1a5556e8c331be2dae6ca63a4528ad8e1f56025 (diff)
downloadabc-79f3ecb15f6a643496b0eacb80b42d4fd1ea3c77.tar.gz
abc-79f3ecb15f6a643496b0eacb80b42d4fd1ea3c77.tar.bz2
abc-79f3ecb15f6a643496b0eacb80b42d4fd1ea3c77.zip
Technology mapper.
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 59d1424d..11290b7d 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -2933,6 +2933,10 @@ SOURCE=.\src\misc\mem\mem.c
SOURCE=.\src\misc\mem\mem.h
# End Source File
+# Begin Source File
+
+SOURCE=.\src\misc\mem\mem2.h
+# End Source File
# End Group
# Begin Group "tim"
@@ -3559,6 +3563,10 @@ SOURCE=.\src\aig\gia\giaSwitch.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaTest.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaTruth.c
# End Source File
# Begin Source File