summaryrefslogtreecommitdiffstats
path: root/src/base/io
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-05-08 08:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2008-05-08 08:01:00 -0700
commite94ccfd3fb07d22ed426e0386ccf536e470744b7 (patch)
tree395b99b931beee0c3416a098cc647f9b6a5b3080 /src/base/io
parent6175fcb8026bae3db5b4280b655131322d7944da (diff)
downloadabc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.tar.gz
abc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.tar.bz2
abc-e94ccfd3fb07d22ed426e0386ccf536e470744b7.zip
Version abc80508
Diffstat (limited to 'src/base/io')
-rw-r--r--src/base/io/io.c2
-rw-r--r--src/base/io/ioAbc.h (renamed from src/base/io/io.h)4
-rw-r--r--src/base/io/ioReadAiger.c4
-rw-r--r--src/base/io/ioReadBaf.c2
-rw-r--r--src/base/io/ioReadBench.c2
-rw-r--r--src/base/io/ioReadBlif.c2
-rw-r--r--src/base/io/ioReadBlifMv.c2
-rw-r--r--src/base/io/ioReadDsd.c2
-rw-r--r--src/base/io/ioReadEdif.c2
-rw-r--r--src/base/io/ioReadEqn.c2
-rw-r--r--src/base/io/ioReadPla.c2
-rw-r--r--src/base/io/ioReadVerilog.c2
-rw-r--r--src/base/io/ioUtil.c2
-rw-r--r--src/base/io/ioWriteAiger.c2
-rw-r--r--src/base/io/ioWriteBaf.c2
-rw-r--r--src/base/io/ioWriteBench.c2
-rw-r--r--src/base/io/ioWriteBlif.c2
-rw-r--r--src/base/io/ioWriteBlifMv.c2
-rw-r--r--src/base/io/ioWriteCnf.c2
-rw-r--r--src/base/io/ioWriteDot.c2
-rw-r--r--src/base/io/ioWriteEqn.c2
-rw-r--r--src/base/io/ioWriteGml.c2
-rw-r--r--src/base/io/ioWriteList.c2
-rw-r--r--src/base/io/ioWritePla.c2
-rw-r--r--src/base/io/ioWriteVerilog.c2
-rw-r--r--src/base/io/io_.c2
26 files changed, 28 insertions, 28 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c
index 6b802bf1..6efa8b67 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "mainInt.h"
////////////////////////////////////////////////////////////////////////
diff --git a/src/base/io/io.h b/src/base/io/ioAbc.h
index eea76efe..e62cc168 100644
--- a/src/base/io/io.h
+++ b/src/base/io/ioAbc.h
@@ -1,6 +1,6 @@
/**CFile****************************************************************
- FileName [io.h]
+ FileName [ioAbc.h]
SystemName [ABC: Logic synthesis and verification system.]
@@ -14,7 +14,7 @@
Date [Ver. 1.0. Started - June 20, 2005.]
- Revision [$Id: io.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
+ Revision [$Id: ioAbc.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c
index 4820bced..3739205d 100644
--- a/src/base/io/ioReadAiger.c
+++ b/src/base/io/ioReadAiger.c
@@ -19,7 +19,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
@@ -327,7 +327,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck )
}
// read the name of the model if given
- if ( *pCur == 'c' )
+ if ( *pCur == 'c' && pCur < pContents + nFileSize )
{
if ( !strncmp( pCur + 2, ".model", 6 ) )
{
diff --git a/src/base/io/ioReadBaf.c b/src/base/io/ioReadBaf.c
index 8dce54af..13f644cc 100644
--- a/src/base/io/ioReadBaf.c
+++ b/src/base/io/ioReadBaf.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadBench.c b/src/base/io/ioReadBench.c
index 007147bc..0742ec1f 100644
--- a/src/base/io/ioReadBench.c
+++ b/src/base/io/ioReadBench.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadBlif.c b/src/base/io/ioReadBlif.c
index ffa25c7f..68a0bc35 100644
--- a/src/base/io/ioReadBlif.c
+++ b/src/base/io/ioReadBlif.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "main.h"
#include "mio.h"
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c
index 84378024..68602e63 100644
--- a/src/base/io/ioReadBlifMv.c
+++ b/src/base/io/ioReadBlifMv.c
@@ -21,7 +21,7 @@
#include "abc.h"
#include "extra.h"
#include "vecPtr.h"
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadDsd.c b/src/base/io/ioReadDsd.c
index 1ab726e5..482b5d06 100644
--- a/src/base/io/ioReadDsd.c
+++ b/src/base/io/ioReadDsd.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadEdif.c b/src/base/io/ioReadEdif.c
index 188e5b8c..bea9bf69 100644
--- a/src/base/io/ioReadEdif.c
+++ b/src/base/io/ioReadEdif.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadEqn.c b/src/base/io/ioReadEqn.c
index e04f2b1a..6a1360d0 100644
--- a/src/base/io/ioReadEqn.c
+++ b/src/base/io/ioReadEqn.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadPla.c b/src/base/io/ioReadPla.c
index 288c3704..cbee81ef 100644
--- a/src/base/io/ioReadPla.c
+++ b/src/base/io/ioReadPla.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioReadVerilog.c b/src/base/io/ioReadVerilog.c
index c64e330c..9847c2da 100644
--- a/src/base/io/ioReadVerilog.c
+++ b/src/base/io/ioReadVerilog.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index 51a00274..37d57f30 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c
index 758e5335..fb107e77 100644
--- a/src/base/io/ioWriteAiger.c
+++ b/src/base/io/ioWriteAiger.c
@@ -19,7 +19,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteBaf.c b/src/base/io/ioWriteBaf.c
index fc0229a4..33487041 100644
--- a/src/base/io/ioWriteBaf.c
+++ b/src/base/io/ioWriteBaf.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteBench.c b/src/base/io/ioWriteBench.c
index df4a6259..147976da 100644
--- a/src/base/io/ioWriteBench.c
+++ b/src/base/io/ioWriteBench.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index c0c29d65..a0105a6b 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "main.h"
#include "mio.h"
diff --git a/src/base/io/ioWriteBlifMv.c b/src/base/io/ioWriteBlifMv.c
index 775a2e07..86891fee 100644
--- a/src/base/io/ioWriteBlifMv.c
+++ b/src/base/io/ioWriteBlifMv.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "main.h"
#include "mio.h"
diff --git a/src/base/io/ioWriteCnf.c b/src/base/io/ioWriteCnf.c
index e1b2d956..3df189d1 100644
--- a/src/base/io/ioWriteCnf.c
+++ b/src/base/io/ioWriteCnf.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "satSolver.h"
////////////////////////////////////////////////////////////////////////
diff --git a/src/base/io/ioWriteDot.c b/src/base/io/ioWriteDot.c
index 8ae3cc42..b8ca6f67 100644
--- a/src/base/io/ioWriteDot.c
+++ b/src/base/io/ioWriteDot.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "main.h"
#include "mio.h"
diff --git a/src/base/io/ioWriteEqn.c b/src/base/io/ioWriteEqn.c
index 95c54577..94c6e032 100644
--- a/src/base/io/ioWriteEqn.c
+++ b/src/base/io/ioWriteEqn.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteGml.c b/src/base/io/ioWriteGml.c
index dc897300..d84e5f67 100644
--- a/src/base/io/ioWriteGml.c
+++ b/src/base/io/ioWriteGml.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteList.c b/src/base/io/ioWriteList.c
index 71af7c53..c06b39d7 100644
--- a/src/base/io/ioWriteList.c
+++ b/src/base/io/ioWriteList.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
/*
-------- Original Message --------
diff --git a/src/base/io/ioWritePla.c b/src/base/io/ioWritePla.c
index b119751c..4b316416 100644
--- a/src/base/io/ioWritePla.c
+++ b/src/base/io/ioWritePla.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
diff --git a/src/base/io/ioWriteVerilog.c b/src/base/io/ioWriteVerilog.c
index 9e71e3e4..c704c6a1 100644
--- a/src/base/io/ioWriteVerilog.c
+++ b/src/base/io/ioWriteVerilog.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
#include "main.h"
#include "mio.h"
diff --git a/src/base/io/io_.c b/src/base/io/io_.c
index 62dd60e5..b24d1299 100644
--- a/src/base/io/io_.c
+++ b/src/base/io/io_.c
@@ -18,7 +18,7 @@
***********************************************************************/
-#include "io.h"
+#include "ioAbc.h"
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 00:42:59 +0000