Compilation of the CUDD library performed May 19, 2001, using MSVC++ 6.0.

--------------------Configuration: cudd - Win32 Release--------------------
Compiling...
cuddZddUtil.c
cuddAddApply.c
cuddAddFind.c
cuddAddInv.c
cuddAddIte.c
cuddAddNeg.c
cuddAddWalsh.c
cuddAndAbs.c
cuddAnneal.c
cuddApa.c
C:\_projects\cudd\cudd\cuddApa.c(178) : warning C4244: 'return' : conversion from 'unsigned long ' to 'unsigned short ', possible loss of data
C:\_projects\cudd\cudd\cuddApa.c(207) : warning C4244: 'return' : conversion from 'unsigned long ' to 'unsigned short ', possible loss of data
C:\_projects\cudd\cudd\cuddApa.c(521) : warning C4244: '=' : conversion from 'unsigned short ' to 'unsigned char ', possible loss of data
C:\_projects\cudd\cudd\cuddApa.c(583) : warning C4244: '=' : conversion from 'unsigned short ' to 'unsigned char ', possible loss of data
cuddAPI.c
cuddApprox.c
cuddBddAbs.c
cuddBddCorr.c
cuddBddIte.c
cuddBridge.c
cuddCache.c
C:\_projects\cudd\cudd\cuddCache.c(937) : warning C4146: unary minus operator applied to unsigned type, result still unsigned
cuddCheck.c
cuddClip.c
cuddCof.c
cuddCompose.c
cuddDecomp.c
cuddEssent.c
cuddExact.c
cuddExport.c
cuddGenCof.c
cuddGenetic.c
cuddGroup.c
C:\_projects\cudd\cudd\cuddGroup.c(2286) : warning C4018: '<=' : signed/unsigned mismatch
cuddHarwell.c
cuddInit.c
cuddInteract.c
cuddLCache.c
C:\_projects\cudd\cudd\cuddLCache.c(1455) : warning C4146: unary minus operator applied to unsigned type, result still unsigned
cuddLevelQ.c
cuddLinear.c
cuddLiteral.c
cuddMatMult.c
cuddPriority.c
cuddRead.c
cuddRef.c
cuddReorder.c
C:\_projects\cudd\cudd\cuddReorder.c(424) : warning C4146: unary minus operator applied to unsigned type, result still unsigned
cuddSat.c
C:\_projects\cudd\cudd\cuddReorder.c(2236) : warning C4700: local variable 'minLevel' used without having been initialized
C:\_projects\cudd\cudd\cuddReorder.c(2241) : warning C4700: local variable 'maxLevel' used without having been initialized
cuddSign.c
cuddSolve.c
cuddSplit.c
cuddSubsetHB.c
cuddSubsetSP.c
cuddSymmetry.c
cuddTable.c
C:\_projects\cudd\cudd\cuddTable.c(1999) : warning C4018: '<' : signed/unsigned mismatch
C:\_projects\cudd\cudd\cuddTable.c(2124) : warning C4018: '<' : signed/unsigned mismatch
C:\_projects\cudd\cudd\cuddTable.c(2458) : warning C4018: '<' : signed/unsigned mismatch
C:\_projects\cudd\cudd\cuddTable.c(2541) : warning C4018: '<' : signed/unsigned mismatch
C:\_projects\cudd\cudd\cuddTable.c(2597) : warning C4146: unary minus operator applied to unsigned type, result still unsigned
cuddUtil.c
cuddWindow.c
cuddZddCount.c
cuddZddFuncs.c
cuddZddGroup.c
cuddZddIsop.c
cuddZddLin.c
cuddZddMisc.c
cuddZddPort.c
cuddZddReord.c
cuddZddSetop.c
cuddZddSymm.c
cuddAddAbs.c
st.c
tmpfile.c
cpu_time.c
datalimit.c
getopt.c
pathsearch.c
prtime.c
ptime.c
safe_mem.c
saveimage.c
strsav.c
stub.c
texpand.c
cpu_stats.c
cuddObj.cpp
epd.c
mtrGroup.c
mtrBasic.c
dddmpDump.c
dddmpConvert.c
dddmpDbg.c
dddmpDdNode.c
dddmpBinary.c
Creating library...

cudd.lib - 0 error(s), 15 warning(s)