diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-07 13:49:03 -0700 |
| commit | a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e (patch) | |
| tree | 5d67bc486c4ad11f2c5127c4a797862f3c57c008 /abclib.dsp | |
| parent | 1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (diff) | |
| download | abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.gz abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.tar.bz2 abc-a28fe0d324b0c096d1f6f2d27f956f4f1625ed9e.zip | |
Unsuccessful attempt to improve PDR and a few minor changes.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 24 |
1 files changed, 16 insertions, 8 deletions
@@ -3131,6 +3131,10 @@ SOURCE=.\src\aig\aig\aigInter.c # End Source File # Begin Source File +SOURCE=.\src\aig\aig\aigJust.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\aig\aigMan.c # End Source File # Begin Source File @@ -3155,6 +3159,10 @@ SOURCE=.\src\aig\aig\aigOrder.c # End Source File # Begin Source File +SOURCE=.\src\aig\aig\aigPack.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\aig\aigPart.c # End Source File # Begin Source File @@ -4179,10 +4187,6 @@ SOURCE=.\src\aig\au\auCec.c # End Source File # Begin Source File -SOURCE=.\src\aig\au\auCore.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\au\auCut.h # End Source File # Begin Source File @@ -4207,10 +4211,6 @@ SOURCE=.\src\aig\au\auDec6.c # End Source File # Begin Source File -SOURCE=.\src\aig\au\auDiv.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\au\auDsdData.c # End Source File # Begin Source File @@ -4255,6 +4255,10 @@ SOURCE=.\src\aig\au\auResCore.c # End Source File # Begin Source File +SOURCE=.\src\aig\au\auResCut.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\au\auResDec.c # End Source File # Begin Source File @@ -4298,6 +4302,10 @@ SOURCE=.\src\aig\au\auTruth.h SOURCE=.\src\aig\au\auUtil.c # End Source File # End Group +# Begin Group "ssm" + +# PROP Default_Filter "" +# End Group # End Group # End Group # Begin Group "Header Files" |