Misc changes.

src/aig/gia/giaCone.c

@@ -169,12 +169,20 @@ void Opa_ManPerform( Gia_Man_t * pGia )
 {
     Opa_Man_t * p;
     Gia_Obj_t * pObj;
-    int i;
-
+    int i, Limit, Count = 0;
+ 
     p = Opa_ManStart( pGia );
+    Limit = Vec_IntSize(p->vFront);
 //Opa_ManPrint2( p );
     Gia_ManForEachObjVec( p->vFront, pGia, pObj, i )
     {
+        if ( i == Limit )
+        {
+            printf( "%6d : %6d -> %6d\n", ++Count, i, p->nParts );
+            Limit = Vec_IntSize(p->vFront);
+            if ( Count > 1 )
+                Opa_ManPrint2( p );
+        }
 //        printf( "*** Object %d  ", Gia_ObjId(pGia, pObj) );
         if ( Gia_ObjIsAnd(pObj) )
         {
@@ -184,11 +192,12 @@ void Opa_ManPerform( Gia_Man_t * pGia )
         else if ( Gia_ObjIsCo(pObj) )
             Opa_ManMoveOne( p, pObj, Gia_ObjFanin0(pObj) );
         else assert( 0 );
-        if ( i % 10 == 0 )
-            printf( "%d   ", p->nParts );
-//Opa_ManPrint2( p );
+//        if ( i % 10 == 0 )
+//            printf( "%d   ", p->nParts );
         if ( p->nParts == 1 )
             break;
+        if ( Count == 5 )
+            break;
     }
     printf( "\n" );
     Opa_ManStop( p );

src/base/cmd/cmdHist.c

@@ -47,8 +47,8 @@ ABC_NAMESPACE_IMPL_START
 ***********************************************************************/
 void Cmd_HistoryAddCommand(    Abc_Frame_t * p, const char * command )
 {
-    int nLastLooked =  10;  // do not add history if the same entry appears among the last entries
-    int nLastSaved  = 500;  // when saving a file, save no more than this number of last entries
+    int nLastLooked =   10;  // do not add history if the same entry appears among the last entries
+    int nLastSaved  = 1000;  // when saving a file, save no more than this number of last entries
     char Buffer[ABC_MAX_STR];
     int Len;
     if ( p->fBatchMode )