summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-07-08 10:56:59 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2020-07-08 10:56:59 -0700
commit0b734d10e0ecf498865f5ff5f900c0a3bb5ece32 (patch)
tree253456579f6272691b89143cf553a9616da5a7e6 /abclib.dsp
parent83f54185ef74a35e54a003a39810b7d755941af4 (diff)
downloadabc-0b734d10e0ecf498865f5ff5f900c0a3bb5ece32.tar.gz
abc-0b734d10e0ecf498865f5ff5f900c0a3bb5ece32.tar.bz2
abc-0b734d10e0ecf498865f5ff5f900c0a3bb5ece32.zip
Adding new resub code.
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 2cbd831f..f0f0302a 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -4975,6 +4975,10 @@ SOURCE=.\src\aig\gia\giaResub.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaResub2.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaRetime.c
# End Source File
# Begin Source File