summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-10-06 20:33:41 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-10-06 20:33:41 -0700
commit227b0c775b0d61aee54423cc22a3f6644b2c2bb7 (patch)
tree259bd2f9b8400630764781f9efbb90bfeb37458d /abclib.dsp
parent31f88974e211f9bf9db74dd1dba5b4e026ed173e (diff)
downloadabc-227b0c775b0d61aee54423cc22a3f6644b2c2bb7.tar.gz
abc-227b0c775b0d61aee54423cc22a3f6644b2c2bb7.tar.bz2
abc-227b0c775b0d61aee54423cc22a3f6644b2c2bb7.zip
New command &stochsyn for stochastic synthesis.
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 1726fb18..974d14dd 100644
--- a/abclib.dsp
+++ b/abclib.dsp
@@ -5203,6 +5203,10 @@ SOURCE=.\src\aig\gia\giaStg.c
# End Source File
# Begin Source File
+SOURCE=.\src\aig\gia\giaStoch.c
+# End Source File
+# Begin Source File
+
SOURCE=.\src\aig\gia\giaStr.c
# End Source File
# Begin Source File