summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-07 16:41:35 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-07 16:41:35 -0700
commit137a766207e27d397a8127b7e5c93c193fa108e1 (patch)
treeb9d41fdfc09d09088ac5170d99bc8dd72d72df51 /abclib.dsp
parent23879f92000601db485d2ea226711df88c6266b9 (diff)
downloadabc-137a766207e27d397a8127b7e5c93c193fa108e1.tar.gz
abc-137a766207e27d397a8127b7e5c93c193fa108e1.tar.bz2
abc-137a766207e27d397a8127b7e5c93c193fa108e1.zip
Improvements to the new technology mapper.
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 35429ccd..ee48c2bf 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -3679,6 +3679,10 @@ SOURCE=.\src\aig\gia\giaIso2.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaJf.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaMan.c
# End Source File
# Begin Source File