Other changes to enable new features in the mapper (bug fix).

src/base/io/ioWriteBlif.c

@@ -344,6 +344,12 @@ void Io_NtkWritePos( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches )
     {
         Abc_NtkForEachPo( pNtk, pTerm, i )
         {
+            if ( i && i == pNtk->nRealPos )
+            {
+                fprintf( pFile, "\n.outputs" );
+                LineLength  = 8;
+                NameCounter = 0;
+            }
             pNet = Abc_ObjFanin0(pTerm);
             // get the line length after this name is written
             AddedLength = strlen(Abc_ObjName(pNet)) + 1;

src/map/if/ifTime.c

@@ -30,7 +30,7 @@ ABC_NAMESPACE_IMPL_START
 
 #define IF_BIG_CHAR 120
 
-static float s_ExtraDel[2][3] = { {1.0, 1.0, 1.0}, {1.0, 1.0, 0.0} };
+static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} };
 
 static void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * pPinDelays );