Fix inconsistent line endings, and execute bit on a couple of .sh files (so that...

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1136 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/boost/pool/detail/pool_construct.sh b/src/boost/pool/detail/pool_construct.sh
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/src/boost/pool/detail/pool_construct_simple.sh b/src/boost/pool/detail/pool_construct_simple.sh
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/src/extlib-abc/aig/cnf/cnfMan.c b/src/extlib-abc/aig/cnf/cnfMan.c
index 6a83eb8f70180e9af1cc0025f7280d1715933f68..0a6513601a6ac1d0ceebd424a5e0720918ddbac7 100644 (file)
--- a/src/extlib-abc/aig/cnf/cnfMan.c
+++ b/src/extlib-abc/aig/cnf/cnfMan.c
@@ -172,7 +172,7 @@ void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable )
   SeeAlso     []\r
 \r
 ***********************************************************************/\r
-#if 0
+#if 0\r
 void * Cnf_DataWriteIntoSolver( Cnf_Dat_t * p )\r
 {\r
     sat_solver * pSat;\r

diff --git a/src/extlib-abc/aig/cnf/cnfPost.c b/src/extlib-abc/aig/cnf/cnfPost.c
index c2c66d76c2bbe700e27ad6571cf8da1c66aa4462..5b18da487dddf8cff7b561a7691d843fb7ce4546 100644 (file)
--- a/src/extlib-abc/aig/cnf/cnfPost.c
+++ b/src/extlib-abc/aig/cnf/cnfPost.c
@@ -147,7 +147,7 @@ void Cnf_ManFreeCuts( Cnf_Man_t * p )
             pObj->pData = NULL;\r
         }\r
 }\r
-
+\r
 #if 0\r
 /**Function*************************************************************\r
 \r
@@ -226,7 +226,7 @@ void Cnf_ManPostprocess( Cnf_Man_t * p )
         }\r
     }\r
 }\r
-#endif
+#endif\r
 \r
 ////////////////////////////////////////////////////////////////////////\r
 ///                       END OF FILE                                ///\r

diff --git a/src/extlib-abc/kit.h b/src/extlib-abc/kit.h
index 18bdeb20e099189c3d6f8010f4ae75853f7c5865..af3a1a8335e188c6ad3332007ed97c4289d28f0b 100644 (file)
--- a/src/extlib-abc/kit.h
+++ b/src/extlib-abc/kit.h
@@ -125,7 +125,7 @@ struct Kit_DsdNtk_t_
     unsigned *     pSupps;          // supports of the nodes\r
     Kit_DsdObj_t** pNodes;          // the nodes\r
 };\r
-
+\r
 #if 0\r
 // DSD manager\r
 typedef struct Kit_DsdMan_t_ Kit_DsdMan_t;\r
@@ -140,7 +140,7 @@ struct Kit_DsdMan_t_
     Vec_Ptr_t *    vTtBdds;         // the node truth tables\r
     Vec_Int_t *    vNodes;          // temporary array for BDD nodes\r
 };\r
-#endif
+#endif\r
 \r
 static inline int             Kit_DsdVar2Lit( int Var, int fCompl )  { return Var + Var + fCompl; }\r
 static inline int             Kit_DsdLit2Var( int Lit )              { return Lit >> 1;           }\r
@@ -485,8 +485,8 @@ static inline void Kit_TruthIthVar( unsigned * pTruth, int nVars, int iVar )
 ////////////////////////////////////////////////////////////////////////\r
 ///                    FUNCTION DECLARATIONS                         ///\r
 ////////////////////////////////////////////////////////////////////////\r
-
-#if 0
+\r
+#if 0\r
 \r
 /*=== kitBdd.c ==========================================================*/\r
 extern DdNode *        Kit_SopToBdd( DdManager * dd, Kit_Sop_t * cSop, int nVars );\r
@@ -590,7 +590,7 @@ extern char *          Kit_TruthDumpToFile( unsigned * pTruth, int nVars, int nF
 }\r
 #endif\r
 \r
-#endif
+#endif\r
 #endif\r
 \r
 ////////////////////////////////////////////////////////////////////////\r