summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-09-29 23:14:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-09-29 23:14:00 -0700
commit62439be84dd1dd96493b12c54b457706b5ffadc3 (patch)
tree0cf01a9483a9a0b9cb6761f69044f1672ffa0a76 /abclib.dsp
parent49ac3c52604bb7d14495be0f9031a11244e2dad7 (diff)
downloadabc-62439be84dd1dd96493b12c54b457706b5ffadc3.tar.gz
abc-62439be84dd1dd96493b12c54b457706b5ffadc3.tar.bz2
abc-62439be84dd1dd96493b12c54b457706b5ffadc3.zip
New logic sharing extraction.
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 3ec36358..55809341 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -3683,6 +3683,10 @@ SOURCE=.\src\aig\gia\giaFront.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaFx.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaGlitch.c
# End Source File
# Begin Source File