diff options
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 202 |
1 files changed, 173 insertions, 29 deletions
@@ -41,7 +41,7 @@ RSC=rc.exe # PROP Intermediate_Dir "ReleaseLib" # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /GX /O2 /D "WIN32" /D "NDEBUG" /D "_MBCS" /D "_LIB" /YX /FD /c -# ADD CPP /nologo /W3 /GX /O2 /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /I "src/aig/bbl" /I "src/aig/sky" /I "src/aig/nal2" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /c +# ADD CPP /nologo /MD /W3 /GX /O2 /I "src/ext/ext" /I "src/misc/ext" /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/cov" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /I "src/aig/bbl" /I "src/aig/llb" /D "WIN32" /D "NDEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /c # ADD BASE RSC /l 0x409 /d "NDEBUG" # ADD RSC /l 0x409 /d "NDEBUG" BSC32=bscmake.exe @@ -64,7 +64,7 @@ LIB32=link.exe -lib # PROP Intermediate_Dir "DebugLib" # PROP Target_Dir "" # ADD BASE CPP /nologo /W3 /Gm /GX /ZI /Od /D "WIN32" /D "_DEBUG" /D "_MBCS" /D "_LIB" /YX /FD /GZ /c -# ADD CPP /nologo /W3 /Gm /GX /ZI /Od /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /I "src/aig/bbl" /I "src/aig/sky" /I "src/aig/nal2" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D "__STDC__" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /GZ /c +# ADD CPP /nologo /MDd /W3 /Gm /GX /ZI /Od /I "src/ext/ext" /I "src/misc/ext" /I "src/base/abc" /I "src/base/abci" /I "src/base/cmd" /I "src/base/io" /I "src/base/main" /I "src/base/ver" /I "src/bdd/cudd" /I "src/bdd/dsd" /I "src/bdd/epd" /I "src/bdd/mtr" /I "src/bdd/parse" /I "src/bdd/reo" /I "src/bdd/cas" /I "src/map/cov" /I "src/map/fpga" /I "src/map/mapper" /I "src/map/mio" /I "src/map/super" /I "src/map/if" /I "src/map/pcm" /I "src/map/ply" /I "src/misc/extra" /I "src/misc/mvc" /I "src/misc/st" /I "src/misc/util" /I "src/misc/espresso" /I "src/misc/nm" /I "src/misc/vec" /I "src/misc/hash" /I "src/misc/bzlib" /I "src/misc/zlib" /I "src/opt/cut" /I "src/opt/dec" /I "src/opt/fxu" /I "src/opt/rwr" /I "src/opt/sim" /I "src/opt/ret" /I "src/opt/res" /I "src/opt/lpk" /I "src/sat/bsat" /I "src/sat/csat" /I "src/sat/msat" /I "src/sat/fraig" /I "src/sat/nsat" /I "src/sat/psat" /I "src/aig/ivy" /I "src/aig/hop" /I "src/aig/rwt" /I "src/aig/deco" /I "src/aig/mem" /I "src/aig/dar" /I "src/aig/fra" /I "src/aig/cnf" /I "src/aig/csw" /I "src/aig/ioa" /I "src/aig/aig" /I "src/aig/kit" /I "src/aig/bdc" /I "src/aig/bar" /I "src/aig/ntl" /I "src/aig/nwk" /I "src/aig/tim" /I "src/opt/mfs" /I "src/aig/mfx" /I "src/aig/saig" /I "src/aig/bbr" /I "src/aig/int" /I "src/aig/dch" /I "src/aig/ssw" /I "src/sat/lsat" /I "src/aig/cec" /I "src/aig/cgt" /I "src/aig/sec" /I "src/map/amap" /I "src/aig/fsim" /I "src/aig/gia" /I "src/aig/bbl" /I "src/aig/llb" /D "WIN32" /D "_DEBUG" /D "_CONSOLE" /D "_MBCS" /D ABC_DLL=ABC_DLLEXPORT /D "_CRT_SECURE_NO_DEPRECATE" /FR /YX /FD /GZ /c # ADD BASE RSC /l 0x409 /d "_DEBUG" # ADD RSC /l 0x409 /d "_DEBUG" BSC32=bscmake.exe @@ -199,6 +199,10 @@ SOURCE=.\src\base\abci\abcBidec.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcBm.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcBmc.c # End Source File # Begin Source File @@ -207,11 +211,11 @@ SOURCE=.\src\base\abci\abcCas.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcClpBdd.c +SOURCE=.\src\base\abci\abcCascade.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcClpSop.c +SOURCE=.\src\base\abci\abcCollapse.c # End Source File # Begin Source File @@ -227,15 +231,11 @@ SOURCE=.\src\base\abci\abcDebug.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcDelay.c -# End Source File -# Begin Source File - -SOURCE=.\src\base\abci\abcDprove2.c +SOURCE=.\src\base\abci\abcDress.c # End Source File # Begin Source File -SOURCE=.\src\base\abci\abcDress.c +SOURCE=.\src\base\abci\abcDress2.c # End Source File # Begin Source File @@ -275,10 +275,18 @@ SOURCE=.\src\base\abci\abcIf.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcIfMux.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcIvy.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcLog.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcLut.c # End Source File # Begin Source File @@ -387,10 +395,18 @@ SOURCE=.\src\base\abci\abcSat.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcScorr.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcSense.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcSpeedup.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcStrash.c # End Source File # Begin Source File @@ -455,6 +471,14 @@ SOURCE=.\src\base\cmd\cmdInt.h # End Source File # Begin Source File +SOURCE=.\src\base\cmd\cmdLoad.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\cmd\cmdPlugin.c +# End Source File +# Begin Source File + SOURCE=.\src\base\cmd\cmdUtils.c # End Source File # End Group @@ -579,6 +603,10 @@ SOURCE=.\src\base\io\ioWritePla.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioWriteSmv.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioWriteVerilog.c # End Source File # End Group @@ -607,6 +635,10 @@ SOURCE=.\src\base\main\mainInt.h # End Source File # Begin Source File +SOURCE=.\src\base\main\mainLib.c +# End Source File +# Begin Source File + SOURCE=.\src\base\main\mainUtils.c # End Source File # End Group @@ -2265,6 +2297,10 @@ SOURCE=.\src\misc\vec\vecStr.h SOURCE=.\src\misc\vec\vecVec.h # End Source File +# Begin Source File + +SOURCE=.\src\misc\vec\vecWrd.h +# End Source File # End Group # Begin Group "util" @@ -2279,6 +2315,10 @@ SOURCE=.\src\misc\util\util_hack.h # End Source File # Begin Source File +SOURCE=.\src\misc\util\utilFile.c +# End Source File +# Begin Source File + SOURCE=.\src\misc\util\utilMem.c # End Source File # Begin Source File @@ -2395,7 +2435,23 @@ SOURCE=.\src\misc\zlib\deflate.h # End Source File # Begin Source File -SOURCE=.\src\misc\zlib\gzio.c +SOURCE=.\src\misc\zlib\gzclose.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\zlib\gzguts.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\zlib\gzlib.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\zlib\gzread.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\zlib\gzwrite.c # End Source File # Begin Source File @@ -3047,6 +3103,10 @@ SOURCE=.\src\aig\aig\aigShow.c # End Source File # Begin Source File +SOURCE=.\src\aig\aig\aigSplit.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\aig\aigTable.c # End Source File # Begin Source File @@ -3127,6 +3187,10 @@ SOURCE=.\src\aig\ntl\ntlNames.c # End Source File # Begin Source File +SOURCE=.\src\aig\ntl\ntlnwk.h +# End Source File +# Begin Source File + SOURCE=.\src\aig\ntl\ntlObj.c # End Source File # Begin Source File @@ -3315,6 +3379,10 @@ SOURCE=.\src\aig\saig\saigAbs.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigAbs2.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigBmc.c # End Source File # Begin Source File @@ -3323,10 +3391,22 @@ SOURCE=.\src\aig\saig\saigBmc2.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigBmc3.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigCone.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigConstr.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\saig\saigConstr2.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigDup.c # End Source File # Begin Source File @@ -3347,6 +3427,10 @@ SOURCE=.\src\aig\saig\saigMiter.c # End Source File # Begin Source File +SOURCE=.\src\aig\saig\saigPba.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\saig\saigPhase.c # End Source File # Begin Source File @@ -3531,6 +3615,10 @@ SOURCE=.\src\aig\ssw\sswCnf.c # End Source File # Begin Source File +SOURCE=.\src\aig\ssw\sswConstr.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\ssw\sswCore.c # End Source File # Begin Source File @@ -3539,6 +3627,10 @@ SOURCE=.\src\aig\ssw\sswDyn.c # End Source File # Begin Source File +SOURCE=.\src\aig\ssw\sswFilter.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\ssw\sswInt.h # End Source File # Begin Source File @@ -3649,6 +3741,10 @@ SOURCE=.\src\aig\cec\cecSolve.c SOURCE=.\src\aig\cec\cecSweep.c # End Source File +# Begin Source File + +SOURCE=.\src\aig\cec\cecSynth.c +# End Source File # End Group # Begin Group "cgt" @@ -3682,14 +3778,6 @@ SOURCE=.\src\aig\cgt\cgtMan.c SOURCE=.\src\aig\cgt\cgtSat.c # End Source File # End Group -# Begin Group "sec" - -# PROP Default_Filter "" -# End Group -# Begin Group "nal" - -# PROP Default_Filter "" -# End Group # Begin Group "gia" # PROP Default_Filter "" @@ -3719,6 +3807,10 @@ SOURCE=.\src\aig\gia\giaAiger.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaBidec.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaCof.c # End Source File # Begin Source File @@ -3795,11 +3887,15 @@ SOURCE=.\src\aig\gia\giaHcd.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaIf.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaMan.c # End Source File # Begin Source File -SOURCE=.\src\aig\gia\giaMap.c +SOURCE=.\src\aig\gia\giaMem.c # End Source File # Begin Source File @@ -3807,6 +3903,10 @@ SOURCE=.\src\aig\gia\giaPat.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaReparam.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaRetime.c # End Source File # Begin Source File @@ -3815,6 +3915,10 @@ SOURCE=.\src\aig\gia\giaScl.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaShrink.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaSim.c # End Source File # Begin Source File @@ -3823,6 +3927,14 @@ SOURCE=.\src\aig\gia\giaSort.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaSpeedup.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\gia\giaSupMin.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaSwitch.c # End Source File # Begin Source File @@ -3857,42 +3969,74 @@ SOURCE=.\src\aig\live\liveness.c SOURCE=.\src\aig\live\liveness_sim.c # End Source File +# Begin Source File + +SOURCE=.\src\aig\live\ltl_parser.c +# End Source File # End Group -# Begin Group "sky" +# Begin Group "llb" # PROP Default_Filter "" # Begin Source File -SOURCE=.\src\aig\sky\sky.c +SOURCE=.\src\aig\llb\llb.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbCex.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbCluster.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\sky.h +SOURCE=.\src\aig\llb\llbConstr.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyCheck.c +SOURCE=.\src\aig\llb\llbCore.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyMan.c +SOURCE=.\src\aig\llb\llbFlow.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyName.c +SOURCE=.\src\aig\llb\llbHint.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyObj.c +SOURCE=.\src\aig\llb\llbInt.h # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyReadBlif.c +SOURCE=.\src\aig\llb\llbMan.c # End Source File # Begin Source File -SOURCE=.\src\aig\sky\skyUtil.c +SOURCE=.\src\aig\llb\llbMatrix.c # End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbPart.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbPivot.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbReach.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\llb\llbSched.c +# End Source File +# End Group +# Begin Group "sky" + +# PROP Default_Filter "" # End Group # End Group # End Group |