summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-25 15:29:01 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-25 15:29:01 -0700
commit531657105b2d41d0ad4652dce3cca32a3f5b0194 (patch)
tree1b4854f5ad58f877269303c95833d8c1380d9973 /abclib.dsp
parenta55b178729aed0cee447b7a0a6df57e00062adbe (diff)
downloadabc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.gz
abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.bz2
abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.zip
Improving DAG-aware unmapping.
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 184c1d26..75095b93 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -3739,6 +3739,10 @@ SOURCE=.\src\aig\gia\giaShrink6.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaShrink7.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaSim.c
# End Source File
# Begin Source File