diff options
Diffstat (limited to 'abc.dsp')
-rw-r--r-- | abc.dsp | 28 |
1 files changed, 24 insertions, 4 deletions
@@ -206,6 +206,10 @@ SOURCE=.\src\base\abci\abcDebug.c # End Source File # Begin Source File +SOURCE=.\src\base\abci\abcDress.c +# End Source File +# Begin Source File + SOURCE=.\src\base\abci\abcDsd.c # End Source File # Begin Source File @@ -406,10 +410,6 @@ SOURCE=.\src\base\io\ioInt.h # End Source File # Begin Source File -SOURCE=.\src\base\io\ioRead.c -# End Source File -# Begin Source File - SOURCE=.\src\base\io\ioReadAiger.c # End Source File # Begin Source File @@ -426,6 +426,14 @@ SOURCE=.\src\base\io\ioReadBlif.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioReadBlifAig.c +# End Source File +# Begin Source File + +SOURCE=.\src\base\io\ioReadBlifMv.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioReadEdif.c # End Source File # Begin Source File @@ -458,6 +466,10 @@ SOURCE=.\src\base\io\ioWriteBlif.c # End Source File # Begin Source File +SOURCE=.\src\base\io\ioWriteBlifMv.c +# End Source File +# Begin Source File + SOURCE=.\src\base\io\ioWriteCnf.c # End Source File # Begin Source File @@ -545,6 +557,10 @@ SOURCE=.\src\base\ver\verParse.c SOURCE=.\src\base\ver\verStream.c # End Source File # End Group +# Begin Group "func" + +# PROP Default_Filter "" +# End Group # End Group # Begin Group "aig" @@ -1038,6 +1054,10 @@ SOURCE=.\src\bdd\parse\parseCore.c # End Source File # Begin Source File +SOURCE=.\src\bdd\parse\parseEqn.c +# End Source File +# Begin Source File + SOURCE=.\src\bdd\parse\parseInt.h # End Source File # Begin Source File |