diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-18 08:01:00 -0700 |
| commit | 8b24f6bff92d93c3a4def93b8872105c861d1285 (patch) | |
| tree | ebef4201d43a1d8bf27f6bc1d703b8e28dad2157 /abc.dsp | |
| parent | 4d37d4d92fbc69a67a4e22af80a2acc42dff5e63 (diff) | |
| download | abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.gz abc-8b24f6bff92d93c3a4def93b8872105c861d1285.tar.bz2 abc-8b24f6bff92d93c3a4def93b8872105c861d1285.zip | |
Version abc80518
Diffstat (limited to 'abc.dsp')
| -rw-r--r-- | abc.dsp | 40 |
1 files changed, 20 insertions, 20 deletions
@@ -3245,6 +3245,26 @@ SOURCE=.\src\aig\mfx\mfxStrash.c SOURCE=.\src\aig\mfx\mfxWin.c # End Source File # End Group +# Begin Group "bbr" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\aig\bbr\bbr.h +# End Source File +# Begin Source File + +SOURCE=.\src\aig\bbr\bbrImage.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\bbr\bbrNtbdd.c +# End Source File +# Begin Source File + +SOURCE=.\src\aig\bbr\bbrReach.c +# End Source File +# End Group # Begin Group "saig" # PROP Default_Filter "" @@ -3297,26 +3317,6 @@ SOURCE=.\src\aig\saig\saigScl.c SOURCE=.\src\aig\saig\saigTrans.c # End Source File # End Group -# Begin Group "bbr" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\aig\bbr\bbr.h -# End Source File -# Begin Source File - -SOURCE=.\src\aig\bbr\bbrImage.c -# End Source File -# Begin Source File - -SOURCE=.\src\aig\bbr\bbrNtbdd.c -# End Source File -# Begin Source File - -SOURCE=.\src\aig\bbr\bbrReach.c -# End Source File -# End Group # End Group # End Group # Begin Group "Header Files" |