diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 20:55:07 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-24 20:55:07 -0700 |
commit | 9ef96ae8a652387dc9ddb843aa89d26ae2564a3d (patch) | |
tree | 7a8686752fb7d1abbe91553728f1677152d0c610 /abclib.dsp | |
parent | 99e3e3bc7e1132d032103c7904ed6a2f75f0f5db (diff) | |
download | abc-9ef96ae8a652387dc9ddb843aa89d26ae2564a3d.tar.gz abc-9ef96ae8a652387dc9ddb843aa89d26ae2564a3d.tar.bz2 abc-9ef96ae8a652387dc9ddb843aa89d26ae2564a3d.zip |
Changes to be able to compile ABC without CUDD.
Diffstat (limited to 'abclib.dsp')
-rw-r--r-- | abclib.dsp | 384 |
1 files changed, 188 insertions, 196 deletions
@@ -1242,30 +1242,6 @@ SOURCE=.\src\bdd\mtr\mtrGroup.c SOURCE=.\src\bdd\mtr\mtrInt.h # End Source File # End Group -# Begin Group "parse" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\bdd\parse\parse.h -# End Source File -# Begin Source File - -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 - -SOURCE=.\src\bdd\parse\parseStack.c -# End Source File -# End Group # Begin Group "dsd" # PROP Default_Filter "" @@ -1362,6 +1338,178 @@ SOURCE=.\src\bdd\cas\casCore.c SOURCE=.\src\bdd\cas\casDec.c # End Source File # End Group +# Begin Group "bbr" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbr.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrCex.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrImage.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrNtbdd.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\bbr\bbrReach.c +# End Source File +# End Group +# Begin Group "llb" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\llb\llb.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Cluster.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Constr.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Core.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Group.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Hint.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Man.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Matrix.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Pivot.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Reach.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb1Sched.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Bad.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Core.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Driver.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Dump.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Flow.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb2Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb3Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb3Nonlin.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Cex.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Cluster.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Image.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Map.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Nonlin.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llb4Sweep.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\llb\llbInt.h +# End Source File +# End Group +# Begin Group "extrab" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBdd.h +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddAuto.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddCas.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddImage.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddKmap.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddMisc.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddSymm.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddTime.c +# End Source File +# Begin Source File + +SOURCE=.\src\bdd\extrab\extraBddUnate.c +# End Source File +# End Group # End Group # Begin Group "sat" @@ -2899,42 +3047,6 @@ SOURCE=.\src\misc\extra\extra.h # End Source File # Begin Source File -SOURCE=.\src\misc\extra\extraBdd.h -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddAuto.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddCas.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddImage.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddKmap.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddMisc.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddSymm.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddTime.c -# End Source File -# Begin Source File - -SOURCE=.\src\misc\extra\extraBddUnate.c -# End Source File -# Begin Source File - SOURCE=.\src\misc\extra\extraUtilBitMatrix.c # End Source File # Begin Source File @@ -3486,6 +3598,22 @@ SOURCE=.\src\misc\tim\timTime.c SOURCE=.\src\misc\tim\timTrav.c # End Source File # End Group +# Begin Group "parse" + +# PROP Default_Filter "" +# Begin Source File + +SOURCE=.\src\misc\parse\parseEqn.c +# End Source File +# Begin Source File + +SOURCE=.\src\misc\parse\parseInt.h +# End Source File +# Begin Source File + +SOURCE=.\src\misc\parse\parseStack.c +# End Source File +# End Group # End Group # Begin Group "ai" @@ -4438,30 +4566,6 @@ SOURCE=.\src\bool\rpo\rpo.h # Begin Group "prove" # PROP Default_Filter "" -# Begin Group "bbr" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\proof\bbr\bbr.h -# End Source File -# Begin Source File - -SOURCE=.\src\proof\bbr\bbrCex.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\bbr\bbrImage.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\bbr\bbrNtbdd.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\bbr\bbrReach.c -# End Source File -# End Group # Begin Group "cec" # PROP Default_Filter "" @@ -4810,118 +4914,6 @@ SOURCE=.\src\proof\live\ltl_parser.c SOURCE=.\src\proof\live\monotone.c # End Source File # End Group -# Begin Group "llb" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\proof\llb\llb.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb.h -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Cluster.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Constr.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Core.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Group.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Hint.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Man.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Matrix.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Pivot.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Reach.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb1Sched.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Bad.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Core.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Driver.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Dump.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Flow.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb2Image.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb3Image.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb3Nonlin.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Cex.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Cluster.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Image.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Map.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Nonlin.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llb4Sweep.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\llb\llbInt.h -# End Source File -# End Group # Begin Group "pdr" # PROP Default_Filter "" |