summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-12 13:02:32 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-12 13:02:32 -0700
commitfba33fbba407f96800863bde5a7061b09c2f9ff2 (patch)
tree28b8cf1f69d3e345c7953157c450efdd90531b7b /abclib.dsp
parent2ee26b00f9ac8dc93bd1335f89d4c3b165dbd7fd (diff)
downloadabc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.gz
abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.tar.bz2
abc-fba33fbba407f96800863bde5a7061b09c2f9ff2.zip
New technology mapper.
Diffstat (limited to 'abclib.dsp')
-rw-r--r--abclib.dsp60
1 files changed, 52 insertions, 8 deletions
diff --git a/abclib.dsp b/abclib.dsp
index aac22ee4..8f4424f1 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -2295,10 +2295,6 @@ SOURCE=.\src\map\if\ifDec16.c
# End Source File
# Begin Source File
-SOURCE=.\src\map\if\ifDsd.c
-# End Source File
-# Begin Source File
-
SOURCE=.\src\map\if\ifLibBox.c
# End Source File
# Begin Source File
@@ -2486,6 +2482,58 @@ SOURCE=.\src\map\scl\sclUpsize.c
SOURCE=.\src\map\scl\sclUtil.c
# End Source File
# End Group
+# Begin Group "mpm"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpm.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpm.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmAbc.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmInt.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmLib.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmMap.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmMig.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmMig.h
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmPre.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmTruth.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\map\mpm\mpmUtil.c
+# End Source File
+# End Group
# End Group
# Begin Group "misc"
@@ -3667,10 +3715,6 @@ 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\giaTim.c
# End Source File
# Begin Source File