diff options
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" |