From faf1265bb82f934cc14b6106ccce89e37203efbd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 2 Nov 2006 08:01:00 -0800
Subject: Version abc61102

---
 abc.dsp | 114 +++++++++++++++++++++++-----------------------------------------
 1 file changed, 41 insertions(+), 73 deletions(-)

(limited to 'abc.dsp')

diff --git a/abc.dsp b/abc.dsp
index aad90c3c..6690e23b 100644
--- a/abc.dsp
+++ b/abc.dsp
@@ -186,6 +186,10 @@ SOURCE=.\src\base\abci\abcBalance.c
 # End Source File
 # Begin Source File
 
+SOURCE=.\src\base\abci\abcBmc.c
+# End Source File
+# Begin Source File
+
 SOURCE=.\src\base\abci\abcClpBdd.c
 # End Source File
 # Begin Source File
@@ -332,73 +336,9 @@ SOURCE=.\src\base\abci\abcUnreach.c
 
 SOURCE=.\src\base\abci\abcVerify.c
 # End Source File
-# End Group
-# Begin Group "seq"
-
-# PROP Default_Filter ""
-# Begin Source File
-
-SOURCE=.\src\base\seq\seq.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqAigCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqAigIter.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqCreate.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqFpgaCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqFpgaIter.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqInt.h
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqLatch.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqMan.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqMapCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqMapIter.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqMaxMeanCycle.c
-# End Source File
 # Begin Source File
 
-SOURCE=.\src\base\seq\seqRetCore.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqRetIter.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqShare.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\base\seq\seqUtil.c
+SOURCE=.\src\base\abci\abcXsim.c
 # End Source File
 # End Group
 # Begin Group "cmd"
@@ -1389,6 +1329,42 @@ SOURCE=.\src\opt\sim\simSymStr.c
 SOURCE=.\src\opt\sim\simUtils.c
 # End Source File
 # End Group
+# Begin Group "ret"
+
+# PROP Default_Filter ""
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retArea.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retBwd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retCore.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retDelay.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retFlow.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retFwd.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retInit.c
+# End Source File
+# Begin Source File
+
+SOURCE=.\src\opt\ret\retInt.h
+# End Source File
+# End Group
 # End Group
 # Begin Group "map"
 
@@ -2300,14 +2276,6 @@ SOURCE=.\src\temp\aig\aigTable.c
 
 SOURCE=.\src\temp\aig\aigUtil.c
 # End Source File
-# Begin Source File
-
-SOURCE=.\src\temp\aig\cudd2.c
-# End Source File
-# Begin Source File
-
-SOURCE=.\src\temp\aig\cudd2.h
-# End Source File
 # End Group
 # End Group
 # End Group
-- 
cgit v1.2.3