From 8ed83f17b853ea7bd7afa7dd1098d0abb3e98c69 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 9 Oct 2005 08:01:00 -0700
Subject: Version abc51009

---
 abc.plg | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'abc.plg')

diff --git a/abc.plg b/abc.plg
index 2c576993..6b48f938 100644
--- a/abc.plg
+++ b/abc.plg
@@ -6,13 +6,13 @@
 --------------------Configuration: abc - Win32 Release--------------------
 </h3>
 <h3>Command Lines</h3>
-Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194C.tmp" with contents
+Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B74.tmp" with contents
 [
 /nologo /ML /W3 /GX /O2 /I "src\base\abc" /I "src\base\abci" /I "src\base\abcs" /I "src\base\cmd" /I "src\base\io" /I "src\base\main" /I "src\bdd\cudd" /I "src\bdd\epd" /I "src\bdd\mtr" /I "src\bdd\parse" /I "src\bdd\dsd" /I "src\bdd\reo" /I "src\sop\ft" /I "src\sat\asat" /I "src\sat\msat" /I "src\sat\fraig" /I "src\opt\cut" /I "src\opt\dec" /I "src\opt\fxu" /I "src\opt\sim" /I "src\opt\rwr" /I "src\map\fpga" /I "src\map\pga" /I "src\map\mapper" /I "src\map\mapp" /I "src\map\mio" /I "src\map\super" /I "src\misc\extra" /I "src\misc\st" /I "src\misc\mvc" /I "src\misc\util" /I "src\misc\npn" /I "src\misc\vec" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D "HAVE_ASSERT_H" /FR"Release/" /Fp"Release/abc.pch" /YX /Fo"Release/" /Fd"Release/" /FD /c 
-"C:\_projects\abc\src\base\abci\abcVanImp.c"
+"C:\_projects\abc\src\opt\sim\simSupp.c"
 ]
-Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194C.tmp" 
-Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194D.tmp" with contents
+Creating command line "cl.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B74.tmp" 
+Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B75.tmp" with contents
 [
 kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32.lib ole32.lib oleaut32.lib uuid.lib odbc32.lib odbccp32.lib /nologo /subsystem:console /incremental:no /pdb:"Release/abc.pdb" /machine:I386 /out:"_TEST/abc.exe" 
 .\Release\abcAig.obj
@@ -55,6 +55,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32
 .\Release\abcTiming.obj
 .\Release\abcUnreach.obj
 .\Release\abcVanEijk.obj
+.\Release\abcVanImp.obj
 .\Release\abcVerify.obj
 .\Release\abcFpgaDelay.obj
 .\Release\abcFpgaSeq.obj
@@ -178,6 +179,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32
 .\Release\msatClause.obj
 .\Release\msatClauseVec.obj
 .\Release\msatMem.obj
+.\Release\msatOrderH.obj
 .\Release\msatQueue.obj
 .\Release\msatRead.obj
 .\Release\msatSolverApi.obj
@@ -233,6 +235,7 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32
 .\Release\decUtil.obj
 .\Release\simMan.obj
 .\Release\simSat.obj
+.\Release\simSeq.obj
 .\Release\simSupp.obj
 .\Release\simSwitch.obj
 .\Release\simSym.obj
@@ -320,16 +323,13 @@ kernel32.lib user32.lib gdi32.lib winspool.lib comdlg32.lib advapi32.lib shell32
 .\Release\mvcPrint.obj
 .\Release\mvcSort.obj
 .\Release\mvcUtils.obj
-.\Release\abcVanImp.obj
-.\Release\simSeq.obj
-.\Release\msatOrderH.obj
 ]
-Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194D.tmp"
+Creating command line "link.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B75.tmp"
 <h3>Output Window</h3>
 Compiling...
-abcVanImp.c
+simSupp.c
 Linking...
-Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with contents
+Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B77.tmp" with contents
 [
 /nologo /o"Release/abc.bsc" 
 .\Release\abcAig.sbr
@@ -372,6 +372,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont
 .\Release\abcTiming.sbr
 .\Release\abcUnreach.sbr
 .\Release\abcVanEijk.sbr
+.\Release\abcVanImp.sbr
 .\Release\abcVerify.sbr
 .\Release\abcFpgaDelay.sbr
 .\Release\abcFpgaSeq.sbr
@@ -495,6 +496,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont
 .\Release\msatClause.sbr
 .\Release\msatClauseVec.sbr
 .\Release\msatMem.sbr
+.\Release\msatOrderH.sbr
 .\Release\msatQueue.sbr
 .\Release\msatRead.sbr
 .\Release\msatSolverApi.sbr
@@ -550,6 +552,7 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont
 .\Release\decUtil.sbr
 .\Release\simMan.sbr
 .\Release\simSat.sbr
+.\Release\simSeq.sbr
 .\Release\simSupp.sbr
 .\Release\simSwitch.sbr
 .\Release\simSym.sbr
@@ -636,11 +639,8 @@ Creating temporary file "C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp" with cont
 .\Release\mvcOpBool.sbr
 .\Release\mvcPrint.sbr
 .\Release\mvcSort.sbr
-.\Release\mvcUtils.sbr
-.\Release\abcVanImp.sbr
-.\Release\simSeq.sbr
-.\Release\msatOrderH.sbr]
-Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP194F.tmp"
+.\Release\mvcUtils.sbr]
+Creating command line "bscmake.exe @C:\DOCUME~1\alanmi\LOCALS~1\Temp\RSP1B77.tmp"
 Creating browse info file...
 <h3>Output Window</h3>
 
-- 
cgit v1.2.3