From 7c04730a24da7908c31e6a8f32411feae58ac46d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 10 May 2023 12:20:15 -0700
Subject: [PATCH] A minor change and adding ABC file markers.

---
 src/aig/gia/giaNewBdd.h         | 20 ++++++++++++++++++++
 src/aig/gia/giaNewTt.h          | 20 ++++++++++++++++++++
 src/aig/gia/giaTranStoch.c      | 24 ++++++++++++++++++++++--
 src/aig/gia/giaTransduction.cpp | 19 +++++++++++++++++++
 src/aig/gia/giaTransduction.h   | 20 ++++++++++++++++++++
 5 files changed, 101 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaNewBdd.h b/src/aig/gia/giaNewBdd.h
index b9fd5960c..6d75f4d99 100644
--- a/src/aig/gia/giaNewBdd.h
+++ b/src/aig/gia/giaNewBdd.h
@@ -1,3 +1,23 @@
+/**CFile****************************************************************
+
+  FileName    [giaNewBdd.h]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [Implementation of transduction method.]
+
+  Author      [Yukio Miyasaka]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - May 2023.]
+
+  Revision    [$Id: giaNewBdd.h,v 1.00 2023/05/10 00:00:00 Exp $]
+
+***********************************************************************/
+
 #ifndef ABC__aig__gia__giaNewBdd_h
 #define ABC__aig__gia__giaNewBdd_h
 
diff --git a/src/aig/gia/giaNewTt.h b/src/aig/gia/giaNewTt.h
index 15dfc53a9..494b8636b 100644
--- a/src/aig/gia/giaNewTt.h
+++ b/src/aig/gia/giaNewTt.h
@@ -1,3 +1,23 @@
+/**CFile****************************************************************
+
+  FileName    [giaNewTt.h]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [Implementation of transduction method.]
+
+  Author      [Yukio Miyasaka]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - May 2023.]
+
+  Revision    [$Id: giaNewTt.h,v 1.00 2023/05/10 00:00:00 Exp $]
+
+***********************************************************************/
+
 #ifndef ABC__aig__gia__giaNewTt_h
 #define ABC__aig__gia__giaNewTt_h
 
diff --git a/src/aig/gia/giaTranStoch.c b/src/aig/gia/giaTranStoch.c
index 8fb25aa81..f7e473d0a 100644
--- a/src/aig/gia/giaTranStoch.c
+++ b/src/aig/gia/giaTranStoch.c
@@ -1,3 +1,23 @@
+/**CFile****************************************************************
+
+  FileName    [giaTranStoch.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [Implementation of transduction method.]
+
+  Author      [Yukio Miyasaka]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - May 2023.]
+
+  Revision    [$Id: giaTranStoch.c,v 1.00 2023/05/10 00:00:00 Exp $]
+
+***********************************************************************/
+
 #include <base/abc/abc.h>
 #include <aig/aig/aig.h>
 #include <opt/dar/dar.h>
@@ -147,7 +167,7 @@ Gia_Man_t * Gia_ManTranStochOpt3( Gia_ManTranStochParam * p, Gia_Man_t * pOld )
 Gia_Man_t * Gia_ManTranStoch( Gia_Man_t * pGia, int nRestarts, int nHops, int nSeedBase, int fCspf, int fMerge, int fResetHop, int fTruth, int fSingle, int fOriginalOnly, int fNewLine, int nVerbose ) {
   int i, j = 0;
   Gia_Man_t * pNew, * pBest, * pStart;
-  Abc_Ntk_t * pNtk, * pNtkRes;
+  Abc_Ntk_t * pNtk, * pNtkRes; Vec_Ptr_t * vpStarts;
   Gia_ManTranStochParam Par, *p = &Par;
   p->nRestarts = nRestarts;
   p->nHops = nHops;
@@ -159,7 +179,7 @@ Gia_Man_t * Gia_ManTranStoch( Gia_Man_t * pGia, int nRestarts, int nHops, int nS
   p->fNewLine = fNewLine;
   p->nVerbose = nVerbose;
   // setup start points
-  Vec_Ptr_t * vpStarts = Vec_PtrAlloc( 4 );
+  vpStarts = Vec_PtrAlloc( 4 );
   Vec_PtrPush( vpStarts, Gia_ManDup( pGia ) );
   if ( !fOriginalOnly ) {
     { // &put; collapse; st; &get;
diff --git a/src/aig/gia/giaTransduction.cpp b/src/aig/gia/giaTransduction.cpp
index f071b3f45..f9220210f 100644
--- a/src/aig/gia/giaTransduction.cpp
+++ b/src/aig/gia/giaTransduction.cpp
@@ -1,3 +1,22 @@
+/**CFile****************************************************************
+
+  FileName    [giaTransduction.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [Implementation of transduction method.]
+
+  Author      [Yukio Miyasaka]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - May 2023.]
+
+  Revision    [$Id: giaTransduction.c,v 1.00 2023/05/10 00:00:00 Exp $]
+
+***********************************************************************/
 
 #ifndef _WIN32
 
diff --git a/src/aig/gia/giaTransduction.h b/src/aig/gia/giaTransduction.h
index 162cd7d24..66b21fc6b 100644
--- a/src/aig/gia/giaTransduction.h
+++ b/src/aig/gia/giaTransduction.h
@@ -1,3 +1,23 @@
+/**CFile****************************************************************
+
+  FileName    [giaTransduction.h]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Scalable AIG package.]
+
+  Synopsis    [Implementation of transduction method.]
+
+  Author      [Yukio Miyasaka]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - May 2023.]
+
+  Revision    [$Id: giaTransduction.h,v 1.00 2023/05/10 00:00:00 Exp $]
+
+***********************************************************************/
+
 #ifndef ABC__aig__gia__giaTransduction_h
 #define ABC__aig__gia__giaTransduction_h