diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-10 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-10 08:01:00 -0800 |
commit | 8dfe404863427d5e7b18d055ffd78b453835f959 (patch) | |
tree | f0efcc544e0501aa6477948744e4d2788a4fb965 /abc.dsp | |
parent | be6a484a997a8477d4c3b03c17f798c1b0061bf1 (diff) | |
download | abc-8dfe404863427d5e7b18d055ffd78b453835f959.tar.gz abc-8dfe404863427d5e7b18d055ffd78b453835f959.tar.bz2 abc-8dfe404863427d5e7b18d055ffd78b453835f959.zip |
Version abc70110
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 |