luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fixes

This commit is contained in:
Miodrag Milanovic 2025-12-29 10:35:54 +01:00
parent 19d22c55cd
commit cd0cb8d65d
4 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/misc/util/utilAigSim.c
View File

@ -25,7 +25,14 @@
#include <assert.h>
#include <ctype.h>
#include <time.h>
#include <unistd.h> // mkstemp(), close(), unlink()
#if defined(_MSC_VER) || defined(__MINGW32__)
#include <windows.h>
#include <process.h>
#include <io.h>
#define unlink _unlink
#else
#include <unistd.h>
#endif
#define AIGSIM_LIBRARY_ONLY

6
src/misc/util/utilNet.c
View File

@ -22,8 +22,12 @@
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include <unistd.h>
#include <time.h>
#ifdef _MSC_VER
#define unlink _unlink
#else
#include <unistd.h>
#endif
#include "abc_global.h"

2
src/sat/bmc/bmcMaj8.c
View File

@ -206,7 +206,7 @@ static int Exa8_ManVarReserve( Exa8_Man_t * p )
{
int nMintMax = 1 << p->nVars;
int nVarsPerMint = p->pPars->fUseIncr ? p->nNodes : (p->nLutSize + 1) * p->nNodes;
int64_t nTotal = (int64_t)p->iVar + (int64_t)nVarsPerMint * nMintMax;
ABC_INT64_T nTotal = (ABC_INT64_T)p->iVar + (ABC_INT64_T)nVarsPerMint * nMintMax;
if ( nTotal > INT_MAX )
nTotal = INT_MAX;
return (int)nTotal;

4
src/sat/bmc/bmcMaj9.c
View File

@ -27,7 +27,11 @@
#include "base/main/main.h"
#include "base/cmd/cmd.h"
#ifdef _MSC_VER
#define unlink _unlink
#else
#include <unistd.h>
#endif
#include <limits.h>
#define KISSAT_UNSAT 20