summaryrefslogtreecommitdiffstats
path: root/abc.dsp
diff options
context:
space:
mode:
Diffstat (limited to 'abc.dsp')
-rw-r--r--abc.dsp20
1 files changed, 20 insertions, 0 deletions
diff --git a/abc.dsp b/abc.dsp
index 095c8ebd..7bb16175 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -2534,6 +2534,18 @@ SOURCE=.\src\aig\dar\darMan.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\dar\darRefact.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dar\darResub.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\aig\dar\darScript.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\dar\darTruth.c
# End Source File
# End Group
@@ -2722,6 +2734,10 @@ SOURCE=.\src\aig\aig\aigDfs.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\aig\aigFanout.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\aig\aigMan.c
# End Source File
# Begin Source File
@@ -2746,6 +2762,10 @@ SOURCE=.\src\aig\aig\aigTable.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\aig\aigTiming.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\aig\aigUtil.c
# End Source File
# End Group