diff options
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaAiger.c | 2 | ||||
-rw-r--r-- | src/aig/gia/giaIf.c | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 90a97955..6513d24e 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -677,7 +677,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fSkipS pCur++; nSize = Gia_AigerReadInt(pCur); pCurTemp = pCur + nSize + 4; pCur += 4; - pNew->pCellStr = Abc_UtilStrsav( pCur ); pCur += strlen(pCur) + 1; + pNew->pCellStr = Abc_UtilStrsav( (char*)pCur ); pCur += strlen(pCur) + 1; nSize = nSize - strlen(pNew->pCellStr) - 1; assert( nSize % 4 == 0 ); pNew->vConfigs = Vec_IntStart(nSize / 4); diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 367df593..fea46954 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1522,9 +1522,9 @@ int Gia_ManFromIfLogicFindCell( If_Man_t * pIfMan, Gia_Man_t * pNew, Gia_Man_t * Gia_Obj_t * pObj; int i, Id, iLitTemp; // extract variable permutation - char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input + //char * pCutPerm = If_CutDsdPerm( pIfMan, pCutBest ); // DSD input -> cut input word * pPerm = If_DsdManGetFuncConfig( pIfMan->pIfDsdMan, If_CutDsdLit(pIfMan, pCutBest) ); // cell input -> DSD input - int nBits = If_DsdManTtBitNum( pIfMan->pIfDsdMan ); + //int nBits = If_DsdManTtBitNum( pIfMan->pIfDsdMan ); // use config bits to generate the network iLit = If_ManSatDeriveGiaFromBits( pTemp, pNtkCell, pPerm + 1, vLeaves, vCover ); // copy GIA back into the manager @@ -1706,7 +1706,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan ) Vec_Int_t * vLeaves, * vLeaves2, * vCover, * vLits; Ifn_Ntk_t * pNtkCell = NULL; sat_solver * pSat = NULL; - int i, k, Entry, nLutMax = -1; int Count = 0; + int i, k, Entry; assert( !pIfMan->pPars->fDeriveLuts || pIfMan->pPars->fTruth ); // if ( pIfMan->pPars->fEnableCheck07 ) // pIfMan->pPars->fDeriveLuts = 0; |