summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-09-19 16:30:52 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-09-19 16:30:52 -0700
commit1bd7550378752ba3957ffe4a2af58a74de8c7c51 (patch)
treedb666f6da6afa2d6b34bddb71da479c1b2e84c29 /src
parent6325e41681a259cf63de3aabe10b4b0930e77e56 (diff)
downloadabc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.gz
abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.tar.bz2
abc-1bd7550378752ba3957ffe4a2af58a74de8c7c51.zip
Compiler warnings.
Diffstat (limited to 'src')
-rw-r--r--src/aig/gia/gia.h3
-rw-r--r--src/aig/gia/giaTtopt.cpp8
-rw-r--r--src/base/abci/abc.c7
3 files changed, 8 insertions, 10 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index 1f4b7ee7..942c9eb7 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -1548,6 +1548,9 @@ extern Gia_Man_t * Gia_ManReadMiniAig( char * pFileName, int fGiaSimple
extern void Gia_ManWriteMiniAig( Gia_Man_t * pGia, char * pFileName );
extern Gia_Man_t * Gia_ManReadMiniLut( char * pFileName );
extern void Gia_ManWriteMiniLut( Gia_Man_t * pGia, char * pFileName );
+/*=== giaMinLut.c ===========================================================*/
+extern word * Gia_ManCountFraction( Gia_Man_t * p, Vec_Wrd_t * vSimI, Vec_Int_t * vSupp, int Thresh, int fVerbose, int * pCare );
+extern Vec_Int_t * Gia_ManCollectSuppNew( Gia_Man_t * p, int iOut, int nOuts );
/*=== giaMuxes.c ===========================================================*/
extern void Gia_ManCountMuxXor( Gia_Man_t * p, int * pnMuxes, int * pnXors );
extern void Gia_ManPrintMuxStats( Gia_Man_t * p );
diff --git a/src/aig/gia/giaTtopt.cpp b/src/aig/gia/giaTtopt.cpp
index 7d507152..61d07441 100644
--- a/src/aig/gia/giaTtopt.cpp
+++ b/src/aig/gia/giaTtopt.cpp
@@ -1106,10 +1106,6 @@ public:
}
-extern "C"
-Vec_Int_t * Gia_ManCollectSuppNew( Gia_Man_t * p, int iOut, int nOuts );
-
-//extern "C"
Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds )
{
Gia_Man_t * pNew;
@@ -1158,10 +1154,6 @@ Gia_Man_t * Gia_ManTtopt( Gia_Man_t * p, int nIns, int nOuts, int nRounds )
return pNew;
}
-extern "C"
-word * Gia_ManCountFraction( Gia_Man_t * p, Vec_Wrd_t * vSimI, Vec_Int_t * vSupp, int Thresh, int fVerbose, int * pCare );
-
-//extern "C"
Gia_Man_t * Gia_ManTtoptCare( Gia_Man_t * p, int nIns, int nOuts, int nRounds, char * pFileName, int nRarity )
{
int fVerbose = 0;
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 42761fc7..cddf0b51 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -42208,7 +42208,6 @@ usage:
SeeAlso []
***********************************************************************/
-//#ifndef _WIN32
int Abc_CommandAbc9Ttopt( Abc_Frame_t * pAbc, int argc, char ** argv )
{
Gia_Man_t * pTemp;
@@ -42300,9 +42299,13 @@ usage:
Abc_Print( -2, "\t-v : toggles verbose output [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : prints the command usage\n");
Abc_Print( -2, "\t<file> : file name with simulation information\n");
+ Abc_Print( -2, "\t\n" );
+ Abc_Print( -2, "\t This command was contributed by Yukio Miyasaka.\n" );
+ Abc_Print( -2, "\t The paper describing the method: Y. Miyasaka et al. \"Synthesizing\n" );
+ Abc_Print( -2, "\t a class of practical Boolean functions using truth tables\". Proc. IWLS 2022.\n" );
+ Abc_Print( -2, "\t https://people.eecs.berkeley.edu/~alanmi/publications/2022/iwls22_reo.pdf\n" );
return 1;
}
-//#endif
/**Function*************************************************************