ruby_abc 0.0.6 → 0.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +5 -5
- data/.yardopts +7 -0
- data/LICENSE +51 -52
- data/README.md +48 -28
- data/bin/ruby_abc +83 -66
- data/ext/ruby_abc/extconf.rb +58 -0
- data/ext/{ruby_abc.c → ruby_abc/ruby_abc.c} +38 -70
- data/ext/ruby_abc/ruby_abc.map +6 -0
- data/ext/{ruby_abc_wrapper.c → ruby_abc/ruby_abc_wrapper.c} +0 -0
- data/ext/ruby_abc/ruby_abc_wrapper.h +39 -0
- data/lib/ruby_abc/version.rb +4 -0
- data/lib/ruby_abc.rb +247 -230
- data/share/bash_completion/ruby_abc.bash-completion.sh +24 -0
- data/share/osu018.genlib +66 -0
- data/share/simple.genlib +25 -0
- metadata +17 -1725
- data/Rakefile +0 -87
- data/ext/abc/CMakeLists.txt +0 -103
- data/ext/abc/Makefile +0 -213
- data/ext/abc/abc.rc +0 -146
- data/ext/abc/abcexe.dsp +0 -103
- data/ext/abc/abclib.dsp +0 -5948
- data/ext/abc/abcspace.dsw +0 -44
- data/ext/abc/arch_flags.c +0 -17
- data/ext/abc/copyright.txt +0 -23
- data/ext/abc/depends.sh +0 -13
- data/ext/abc/i10.aig +0 -752
- data/ext/abc/lib/pthread.h +0 -1369
- data/ext/abc/lib/sched.h +0 -178
- data/ext/abc/lib/semaphore.h +0 -166
- data/ext/abc/lib/x64/pthreadVC2.dll +0 -0
- data/ext/abc/lib/x64/pthreadVC2.lib +0 -0
- data/ext/abc/lib/x86/pthreadVC2.dll +0 -0
- data/ext/abc/lib/x86/pthreadVC2.lib +0 -0
- data/ext/abc/readme.md +0 -111
- data/ext/abc/readmeaig +0 -47
- data/ext/abc/src/aig/aig/aig.h +0 -713
- data/ext/abc/src/aig/aig/aigCanon.c +0 -701
- data/ext/abc/src/aig/aig/aigCheck.c +0 -168
- data/ext/abc/src/aig/aig/aigCuts.c +0 -673
- data/ext/abc/src/aig/aig/aigDfs.c +0 -1136
- data/ext/abc/src/aig/aig/aigDoms.c +0 -1154
- data/ext/abc/src/aig/aig/aigDup.c +0 -1335
- data/ext/abc/src/aig/aig/aigFact.c +0 -734
- data/ext/abc/src/aig/aig/aigFanout.c +0 -194
- data/ext/abc/src/aig/aig/aigFrames.c +0 -140
- data/ext/abc/src/aig/aig/aigInter.c +0 -301
- data/ext/abc/src/aig/aig/aigJust.c +0 -316
- data/ext/abc/src/aig/aig/aigMan.c +0 -486
- data/ext/abc/src/aig/aig/aigMem.c +0 -610
- data/ext/abc/src/aig/aig/aigMffc.c +0 -316
- data/ext/abc/src/aig/aig/aigObj.c +0 -536
- data/ext/abc/src/aig/aig/aigOper.c +0 -606
- data/ext/abc/src/aig/aig/aigOrder.c +0 -176
- data/ext/abc/src/aig/aig/aigPack.c +0 -404
- data/ext/abc/src/aig/aig/aigPart.c +0 -1613
- data/ext/abc/src/aig/aig/aigPartReg.c +0 -629
- data/ext/abc/src/aig/aig/aigPartSat.c +0 -618
- data/ext/abc/src/aig/aig/aigRepar.c +0 -403
- data/ext/abc/src/aig/aig/aigRepr.c +0 -559
- data/ext/abc/src/aig/aig/aigRet.c +0 -975
- data/ext/abc/src/aig/aig/aigRetF.c +0 -214
- data/ext/abc/src/aig/aig/aigScl.c +0 -708
- data/ext/abc/src/aig/aig/aigShow.c +0 -368
- data/ext/abc/src/aig/aig/aigSplit.c +0 -330
- data/ext/abc/src/aig/aig/aigTable.c +0 -277
- data/ext/abc/src/aig/aig/aigTest.c +0 -39
- data/ext/abc/src/aig/aig/aigTiming.c +0 -356
- data/ext/abc/src/aig/aig/aigTruth.c +0 -103
- data/ext/abc/src/aig/aig/aigTsim.c +0 -526
- data/ext/abc/src/aig/aig/aigUtil.c +0 -1575
- data/ext/abc/src/aig/aig/aigWin.c +0 -189
- data/ext/abc/src/aig/aig/aig_.c +0 -53
- data/ext/abc/src/aig/aig/module.make +0 -31
- data/ext/abc/src/aig/gia/gia.c +0 -52
- data/ext/abc/src/aig/gia/gia.h +0 -1667
- data/ext/abc/src/aig/gia/giaAgi.c +0 -238
- data/ext/abc/src/aig/gia/giaAig.c +0 -676
- data/ext/abc/src/aig/gia/giaAig.h +0 -78
- data/ext/abc/src/aig/gia/giaAiger.c +0 -1479
- data/ext/abc/src/aig/gia/giaAigerExt.c +0 -326
- data/ext/abc/src/aig/gia/giaBalAig.c +0 -1095
- data/ext/abc/src/aig/gia/giaBalLut.c +0 -982
- data/ext/abc/src/aig/gia/giaBalMap.c +0 -326
- data/ext/abc/src/aig/gia/giaBidec.c +0 -305
- data/ext/abc/src/aig/gia/giaCCof.c +0 -349
- data/ext/abc/src/aig/gia/giaCSat.c +0 -1105
- data/ext/abc/src/aig/gia/giaCSatOld.c +0 -804
- data/ext/abc/src/aig/gia/giaCTas.c +0 -1790
- data/ext/abc/src/aig/gia/giaCTas2.c +0 -208
- data/ext/abc/src/aig/gia/giaCex.c +0 -392
- data/ext/abc/src/aig/gia/giaClp.c +0 -422
- data/ext/abc/src/aig/gia/giaCof.c +0 -1002
- data/ext/abc/src/aig/gia/giaCone.c +0 -590
- data/ext/abc/src/aig/gia/giaConstr.c +0 -52
- data/ext/abc/src/aig/gia/giaCut.c +0 -646
- data/ext/abc/src/aig/gia/giaDfs.c +0 -582
- data/ext/abc/src/aig/gia/giaDup.c +0 -4791
- data/ext/abc/src/aig/gia/giaEdge.c +0 -1000
- data/ext/abc/src/aig/gia/giaEmbed.c +0 -1876
- data/ext/abc/src/aig/gia/giaEnable.c +0 -650
- data/ext/abc/src/aig/gia/giaEquiv.c +0 -2416
- data/ext/abc/src/aig/gia/giaEra.c +0 -602
- data/ext/abc/src/aig/gia/giaEra2.c +0 -1963
- data/ext/abc/src/aig/gia/giaEsop.c +0 -541
- data/ext/abc/src/aig/gia/giaFalse.c +0 -552
- data/ext/abc/src/aig/gia/giaFanout.c +0 -338
- data/ext/abc/src/aig/gia/giaForce.c +0 -1106
- data/ext/abc/src/aig/gia/giaFrames.c +0 -996
- data/ext/abc/src/aig/gia/giaFront.c +0 -295
- data/ext/abc/src/aig/gia/giaFx.c +0 -487
- data/ext/abc/src/aig/gia/giaGiarf.c +0 -1079
- data/ext/abc/src/aig/gia/giaGig.c +0 -506
- data/ext/abc/src/aig/gia/giaGlitch.c +0 -786
- data/ext/abc/src/aig/gia/giaHash.c +0 -816
- data/ext/abc/src/aig/gia/giaHcd.c +0 -689
- data/ext/abc/src/aig/gia/giaIf.c +0 -2536
- data/ext/abc/src/aig/gia/giaIff.c +0 -444
- data/ext/abc/src/aig/gia/giaIiff.c +0 -62
- data/ext/abc/src/aig/gia/giaIiff.h +0 -54
- data/ext/abc/src/aig/gia/giaIso.c +0 -1331
- data/ext/abc/src/aig/gia/giaIso2.c +0 -776
- data/ext/abc/src/aig/gia/giaIso3.c +0 -167
- data/ext/abc/src/aig/gia/giaJf.c +0 -1805
- data/ext/abc/src/aig/gia/giaKf.c +0 -1341
- data/ext/abc/src/aig/gia/giaLf.c +0 -2301
- data/ext/abc/src/aig/gia/giaMan.c +0 -1126
- data/ext/abc/src/aig/gia/giaMem.c +0 -598
- data/ext/abc/src/aig/gia/giaMf.c +0 -1741
- data/ext/abc/src/aig/gia/giaMffc.c +0 -313
- data/ext/abc/src/aig/gia/giaMfs.c +0 -477
- data/ext/abc/src/aig/gia/giaMini.c +0 -574
- data/ext/abc/src/aig/gia/giaMuxes.c +0 -915
- data/ext/abc/src/aig/gia/giaNf.c +0 -2420
- data/ext/abc/src/aig/gia/giaOf.c +0 -1866
- data/ext/abc/src/aig/gia/giaPack.c +0 -207
- data/ext/abc/src/aig/gia/giaPat.c +0 -135
- data/ext/abc/src/aig/gia/giaPf.c +0 -1354
- data/ext/abc/src/aig/gia/giaProp.c +0 -176
- data/ext/abc/src/aig/gia/giaQbf.c +0 -701
- data/ext/abc/src/aig/gia/giaResub.c +0 -292
- data/ext/abc/src/aig/gia/giaRetime.c +0 -304
- data/ext/abc/src/aig/gia/giaRex.c +0 -545
- data/ext/abc/src/aig/gia/giaSat.c +0 -427
- data/ext/abc/src/aig/gia/giaSat3.c +0 -136
- data/ext/abc/src/aig/gia/giaSatEdge.c +0 -537
- data/ext/abc/src/aig/gia/giaSatLE.c +0 -1083
- data/ext/abc/src/aig/gia/giaSatLut.c +0 -1225
- data/ext/abc/src/aig/gia/giaSatMap.c +0 -554
- data/ext/abc/src/aig/gia/giaSatoko.c +0 -274
- data/ext/abc/src/aig/gia/giaScl.c +0 -300
- data/ext/abc/src/aig/gia/giaScript.c +0 -783
- data/ext/abc/src/aig/gia/giaShow.c +0 -1164
- data/ext/abc/src/aig/gia/giaShrink.c +0 -154
- data/ext/abc/src/aig/gia/giaShrink6.c +0 -492
- data/ext/abc/src/aig/gia/giaShrink7.c +0 -373
- data/ext/abc/src/aig/gia/giaSim.c +0 -905
- data/ext/abc/src/aig/gia/giaSim2.c +0 -706
- data/ext/abc/src/aig/gia/giaSort.c +0 -273
- data/ext/abc/src/aig/gia/giaSpeedup.c +0 -805
- data/ext/abc/src/aig/gia/giaSplit.c +0 -578
- data/ext/abc/src/aig/gia/giaStg.c +0 -528
- data/ext/abc/src/aig/gia/giaStr.c +0 -1865
- data/ext/abc/src/aig/gia/giaSupMin.c +0 -165
- data/ext/abc/src/aig/gia/giaSupp.c +0 -886
- data/ext/abc/src/aig/gia/giaSweep.c +0 -777
- data/ext/abc/src/aig/gia/giaSweeper.c +0 -1185
- data/ext/abc/src/aig/gia/giaSwitch.c +0 -829
- data/ext/abc/src/aig/gia/giaTim.c +0 -1017
- data/ext/abc/src/aig/gia/giaTis.c +0 -213
- data/ext/abc/src/aig/gia/giaTruth.c +0 -639
- data/ext/abc/src/aig/gia/giaTsim.c +0 -757
- data/ext/abc/src/aig/gia/giaUnate.c +0 -255
- data/ext/abc/src/aig/gia/giaUtil.c +0 -2136
- data/ext/abc/src/aig/gia/module.make +0 -89
- data/ext/abc/src/aig/hop/cudd2.c +0 -360
- data/ext/abc/src/aig/hop/cudd2.h +0 -86
- data/ext/abc/src/aig/hop/hop.h +0 -356
- data/ext/abc/src/aig/hop/hopBalance.c +0 -401
- data/ext/abc/src/aig/hop/hopCheck.c +0 -115
- data/ext/abc/src/aig/hop/hopDfs.c +0 -591
- data/ext/abc/src/aig/hop/hopMan.c +0 -169
- data/ext/abc/src/aig/hop/hopMem.c +0 -120
- data/ext/abc/src/aig/hop/hopObj.c +0 -277
- data/ext/abc/src/aig/hop/hopOper.c +0 -378
- data/ext/abc/src/aig/hop/hopTable.c +0 -232
- data/ext/abc/src/aig/hop/hopTruth.c +0 -274
- data/ext/abc/src/aig/hop/hopUtil.c +0 -578
- data/ext/abc/src/aig/hop/hop_.c +0 -53
- data/ext/abc/src/aig/hop/module.make +0 -10
- data/ext/abc/src/aig/ioa/ioa.h +0 -87
- data/ext/abc/src/aig/ioa/ioaReadAig.c +0 -465
- data/ext/abc/src/aig/ioa/ioaUtil.c +0 -146
- data/ext/abc/src/aig/ioa/ioaWriteAig.c +0 -599
- data/ext/abc/src/aig/ioa/module.make +0 -3
- data/ext/abc/src/aig/ivy/attr.h +0 -418
- data/ext/abc/src/aig/ivy/ivy.h +0 -562
- data/ext/abc/src/aig/ivy/ivyBalance.c +0 -414
- data/ext/abc/src/aig/ivy/ivyCanon.c +0 -149
- data/ext/abc/src/aig/ivy/ivyCheck.c +0 -278
- data/ext/abc/src/aig/ivy/ivyCut.c +0 -995
- data/ext/abc/src/aig/ivy/ivyCutTrav.c +0 -478
- data/ext/abc/src/aig/ivy/ivyDfs.c +0 -498
- data/ext/abc/src/aig/ivy/ivyDsd.c +0 -831
- data/ext/abc/src/aig/ivy/ivyFanout.c +0 -314
- data/ext/abc/src/aig/ivy/ivyFastMap.c +0 -1569
- data/ext/abc/src/aig/ivy/ivyFraig.c +0 -2972
- data/ext/abc/src/aig/ivy/ivyHaig.c +0 -535
- data/ext/abc/src/aig/ivy/ivyMan.c +0 -552
- data/ext/abc/src/aig/ivy/ivyMem.c +0 -121
- data/ext/abc/src/aig/ivy/ivyMulti.c +0 -312
- data/ext/abc/src/aig/ivy/ivyMulti8.c +0 -432
- data/ext/abc/src/aig/ivy/ivyObj.c +0 -481
- data/ext/abc/src/aig/ivy/ivyOper.c +0 -298
- data/ext/abc/src/aig/ivy/ivyResyn.c +0 -201
- data/ext/abc/src/aig/ivy/ivyRwr.c +0 -618
- data/ext/abc/src/aig/ivy/ivyRwrAlg.c +0 -413
- data/ext/abc/src/aig/ivy/ivySeq.c +0 -1142
- data/ext/abc/src/aig/ivy/ivyShow.c +0 -343
- data/ext/abc/src/aig/ivy/ivyTable.c +0 -272
- data/ext/abc/src/aig/ivy/ivyUtil.c +0 -824
- data/ext/abc/src/aig/ivy/ivy_.c +0 -53
- data/ext/abc/src/aig/ivy/module.make +0 -22
- data/ext/abc/src/aig/miniaig/abcOper.h +0 -249
- data/ext/abc/src/aig/miniaig/miniaig.h +0 -346
- data/ext/abc/src/aig/miniaig/minilut.h +0 -288
- data/ext/abc/src/aig/miniaig/module.make +0 -1
- data/ext/abc/src/aig/miniaig/ndr.h +0 -521
- data/ext/abc/src/aig/saig/module.make +0 -26
- data/ext/abc/src/aig/saig/saig.h +0 -200
- data/ext/abc/src/aig/saig/saigCone.c +0 -181
- data/ext/abc/src/aig/saig/saigConstr.c +0 -484
- data/ext/abc/src/aig/saig/saigConstr2.c +0 -1013
- data/ext/abc/src/aig/saig/saigDual.c +0 -240
- data/ext/abc/src/aig/saig/saigDup.c +0 -600
- data/ext/abc/src/aig/saig/saigGlaCba.c +0 -840
- data/ext/abc/src/aig/saig/saigGlaPba.c +0 -589
- data/ext/abc/src/aig/saig/saigGlaPba2.c +0 -558
- data/ext/abc/src/aig/saig/saigInd.c +0 -409
- data/ext/abc/src/aig/saig/saigIoa.c +0 -405
- data/ext/abc/src/aig/saig/saigIso.c +0 -628
- data/ext/abc/src/aig/saig/saigIsoFast.c +0 -353
- data/ext/abc/src/aig/saig/saigIsoSlow.c +0 -1224
- data/ext/abc/src/aig/saig/saigMiter.c +0 -1317
- data/ext/abc/src/aig/saig/saigOutDec.c +0 -205
- data/ext/abc/src/aig/saig/saigPhase.c +0 -1081
- data/ext/abc/src/aig/saig/saigRefSat.c +0 -986
- data/ext/abc/src/aig/saig/saigRetFwd.c +0 -248
- data/ext/abc/src/aig/saig/saigRetMin.c +0 -705
- data/ext/abc/src/aig/saig/saigRetStep.c +0 -236
- data/ext/abc/src/aig/saig/saigScl.c +0 -115
- data/ext/abc/src/aig/saig/saigSimFast.c +0 -451
- data/ext/abc/src/aig/saig/saigSimMv.c +0 -956
- data/ext/abc/src/aig/saig/saigSimSeq.c +0 -518
- data/ext/abc/src/aig/saig/saigStrSim.c +0 -976
- data/ext/abc/src/aig/saig/saigSwitch.c +0 -573
- data/ext/abc/src/aig/saig/saigSynch.c +0 -665
- data/ext/abc/src/aig/saig/saigTempor.c +0 -256
- data/ext/abc/src/aig/saig/saigTrans.c +0 -428
- data/ext/abc/src/aig/saig/saigUnfold2.c +0 -497
- data/ext/abc/src/aig/saig/saigWnd.c +0 -816
- data/ext/abc/src/aig/saig/saig_.c +0 -52
- data/ext/abc/src/base/abc/abc.h +0 -1064
- data/ext/abc/src/base/abc/abcAig.c +0 -1505
- data/ext/abc/src/base/abc/abcBarBuf.c +0 -513
- data/ext/abc/src/base/abc/abcBlifMv.c +0 -1167
- data/ext/abc/src/base/abc/abcCheck.c +0 -953
- data/ext/abc/src/base/abc/abcDfs.c +0 -1910
- data/ext/abc/src/base/abc/abcFanOrder.c +0 -652
- data/ext/abc/src/base/abc/abcFanio.c +0 -366
- data/ext/abc/src/base/abc/abcFunc.c +0 -1273
- data/ext/abc/src/base/abc/abcHie.c +0 -843
- data/ext/abc/src/base/abc/abcHieCec.c +0 -764
- data/ext/abc/src/base/abc/abcHieGia.c +0 -582
- data/ext/abc/src/base/abc/abcHieNew.c +0 -1635
- data/ext/abc/src/base/abc/abcInt.h +0 -60
- data/ext/abc/src/base/abc/abcLatch.c +0 -778
- data/ext/abc/src/base/abc/abcLib.c +0 -400
- data/ext/abc/src/base/abc/abcMinBase.c +0 -841
- data/ext/abc/src/base/abc/abcNames.c +0 -802
- data/ext/abc/src/base/abc/abcNetlist.c +0 -511
- data/ext/abc/src/base/abc/abcNtk.c +0 -2298
- data/ext/abc/src/base/abc/abcObj.c +0 -1075
- data/ext/abc/src/base/abc/abcRefs.c +0 -457
- data/ext/abc/src/base/abc/abcShow.c +0 -458
- data/ext/abc/src/base/abc/abcSop.c +0 -1356
- data/ext/abc/src/base/abc/abcUtil.c +0 -3269
- data/ext/abc/src/base/abc/abc_.c +0 -52
- data/ext/abc/src/base/abc/module.make +0 -23
- data/ext/abc/src/base/abci/abc.c +0 -44490
- data/ext/abc/src/base/abci/abcAttach.c +0 -409
- data/ext/abc/src/base/abci/abcAuto.c +0 -256
- data/ext/abc/src/base/abci/abcBalance.c +0 -629
- data/ext/abc/src/base/abci/abcBidec.c +0 -156
- data/ext/abc/src/base/abci/abcBm.c +0 -2050
- data/ext/abc/src/base/abci/abcBmc.c +0 -122
- data/ext/abc/src/base/abci/abcCas.c +0 -128
- data/ext/abc/src/base/abci/abcCascade.c +0 -1062
- data/ext/abc/src/base/abci/abcCollapse.c +0 -957
- data/ext/abc/src/base/abci/abcCut.c +0 -700
- data/ext/abc/src/base/abci/abcDar.c +0 -4807
- data/ext/abc/src/base/abci/abcDarUnfold2.c +0 -69
- data/ext/abc/src/base/abci/abcDebug.c +0 -213
- data/ext/abc/src/base/abci/abcDec.c +0 -666
- data/ext/abc/src/base/abci/abcDetect.c +0 -1264
- data/ext/abc/src/base/abci/abcDress.c +0 -214
- data/ext/abc/src/base/abci/abcDress2.c +0 -500
- data/ext/abc/src/base/abci/abcDress3.c +0 -320
- data/ext/abc/src/base/abci/abcDsd.c +0 -710
- data/ext/abc/src/base/abci/abcEco.c +0 -58
- data/ext/abc/src/base/abci/abcEspresso.c +0 -255
- data/ext/abc/src/base/abci/abcExact.c +0 -3024
- data/ext/abc/src/base/abci/abcExtract.c +0 -752
- data/ext/abc/src/base/abci/abcFlop.c +0 -40
- data/ext/abc/src/base/abci/abcFpga.c +0 -288
- data/ext/abc/src/base/abci/abcFpgaFast.c +0 -195
- data/ext/abc/src/base/abci/abcFraig.c +0 -816
- data/ext/abc/src/base/abci/abcFx.c +0 -1207
- data/ext/abc/src/base/abci/abcFxu.c +0 -292
- data/ext/abc/src/base/abci/abcGen.c +0 -830
- data/ext/abc/src/base/abci/abcHaig.c +0 -557
- data/ext/abc/src/base/abci/abcIf.c +0 -830
- data/ext/abc/src/base/abci/abcIfMux.c +0 -422
- data/ext/abc/src/base/abci/abcIfif.c +0 -349
- data/ext/abc/src/base/abci/abcIvy.c +0 -1149
- data/ext/abc/src/base/abci/abcLog.c +0 -242
- data/ext/abc/src/base/abci/abcLut.c +0 -793
- data/ext/abc/src/base/abci/abcLutmin.c +0 -785
- data/ext/abc/src/base/abci/abcMap.c +0 -1064
- data/ext/abc/src/base/abci/abcMeasure.c +0 -483
- data/ext/abc/src/base/abci/abcMerge.c +0 -358
- data/ext/abc/src/base/abci/abcMffc.c +0 -1252
- data/ext/abc/src/base/abci/abcMfs.c +0 -469
- data/ext/abc/src/base/abci/abcMini.c +0 -237
- data/ext/abc/src/base/abci/abcMiter.c +0 -1196
- data/ext/abc/src/base/abci/abcMulti.c +0 -660
- data/ext/abc/src/base/abci/abcMv.c +0 -381
- data/ext/abc/src/base/abci/abcNpn.c +0 -392
- data/ext/abc/src/base/abci/abcNpnSave.c +0 -740
- data/ext/abc/src/base/abci/abcNtbdd.c +0 -619
- data/ext/abc/src/base/abci/abcOdc.c +0 -1132
- data/ext/abc/src/base/abci/abcOrder.c +0 -136
- data/ext/abc/src/base/abci/abcPart.c +0 -1206
- data/ext/abc/src/base/abci/abcPlace.c +0 -260
- data/ext/abc/src/base/abci/abcPrint.c +0 -2008
- data/ext/abc/src/base/abci/abcProve.c +0 -354
- data/ext/abc/src/base/abci/abcQbf.c +0 -319
- data/ext/abc/src/base/abci/abcQuant.c +0 -436
- data/ext/abc/src/base/abci/abcReach.c +0 -327
- data/ext/abc/src/base/abci/abcRec3.c +0 -1433
- data/ext/abc/src/base/abci/abcReconv.c +0 -776
- data/ext/abc/src/base/abci/abcRefactor.c +0 -418
- data/ext/abc/src/base/abci/abcRenode.c +0 -326
- data/ext/abc/src/base/abci/abcReorder.c +0 -117
- data/ext/abc/src/base/abci/abcRestruct.c +0 -1511
- data/ext/abc/src/base/abci/abcResub.c +0 -1957
- data/ext/abc/src/base/abci/abcRewrite.c +0 -420
- data/ext/abc/src/base/abci/abcRpo.c +0 -442
- data/ext/abc/src/base/abci/abcRr.c +0 -1005
- data/ext/abc/src/base/abci/abcSat.c +0 -1020
- data/ext/abc/src/base/abci/abcSaucy.c +0 -3346
- data/ext/abc/src/base/abci/abcScorr.c +0 -454
- data/ext/abc/src/base/abci/abcSense.c +0 -216
- data/ext/abc/src/base/abci/abcSpeedup.c +0 -965
- data/ext/abc/src/base/abci/abcStrash.c +0 -848
- data/ext/abc/src/base/abci/abcSweep.c +0 -1030
- data/ext/abc/src/base/abci/abcSymm.c +0 -246
- data/ext/abc/src/base/abci/abcTim.c +0 -637
- data/ext/abc/src/base/abci/abcTiming.c +0 -1398
- data/ext/abc/src/base/abci/abcUnate.c +0 -178
- data/ext/abc/src/base/abci/abcUnreach.c +0 -366
- data/ext/abc/src/base/abci/abcVerify.c +0 -1109
- data/ext/abc/src/base/abci/abcXsim.c +0 -231
- data/ext/abc/src/base/abci/abciUnfold2.c +0 -186
- data/ext/abc/src/base/abci/fahout_cut.c +0 -358
- data/ext/abc/src/base/abci/module.make +0 -75
- data/ext/abc/src/base/acb/acb.c +0 -52
- data/ext/abc/src/base/acb/acb.h +0 -1038
- data/ext/abc/src/base/acb/acbAbc.c +0 -302
- data/ext/abc/src/base/acb/acbAig.c +0 -52
- data/ext/abc/src/base/acb/acbCom.c +0 -735
- data/ext/abc/src/base/acb/acbFunc.c +0 -56
- data/ext/abc/src/base/acb/acbMfs.c +0 -1644
- data/ext/abc/src/base/acb/acbPar.h +0 -70
- data/ext/abc/src/base/acb/acbPush.c +0 -372
- data/ext/abc/src/base/acb/acbSets.c +0 -54
- data/ext/abc/src/base/acb/acbSets.h +0 -61
- data/ext/abc/src/base/acb/acbUtil.c +0 -479
- data/ext/abc/src/base/acb/module.make +0 -8
- data/ext/abc/src/base/bac/bac.c +0 -52
- data/ext/abc/src/base/bac/bac.h +0 -1017
- data/ext/abc/src/base/bac/bacBac.c +0 -298
- data/ext/abc/src/base/bac/bacBlast.c +0 -587
- data/ext/abc/src/base/bac/bacCom.c +0 -728
- data/ext/abc/src/base/bac/bacLib.c +0 -52
- data/ext/abc/src/base/bac/bacNtk.c +0 -603
- data/ext/abc/src/base/bac/bacOper.c +0 -365
- data/ext/abc/src/base/bac/bacPrs.h +0 -363
- data/ext/abc/src/base/bac/bacPrsBuild.c +0 -356
- data/ext/abc/src/base/bac/bacPrsTrans.c +0 -211
- data/ext/abc/src/base/bac/bacPtr.c +0 -470
- data/ext/abc/src/base/bac/bacPtrAbc.c +0 -486
- data/ext/abc/src/base/bac/bacReadBlif.c +0 -453
- data/ext/abc/src/base/bac/bacReadSmt.c +0 -42
- data/ext/abc/src/base/bac/bacReadVer.c +0 -875
- data/ext/abc/src/base/bac/bacWriteBlif.c +0 -236
- data/ext/abc/src/base/bac/bacWriteSmt.c +0 -52
- data/ext/abc/src/base/bac/bacWriteVer.c +0 -703
- data/ext/abc/src/base/bac/module.make +0 -15
- data/ext/abc/src/base/cba/cba.c +0 -52
- data/ext/abc/src/base/cba/cba.h +0 -1024
- data/ext/abc/src/base/cba/cbaBlast.c +0 -1069
- data/ext/abc/src/base/cba/cbaCba.c +0 -58
- data/ext/abc/src/base/cba/cbaCom.c +0 -731
- data/ext/abc/src/base/cba/cbaNtk.c +0 -1183
- data/ext/abc/src/base/cba/cbaPrs.h +0 -520
- data/ext/abc/src/base/cba/cbaReadBlif.c +0 -646
- data/ext/abc/src/base/cba/cbaReadVer.c +0 -2182
- data/ext/abc/src/base/cba/cbaTypes.h +0 -169
- data/ext/abc/src/base/cba/cbaWriteBlif.c +0 -218
- data/ext/abc/src/base/cba/cbaWriteVer.c +0 -1016
- data/ext/abc/src/base/cba/module.make +0 -8
- data/ext/abc/src/base/cmd/cmd.c +0 -2611
- data/ext/abc/src/base/cmd/cmd.h +0 -81
- data/ext/abc/src/base/cmd/cmdAlias.c +0 -126
- data/ext/abc/src/base/cmd/cmdApi.c +0 -127
- data/ext/abc/src/base/cmd/cmdAuto.c +0 -684
- data/ext/abc/src/base/cmd/cmdFlag.c +0 -110
- data/ext/abc/src/base/cmd/cmdHist.c +0 -180
- data/ext/abc/src/base/cmd/cmdInt.h +0 -92
- data/ext/abc/src/base/cmd/cmdLoad.c +0 -209
- data/ext/abc/src/base/cmd/cmdPlugin.c +0 -773
- data/ext/abc/src/base/cmd/cmdStarter.c +0 -259
- data/ext/abc/src/base/cmd/cmdUtils.c +0 -756
- data/ext/abc/src/base/cmd/module.make +0 -10
- data/ext/abc/src/base/exor/exor.c +0 -958
- data/ext/abc/src/base/exor/exor.h +0 -189
- data/ext/abc/src/base/exor/exorBits.c +0 -425
- data/ext/abc/src/base/exor/exorCubes.c +0 -190
- data/ext/abc/src/base/exor/exorLink.c +0 -749
- data/ext/abc/src/base/exor/exorList.c +0 -1156
- data/ext/abc/src/base/exor/exorUtil.c +0 -228
- data/ext/abc/src/base/exor/module.make +0 -6
- data/ext/abc/src/base/io/io.c +0 -3157
- data/ext/abc/src/base/io/ioAbc.h +0 -172
- data/ext/abc/src/base/io/ioInt.h +0 -57
- data/ext/abc/src/base/io/ioJson.c +0 -270
- data/ext/abc/src/base/io/ioReadAiger.c +0 -599
- data/ext/abc/src/base/io/ioReadBaf.c +0 -177
- data/ext/abc/src/base/io/ioReadBblif.c +0 -348
- data/ext/abc/src/base/io/ioReadBench.c +0 -391
- data/ext/abc/src/base/io/ioReadBlif.c +0 -1707
- data/ext/abc/src/base/io/ioReadBlifAig.c +0 -1019
- data/ext/abc/src/base/io/ioReadBlifMv.c +0 -2363
- data/ext/abc/src/base/io/ioReadDsd.c +0 -313
- data/ext/abc/src/base/io/ioReadEdif.c +0 -240
- data/ext/abc/src/base/io/ioReadEqn.c +0 -244
- data/ext/abc/src/base/io/ioReadPla.c +0 -600
- data/ext/abc/src/base/io/ioReadPlaMo.c +0 -813
- data/ext/abc/src/base/io/ioReadVerilog.c +0 -102
- data/ext/abc/src/base/io/ioUtil.c +0 -871
- data/ext/abc/src/base/io/ioWriteAiger.c +0 -956
- data/ext/abc/src/base/io/ioWriteBaf.c +0 -173
- data/ext/abc/src/base/io/ioWriteBblif.c +0 -116
- data/ext/abc/src/base/io/ioWriteBench.c +0 -340
- data/ext/abc/src/base/io/ioWriteBlif.c +0 -1410
- data/ext/abc/src/base/io/ioWriteBlifMv.c +0 -476
- data/ext/abc/src/base/io/ioWriteBook.c +0 -998
- data/ext/abc/src/base/io/ioWriteCnf.c +0 -120
- data/ext/abc/src/base/io/ioWriteDot.c +0 -854
- data/ext/abc/src/base/io/ioWriteEqn.c +0 -257
- data/ext/abc/src/base/io/ioWriteGml.c +0 -121
- data/ext/abc/src/base/io/ioWriteList.c +0 -293
- data/ext/abc/src/base/io/ioWritePla.c +0 -460
- data/ext/abc/src/base/io/ioWriteSmv.c +0 -265
- data/ext/abc/src/base/io/ioWriteVerilog.c +0 -662
- data/ext/abc/src/base/io/module.make +0 -31
- data/ext/abc/src/base/main/abcapis.h +0 -106
- data/ext/abc/src/base/main/abcapis_old.h +0 -84
- data/ext/abc/src/base/main/libSupport.c +0 -211
- data/ext/abc/src/base/main/main.c +0 -12
- data/ext/abc/src/base/main/main.h +0 -171
- data/ext/abc/src/base/main/mainFrame.c +0 -742
- data/ext/abc/src/base/main/mainInit.c +0 -168
- data/ext/abc/src/base/main/mainInt.h +0 -207
- data/ext/abc/src/base/main/mainLib.c +0 -93
- data/ext/abc/src/base/main/mainMC.c +0 -203
- data/ext/abc/src/base/main/mainReal.c +0 -386
- data/ext/abc/src/base/main/mainUtils.c +0 -294
- data/ext/abc/src/base/main/module.make +0 -7
- data/ext/abc/src/base/pla/module.make +0 -7
- data/ext/abc/src/base/pla/pla.c +0 -52
- data/ext/abc/src/base/pla/pla.h +0 -297
- data/ext/abc/src/base/pla/plaCom.c +0 -507
- data/ext/abc/src/base/pla/plaFxch.c +0 -854
- data/ext/abc/src/base/pla/plaHash.c +0 -347
- data/ext/abc/src/base/pla/plaMan.c +0 -300
- data/ext/abc/src/base/pla/plaMerge.c +0 -55
- data/ext/abc/src/base/pla/plaRead.c +0 -224
- data/ext/abc/src/base/pla/plaSimple.c +0 -339
- data/ext/abc/src/base/pla/plaWrite.c +0 -112
- data/ext/abc/src/base/test/module.make +0 -1
- data/ext/abc/src/base/test/test.c +0 -70
- data/ext/abc/src/base/ver/module.make +0 -4
- data/ext/abc/src/base/ver/ver.h +0 -122
- data/ext/abc/src/base/ver/verCore.c +0 -3037
- data/ext/abc/src/base/ver/verFormula.c +0 -479
- data/ext/abc/src/base/ver/verParse.c +0 -131
- data/ext/abc/src/base/ver/verStream.c +0 -450
- data/ext/abc/src/base/ver/verWords.c +0 -53
- data/ext/abc/src/base/ver/ver_.c +0 -53
- data/ext/abc/src/base/wlc/module.make +0 -17
- data/ext/abc/src/base/wlc/wlc.c +0 -274
- data/ext/abc/src/base/wlc/wlc.h +0 -392
- data/ext/abc/src/base/wlc/wlcAbc.c +0 -275
- data/ext/abc/src/base/wlc/wlcAbs.c +0 -1912
- data/ext/abc/src/base/wlc/wlcAbs2.c +0 -410
- data/ext/abc/src/base/wlc/wlcBlast.c +0 -1692
- data/ext/abc/src/base/wlc/wlcCom.c +0 -1559
- data/ext/abc/src/base/wlc/wlcGraft.c +0 -573
- data/ext/abc/src/base/wlc/wlcJson.c +0 -54
- data/ext/abc/src/base/wlc/wlcNtk.c +0 -1268
- data/ext/abc/src/base/wlc/wlcPth.c +0 -173
- data/ext/abc/src/base/wlc/wlcReadSmt.c +0 -1784
- data/ext/abc/src/base/wlc/wlcReadVer.c +0 -1308
- data/ext/abc/src/base/wlc/wlcShow.c +0 -337
- data/ext/abc/src/base/wlc/wlcSim.c +0 -251
- data/ext/abc/src/base/wlc/wlcStdin.c +0 -255
- data/ext/abc/src/base/wlc/wlcUif.c +0 -290
- data/ext/abc/src/base/wlc/wlcWin.c +0 -166
- data/ext/abc/src/base/wlc/wlcWriteVer.c +0 -450
- data/ext/abc/src/bdd/bbr/bbr.h +0 -93
- data/ext/abc/src/bdd/bbr/bbrCex.c +0 -172
- data/ext/abc/src/bdd/bbr/bbrImage.c +0 -1327
- data/ext/abc/src/bdd/bbr/bbrNtbdd.c +0 -218
- data/ext/abc/src/bdd/bbr/bbrReach.c +0 -615
- data/ext/abc/src/bdd/bbr/bbr_.c +0 -52
- data/ext/abc/src/bdd/bbr/module.make +0 -4
- data/ext/abc/src/bdd/cas/cas.h +0 -66
- data/ext/abc/src/bdd/cas/casCore.c +0 -1265
- data/ext/abc/src/bdd/cas/casDec.c +0 -512
- data/ext/abc/src/bdd/cas/module.make +0 -3
- data/ext/abc/src/bdd/cudd/Makefile +0 -124
- data/ext/abc/src/bdd/cudd/cuBdd.make +0 -41
- data/ext/abc/src/bdd/cudd/cudd.h +0 -1054
- data/ext/abc/src/bdd/cudd/cudd.make +0 -42
- data/ext/abc/src/bdd/cudd/cuddAPI.c +0 -4444
- data/ext/abc/src/bdd/cudd/cuddAddAbs.c +0 -588
- data/ext/abc/src/bdd/cudd/cuddAddApply.c +0 -949
- data/ext/abc/src/bdd/cudd/cuddAddFind.c +0 -316
- data/ext/abc/src/bdd/cudd/cuddAddInv.c +0 -209
- data/ext/abc/src/bdd/cudd/cuddAddIte.c +0 -647
- data/ext/abc/src/bdd/cudd/cuddAddNeg.c +0 -296
- data/ext/abc/src/bdd/cudd/cuddAddWalsh.c +0 -399
- data/ext/abc/src/bdd/cudd/cuddAndAbs.c +0 -384
- data/ext/abc/src/bdd/cudd/cuddAnneal.c +0 -822
- data/ext/abc/src/bdd/cudd/cuddApa.c +0 -979
- data/ext/abc/src/bdd/cudd/cuddApprox.c +0 -2213
- data/ext/abc/src/bdd/cudd/cuddBddAbs.c +0 -725
- data/ext/abc/src/bdd/cudd/cuddBddCorr.c +0 -515
- data/ext/abc/src/bdd/cudd/cuddBddIte.c +0 -1328
- data/ext/abc/src/bdd/cudd/cuddBridge.c +0 -1021
- data/ext/abc/src/bdd/cudd/cuddCache.c +0 -1100
- data/ext/abc/src/bdd/cudd/cuddCheck.c +0 -887
- data/ext/abc/src/bdd/cudd/cuddClip.c +0 -566
- data/ext/abc/src/bdd/cudd/cuddCof.c +0 -335
- data/ext/abc/src/bdd/cudd/cuddCompose.c +0 -1760
- data/ext/abc/src/bdd/cudd/cuddDecomp.c +0 -2185
- data/ext/abc/src/bdd/cudd/cuddEssent.c +0 -1475
- data/ext/abc/src/bdd/cudd/cuddExact.c +0 -1028
- data/ext/abc/src/bdd/cudd/cuddExport.c +0 -1384
- data/ext/abc/src/bdd/cudd/cuddGenCof.c +0 -2175
- data/ext/abc/src/bdd/cudd/cuddGenetic.c +0 -957
- data/ext/abc/src/bdd/cudd/cuddGroup.c +0 -2173
- data/ext/abc/src/bdd/cudd/cuddHarwell.c +0 -576
- data/ext/abc/src/bdd/cudd/cuddInit.c +0 -319
- data/ext/abc/src/bdd/cudd/cuddInt.h +0 -1232
- data/ext/abc/src/bdd/cudd/cuddInteract.c +0 -437
- data/ext/abc/src/bdd/cudd/cuddLCache.c +0 -1465
- data/ext/abc/src/bdd/cudd/cuddLevelQ.c +0 -569
- data/ext/abc/src/bdd/cudd/cuddLinear.c +0 -1373
- data/ext/abc/src/bdd/cudd/cuddLiteral.c +0 -272
- data/ext/abc/src/bdd/cudd/cuddMatMult.c +0 -715
- data/ext/abc/src/bdd/cudd/cuddPriority.c +0 -2035
- data/ext/abc/src/bdd/cudd/cuddRead.c +0 -525
- data/ext/abc/src/bdd/cudd/cuddRef.c +0 -816
- data/ext/abc/src/bdd/cudd/cuddReorder.c +0 -2143
- data/ext/abc/src/bdd/cudd/cuddSat.c +0 -1338
- data/ext/abc/src/bdd/cudd/cuddSign.c +0 -326
- data/ext/abc/src/bdd/cudd/cuddSolve.c +0 -374
- data/ext/abc/src/bdd/cudd/cuddSplit.c +0 -694
- data/ext/abc/src/bdd/cudd/cuddSubsetHB.c +0 -1337
- data/ext/abc/src/bdd/cudd/cuddSubsetSP.c +0 -1657
- data/ext/abc/src/bdd/cudd/cuddSymmetry.c +0 -1706
- data/ext/abc/src/bdd/cudd/cuddTable.c +0 -3179
- data/ext/abc/src/bdd/cudd/cuddUtil.c +0 -3929
- data/ext/abc/src/bdd/cudd/cuddWindow.c +0 -1031
- data/ext/abc/src/bdd/cudd/cuddZddCount.c +0 -357
- data/ext/abc/src/bdd/cudd/cuddZddFuncs.c +0 -1638
- data/ext/abc/src/bdd/cudd/cuddZddGroup.c +0 -1344
- data/ext/abc/src/bdd/cudd/cuddZddIsop.c +0 -919
- data/ext/abc/src/bdd/cudd/cuddZddLin.c +0 -975
- data/ext/abc/src/bdd/cudd/cuddZddMisc.c +0 -286
- data/ext/abc/src/bdd/cudd/cuddZddPort.c +0 -389
- data/ext/abc/src/bdd/cudd/cuddZddReord.c +0 -1668
- data/ext/abc/src/bdd/cudd/cuddZddSetop.c +0 -1166
- data/ext/abc/src/bdd/cudd/cuddZddSymm.c +0 -1707
- data/ext/abc/src/bdd/cudd/cuddZddUtil.c +0 -1071
- data/ext/abc/src/bdd/cudd/license +0 -32
- data/ext/abc/src/bdd/cudd/module.make +0 -61
- data/ext/abc/src/bdd/cudd/r7x8.1.mat +0 -53
- data/ext/abc/src/bdd/cudd/r7x8.1.out +0 -377
- data/ext/abc/src/bdd/cudd/testcudd.c +0 -1073
- data/ext/abc/src/bdd/dsd/dsd.h +0 -134
- data/ext/abc/src/bdd/dsd/dsdApi.c +0 -102
- data/ext/abc/src/bdd/dsd/dsdCheck.c +0 -319
- data/ext/abc/src/bdd/dsd/dsdInt.h +0 -99
- data/ext/abc/src/bdd/dsd/dsdLocal.c +0 -342
- data/ext/abc/src/bdd/dsd/dsdMan.c +0 -119
- data/ext/abc/src/bdd/dsd/dsdProc.c +0 -1613
- data/ext/abc/src/bdd/dsd/dsdTree.c +0 -1181
- data/ext/abc/src/bdd/dsd/module.make +0 -6
- data/ext/abc/src/bdd/epd/epd.c +0 -1347
- data/ext/abc/src/bdd/epd/epd.h +0 -196
- data/ext/abc/src/bdd/epd/module.make +0 -1
- data/ext/abc/src/bdd/extrab/extraBdd.h +0 -317
- data/ext/abc/src/bdd/extrab/extraBddAuto.c +0 -1563
- data/ext/abc/src/bdd/extrab/extraBddCas.c +0 -1235
- data/ext/abc/src/bdd/extrab/extraBddImage.c +0 -1162
- data/ext/abc/src/bdd/extrab/extraBddKmap.c +0 -876
- data/ext/abc/src/bdd/extrab/extraBddMisc.c +0 -2591
- data/ext/abc/src/bdd/extrab/extraBddSymm.c +0 -1474
- data/ext/abc/src/bdd/extrab/extraBddThresh.c +0 -693
- data/ext/abc/src/bdd/extrab/extraBddTime.c +0 -660
- data/ext/abc/src/bdd/extrab/extraBddUnate.c +0 -646
- data/ext/abc/src/bdd/extrab/module.make +0 -9
- data/ext/abc/src/bdd/llb/llb.c +0 -52
- data/ext/abc/src/bdd/llb/llb.h +0 -96
- data/ext/abc/src/bdd/llb/llb1Cluster.c +0 -356
- data/ext/abc/src/bdd/llb/llb1Constr.c +0 -313
- data/ext/abc/src/bdd/llb/llb1Core.c +0 -222
- data/ext/abc/src/bdd/llb/llb1Group.c +0 -474
- data/ext/abc/src/bdd/llb/llb1Hint.c +0 -226
- data/ext/abc/src/bdd/llb/llb1Man.c +0 -218
- data/ext/abc/src/bdd/llb/llb1Matrix.c +0 -430
- data/ext/abc/src/bdd/llb/llb1Pivot.c +0 -254
- data/ext/abc/src/bdd/llb/llb1Reach.c +0 -904
- data/ext/abc/src/bdd/llb/llb1Sched.c +0 -257
- data/ext/abc/src/bdd/llb/llb2Bad.c +0 -138
- data/ext/abc/src/bdd/llb/llb2Core.c +0 -777
- data/ext/abc/src/bdd/llb/llb2Driver.c +0 -222
- data/ext/abc/src/bdd/llb/llb2Dump.c +0 -104
- data/ext/abc/src/bdd/llb/llb2Flow.c +0 -1376
- data/ext/abc/src/bdd/llb/llb2Image.c +0 -482
- data/ext/abc/src/bdd/llb/llb3Image.c +0 -1095
- data/ext/abc/src/bdd/llb/llb3Nonlin.c +0 -872
- data/ext/abc/src/bdd/llb/llb4Cex.c +0 -320
- data/ext/abc/src/bdd/llb/llb4Cluster.c +0 -452
- data/ext/abc/src/bdd/llb/llb4Image.c +0 -863
- data/ext/abc/src/bdd/llb/llb4Map.c +0 -123
- data/ext/abc/src/bdd/llb/llb4Nonlin.c +0 -1185
- data/ext/abc/src/bdd/llb/llb4Sweep.c +0 -589
- data/ext/abc/src/bdd/llb/llbInt.h +0 -212
- data/ext/abc/src/bdd/llb/module.make +0 -22
- data/ext/abc/src/bdd/mtr/module.make +0 -2
- data/ext/abc/src/bdd/mtr/mtr.h +0 -187
- data/ext/abc/src/bdd/mtr/mtrBasic.c +0 -453
- data/ext/abc/src/bdd/mtr/mtrGroup.c +0 -734
- data/ext/abc/src/bdd/mtr/mtrInt.h +0 -94
- data/ext/abc/src/bdd/reo/module.make +0 -8
- data/ext/abc/src/bdd/reo/reo.h +0 -234
- data/ext/abc/src/bdd/reo/reoApi.c +0 -294
- data/ext/abc/src/bdd/reo/reoCore.c +0 -441
- data/ext/abc/src/bdd/reo/reoProfile.c +0 -370
- data/ext/abc/src/bdd/reo/reoShuffle.c +0 -230
- data/ext/abc/src/bdd/reo/reoSift.c +0 -346
- data/ext/abc/src/bdd/reo/reoSwap.c +0 -905
- data/ext/abc/src/bdd/reo/reoTest.c +0 -256
- data/ext/abc/src/bdd/reo/reoTransfer.c +0 -206
- data/ext/abc/src/bdd/reo/reoUnits.c +0 -190
- data/ext/abc/src/bool/bdc/bdc.h +0 -98
- data/ext/abc/src/bool/bdc/bdcCore.c +0 -374
- data/ext/abc/src/bool/bdc/bdcDec.c +0 -751
- data/ext/abc/src/bool/bdc/bdcInt.h +0 -165
- data/ext/abc/src/bool/bdc/bdcSpfd.c +0 -1184
- data/ext/abc/src/bool/bdc/bdcTable.c +0 -134
- data/ext/abc/src/bool/bdc/bdc_.c +0 -54
- data/ext/abc/src/bool/bdc/module.make +0 -5
- data/ext/abc/src/bool/dec/dec.h +0 -725
- data/ext/abc/src/bool/dec/decAbc.c +0 -358
- data/ext/abc/src/bool/dec/decFactor.c +0 -403
- data/ext/abc/src/bool/dec/decMan.c +0 -88
- data/ext/abc/src/bool/dec/decPrint.c +0 -289
- data/ext/abc/src/bool/dec/decUtil.c +0 -148
- data/ext/abc/src/bool/dec/module.make +0 -5
- data/ext/abc/src/bool/deco/deco.h +0 -714
- data/ext/abc/src/bool/deco/module.make +0 -1
- data/ext/abc/src/bool/kit/cloud.c +0 -993
- data/ext/abc/src/bool/kit/cloud.h +0 -254
- data/ext/abc/src/bool/kit/kit.h +0 -655
- data/ext/abc/src/bool/kit/kitAig.c +0 -126
- data/ext/abc/src/bool/kit/kitBdd.c +0 -243
- data/ext/abc/src/bool/kit/kitCloud.c +0 -378
- data/ext/abc/src/bool/kit/kitDec.c +0 -343
- data/ext/abc/src/bool/kit/kitDsd.c +0 -3285
- data/ext/abc/src/bool/kit/kitFactor.c +0 -344
- data/ext/abc/src/bool/kit/kitGraph.c +0 -402
- data/ext/abc/src/bool/kit/kitHop.c +0 -200
- data/ext/abc/src/bool/kit/kitIsop.c +0 -365
- data/ext/abc/src/bool/kit/kitPerm.c +0 -357
- data/ext/abc/src/bool/kit/kitPla.c +0 -535
- data/ext/abc/src/bool/kit/kitSop.c +0 -579
- data/ext/abc/src/bool/kit/kitTruth.c +0 -2224
- data/ext/abc/src/bool/kit/kit_.c +0 -53
- data/ext/abc/src/bool/kit/module.make +0 -11
- data/ext/abc/src/bool/lucky/lucky.c +0 -705
- data/ext/abc/src/bool/lucky/lucky.h +0 -44
- data/ext/abc/src/bool/lucky/luckyFast16.c +0 -872
- data/ext/abc/src/bool/lucky/luckyFast6.c +0 -285
- data/ext/abc/src/bool/lucky/luckyInt.h +0 -136
- data/ext/abc/src/bool/lucky/luckyRead.c +0 -333
- data/ext/abc/src/bool/lucky/luckySimple.c +0 -307
- data/ext/abc/src/bool/lucky/luckySwap.c +0 -402
- data/ext/abc/src/bool/lucky/luckySwapIJ.c +0 -102
- data/ext/abc/src/bool/lucky/module.make +0 -7
- data/ext/abc/src/bool/rpo/literal.h +0 -297
- data/ext/abc/src/bool/rpo/module.make +0 -1
- data/ext/abc/src/bool/rpo/rpo.c +0 -383
- data/ext/abc/src/bool/rpo/rpo.h +0 -61
- data/ext/abc/src/bool/rsb/module.make +0 -2
- data/ext/abc/src/bool/rsb/rsb.h +0 -65
- data/ext/abc/src/bool/rsb/rsbDec6.c +0 -770
- data/ext/abc/src/bool/rsb/rsbInt.h +0 -84
- data/ext/abc/src/bool/rsb/rsbMan.c +0 -99
- data/ext/abc/src/demo.c +0 -181
- data/ext/abc/src/generic.c +0 -52
- data/ext/abc/src/generic.h +0 -63
- data/ext/abc/src/map/amap/amap.h +0 -97
- data/ext/abc/src/map/amap/amapCore.c +0 -110
- data/ext/abc/src/map/amap/amapGraph.c +0 -399
- data/ext/abc/src/map/amap/amapInt.h +0 -376
- data/ext/abc/src/map/amap/amapLib.c +0 -374
- data/ext/abc/src/map/amap/amapLiberty.c +0 -1103
- data/ext/abc/src/map/amap/amapMan.c +0 -104
- data/ext/abc/src/map/amap/amapMatch.c +0 -622
- data/ext/abc/src/map/amap/amapMerge.c +0 -541
- data/ext/abc/src/map/amap/amapOutput.c +0 -186
- data/ext/abc/src/map/amap/amapParse.c +0 -480
- data/ext/abc/src/map/amap/amapPerm.c +0 -380
- data/ext/abc/src/map/amap/amapRead.c +0 -494
- data/ext/abc/src/map/amap/amapRule.c +0 -462
- data/ext/abc/src/map/amap/amapUniq.c +0 -317
- data/ext/abc/src/map/amap/module.make +0 -13
- data/ext/abc/src/map/cov/cov.h +0 -109
- data/ext/abc/src/map/cov/covBuild.c +0 -544
- data/ext/abc/src/map/cov/covCore.c +0 -1030
- data/ext/abc/src/map/cov/covInt.h +0 -654
- data/ext/abc/src/map/cov/covMan.c +0 -149
- data/ext/abc/src/map/cov/covMinEsop.c +0 -304
- data/ext/abc/src/map/cov/covMinMan.c +0 -118
- data/ext/abc/src/map/cov/covMinSop.c +0 -620
- data/ext/abc/src/map/cov/covMinUtil.c +0 -343
- data/ext/abc/src/map/cov/covTest.c +0 -422
- data/ext/abc/src/map/cov/module.make +0 -7
- data/ext/abc/src/map/fpga/fpga.c +0 -288
- data/ext/abc/src/map/fpga/fpga.h +0 -175
- data/ext/abc/src/map/fpga/fpgaCore.c +0 -194
- data/ext/abc/src/map/fpga/fpgaCreate.c +0 -584
- data/ext/abc/src/map/fpga/fpgaCut.c +0 -1186
- data/ext/abc/src/map/fpga/fpgaCutUtils.c +0 -476
- data/ext/abc/src/map/fpga/fpgaFanout.c +0 -146
- data/ext/abc/src/map/fpga/fpgaGENERIC.c +0 -51
- data/ext/abc/src/map/fpga/fpgaInt.h +0 -389
- data/ext/abc/src/map/fpga/fpgaLib.c +0 -255
- data/ext/abc/src/map/fpga/fpgaMatch.c +0 -800
- data/ext/abc/src/map/fpga/fpgaSwitch.c +0 -156
- data/ext/abc/src/map/fpga/fpgaTime.c +0 -267
- data/ext/abc/src/map/fpga/fpgaTruth.c +0 -171
- data/ext/abc/src/map/fpga/fpgaUtils.c +0 -990
- data/ext/abc/src/map/fpga/fpgaVec.c +0 -413
- data/ext/abc/src/map/fpga/module.make +0 -13
- data/ext/abc/src/map/if/if.h +0 -689
- data/ext/abc/src/map/if/ifCache.c +0 -100
- data/ext/abc/src/map/if/ifCheck.c +0 -204
- data/ext/abc/src/map/if/ifCom.c +0 -372
- data/ext/abc/src/map/if/ifCore.c +0 -200
- data/ext/abc/src/map/if/ifCount.h +0 -521
- data/ext/abc/src/map/if/ifCut.c +0 -1479
- data/ext/abc/src/map/if/ifData2.c +0 -52
- data/ext/abc/src/map/if/ifDec07.c +0 -1125
- data/ext/abc/src/map/if/ifDec08.c +0 -507
- data/ext/abc/src/map/if/ifDec10.c +0 -506
- data/ext/abc/src/map/if/ifDec16.c +0 -2374
- data/ext/abc/src/map/if/ifDec75.c +0 -341
- data/ext/abc/src/map/if/ifDelay.c +0 -447
- data/ext/abc/src/map/if/ifDsd.c +0 -2838
- data/ext/abc/src/map/if/ifLibBox.c +0 -401
- data/ext/abc/src/map/if/ifLibLut.c +0 -505
- data/ext/abc/src/map/if/ifMan.c +0 -720
- data/ext/abc/src/map/if/ifMap.c +0 -680
- data/ext/abc/src/map/if/ifMatch2.c +0 -62
- data/ext/abc/src/map/if/ifReduce.c +0 -466
- data/ext/abc/src/map/if/ifSat.c +0 -548
- data/ext/abc/src/map/if/ifSelect.c +0 -601
- data/ext/abc/src/map/if/ifSeq.c +0 -397
- data/ext/abc/src/map/if/ifTest.c +0 -352
- data/ext/abc/src/map/if/ifTime.c +0 -525
- data/ext/abc/src/map/if/ifTruth.c +0 -339
- data/ext/abc/src/map/if/ifTune.c +0 -1452
- data/ext/abc/src/map/if/ifUtil.c +0 -632
- data/ext/abc/src/map/if/if_.c +0 -52
- data/ext/abc/src/map/if/module.make +0 -26
- data/ext/abc/src/map/mapper/mapper.c +0 -185
- data/ext/abc/src/map/mapper/mapper.h +0 -201
- data/ext/abc/src/map/mapper/mapperCanon.c +0 -277
- data/ext/abc/src/map/mapper/mapperCore.c +0 -231
- data/ext/abc/src/map/mapper/mapperCreate.c +0 -587
- data/ext/abc/src/map/mapper/mapperCut.c +0 -1178
- data/ext/abc/src/map/mapper/mapperCutUtils.c +0 -279
- data/ext/abc/src/map/mapper/mapperFanout.c +0 -146
- data/ext/abc/src/map/mapper/mapperInt.h +0 -469
- data/ext/abc/src/map/mapper/mapperLib.c +0 -258
- data/ext/abc/src/map/mapper/mapperMatch.c +0 -664
- data/ext/abc/src/map/mapper/mapperRefs.c +0 -540
- data/ext/abc/src/map/mapper/mapperSuper.c +0 -456
- data/ext/abc/src/map/mapper/mapperSwitch.c +0 -229
- data/ext/abc/src/map/mapper/mapperTable.c +0 -407
- data/ext/abc/src/map/mapper/mapperTime.c +0 -459
- data/ext/abc/src/map/mapper/mapperTree.c +0 -1042
- data/ext/abc/src/map/mapper/mapperTruth.c +0 -315
- data/ext/abc/src/map/mapper/mapperUtils.c +0 -898
- data/ext/abc/src/map/mapper/mapperVec.c +0 -344
- data/ext/abc/src/map/mapper/module.make +0 -17
- data/ext/abc/src/map/mio/exp.h +0 -343
- data/ext/abc/src/map/mio/mio.c +0 -728
- data/ext/abc/src/map/mio/mio.h +0 -242
- data/ext/abc/src/map/mio/mioApi.c +0 -254
- data/ext/abc/src/map/mio/mioForm.c +0 -307
- data/ext/abc/src/map/mio/mioFunc.c +0 -327
- data/ext/abc/src/map/mio/mioInt.h +0 -160
- data/ext/abc/src/map/mio/mioParse.c +0 -504
- data/ext/abc/src/map/mio/mioRead.c +0 -780
- data/ext/abc/src/map/mio/mioSop.c +0 -333
- data/ext/abc/src/map/mio/mioUtils.c +0 -1752
- data/ext/abc/src/map/mio/module.make +0 -7
- data/ext/abc/src/map/mpm/module.make +0 -11
- data/ext/abc/src/map/mpm/mpm.c +0 -55
- data/ext/abc/src/map/mpm/mpm.h +0 -98
- data/ext/abc/src/map/mpm/mpmAbc.c +0 -350
- data/ext/abc/src/map/mpm/mpmCore.c +0 -115
- data/ext/abc/src/map/mpm/mpmDsd.c +0 -1055
- data/ext/abc/src/map/mpm/mpmGates.c +0 -307
- data/ext/abc/src/map/mpm/mpmInt.h +0 -265
- data/ext/abc/src/map/mpm/mpmLib.c +0 -74
- data/ext/abc/src/map/mpm/mpmMan.c +0 -207
- data/ext/abc/src/map/mpm/mpmMap.c +0 -872
- data/ext/abc/src/map/mpm/mpmMig.c +0 -204
- data/ext/abc/src/map/mpm/mpmMig.h +0 -358
- data/ext/abc/src/map/mpm/mpmPre.c +0 -1029
- data/ext/abc/src/map/mpm/mpmTruth.c +0 -239
- data/ext/abc/src/map/mpm/mpmUtil.c +0 -52
- data/ext/abc/src/map/scl/module.make +0 -11
- data/ext/abc/src/map/scl/scl.c +0 -2042
- data/ext/abc/src/map/scl/scl.h +0 -58
- data/ext/abc/src/map/scl/sclBufSize.c +0 -518
- data/ext/abc/src/map/scl/sclBuffer.c +0 -1010
- data/ext/abc/src/map/scl/sclCon.h +0 -293
- data/ext/abc/src/map/scl/sclDnsize.c +0 -378
- data/ext/abc/src/map/scl/sclLib.h +0 -770
- data/ext/abc/src/map/scl/sclLibScl.c +0 -848
- data/ext/abc/src/map/scl/sclLibUtil.c +0 -1078
- data/ext/abc/src/map/scl/sclLiberty.c +0 -1697
- data/ext/abc/src/map/scl/sclLoad.c +0 -238
- data/ext/abc/src/map/scl/sclSize.c +0 -915
- data/ext/abc/src/map/scl/sclSize.h +0 -594
- data/ext/abc/src/map/scl/sclTime.h +0 -234
- data/ext/abc/src/map/scl/sclUpsize.c +0 -1045
- data/ext/abc/src/map/scl/sclUtil.c +0 -320
- data/ext/abc/src/map/super/module.make +0 -3
- data/ext/abc/src/map/super/super.c +0 -333
- data/ext/abc/src/map/super/super.h +0 -62
- data/ext/abc/src/map/super/superAnd.c +0 -701
- data/ext/abc/src/map/super/superGENERIC.c +0 -51
- data/ext/abc/src/map/super/superGate.c +0 -1473
- data/ext/abc/src/map/super/superInt.h +0 -64
- data/ext/abc/src/map/super/superWrite.c +0 -81
- data/ext/abc/src/misc/avl/avl.c +0 -621
- data/ext/abc/src/misc/avl/avl.doc +0 -166
- data/ext/abc/src/misc/avl/avl.h +0 -91
- data/ext/abc/src/misc/bar/bar.c +0 -193
- data/ext/abc/src/misc/bar/bar.h +0 -78
- data/ext/abc/src/misc/bar/module.make +0 -1
- data/ext/abc/src/misc/bbl/bblif.c +0 -1518
- data/ext/abc/src/misc/bbl/bblif.h +0 -285
- data/ext/abc/src/misc/bbl/module.make +0 -1
- data/ext/abc/src/misc/bzlib/CHANGES +0 -319
- data/ext/abc/src/misc/bzlib/LICENSE +0 -42
- data/ext/abc/src/misc/bzlib/blocksort.c +0 -1098
- data/ext/abc/src/misc/bzlib/bzip2.txt +0 -391
- data/ext/abc/src/misc/bzlib/bzlib.c +0 -1588
- data/ext/abc/src/misc/bzlib/bzlib.h +0 -287
- data/ext/abc/src/misc/bzlib/bzlib_private.h +0 -513
- data/ext/abc/src/misc/bzlib/compress.c +0 -677
- data/ext/abc/src/misc/bzlib/crctable.c +0 -109
- data/ext/abc/src/misc/bzlib/decompress.c +0 -631
- data/ext/abc/src/misc/bzlib/huffman.c +0 -210
- data/ext/abc/src/misc/bzlib/link.txt +0 -2
- data/ext/abc/src/misc/bzlib/manual.html +0 -2540
- data/ext/abc/src/misc/bzlib/module.make +0 -7
- data/ext/abc/src/misc/bzlib/randtable.c +0 -89
- data/ext/abc/src/misc/espresso/cofactor.c +0 -389
- data/ext/abc/src/misc/espresso/cols.c +0 -319
- data/ext/abc/src/misc/espresso/compl.c +0 -685
- data/ext/abc/src/misc/espresso/contain.c +0 -450
- data/ext/abc/src/misc/espresso/cubehack.c +0 -143
- data/ext/abc/src/misc/espresso/cubestr.c +0 -157
- data/ext/abc/src/misc/espresso/cvrin.c +0 -816
- data/ext/abc/src/misc/espresso/cvrm.c +0 -544
- data/ext/abc/src/misc/espresso/cvrmisc.c +0 -147
- data/ext/abc/src/misc/espresso/cvrout.c +0 -614
- data/ext/abc/src/misc/espresso/dominate.c +0 -103
- data/ext/abc/src/misc/espresso/equiv.c +0 -99
- data/ext/abc/src/misc/espresso/espresso.c +0 -144
- data/ext/abc/src/misc/espresso/espresso.h +0 -786
- data/ext/abc/src/misc/espresso/essen.c +0 -184
- data/ext/abc/src/misc/espresso/exact.c +0 -186
- data/ext/abc/src/misc/espresso/expand.c +0 -700
- data/ext/abc/src/misc/espresso/gasp.c +0 -233
- data/ext/abc/src/misc/espresso/gimpel.c +0 -112
- data/ext/abc/src/misc/espresso/globals.c +0 -81
- data/ext/abc/src/misc/espresso/hack.c +0 -646
- data/ext/abc/src/misc/espresso/indep.c +0 -139
- data/ext/abc/src/misc/espresso/irred.c +0 -445
- data/ext/abc/src/misc/espresso/main.c +0 -751
- data/ext/abc/src/misc/espresso/main.h +0 -122
- data/ext/abc/src/misc/espresso/map.c +0 -122
- data/ext/abc/src/misc/espresso/matrix.c +0 -579
- data/ext/abc/src/misc/espresso/mincov.c +0 -383
- data/ext/abc/src/misc/espresso/mincov.h +0 -11
- data/ext/abc/src/misc/espresso/mincov_int.h +0 -55
- data/ext/abc/src/misc/espresso/module.make +0 -39
- data/ext/abc/src/misc/espresso/opo.c +0 -629
- data/ext/abc/src/misc/espresso/pair.c +0 -685
- data/ext/abc/src/misc/espresso/part.c +0 -127
- data/ext/abc/src/misc/espresso/primes.c +0 -175
- data/ext/abc/src/misc/espresso/reduce.c +0 -263
- data/ext/abc/src/misc/espresso/rows.c +0 -319
- data/ext/abc/src/misc/espresso/set.c +0 -825
- data/ext/abc/src/misc/espresso/setc.c +0 -488
- data/ext/abc/src/misc/espresso/sharp.c +0 -252
- data/ext/abc/src/misc/espresso/sminterf.c +0 -49
- data/ext/abc/src/misc/espresso/solution.c +0 -119
- data/ext/abc/src/misc/espresso/sparse.c +0 -151
- data/ext/abc/src/misc/espresso/sparse.h +0 -143
- data/ext/abc/src/misc/espresso/sparse_int.h +0 -121
- data/ext/abc/src/misc/espresso/unate.c +0 -446
- data/ext/abc/src/misc/espresso/util_old.h +0 -309
- data/ext/abc/src/misc/espresso/verify.c +0 -198
- data/ext/abc/src/misc/extra/extra.h +0 -417
- data/ext/abc/src/misc/extra/extraUtilBitMatrix.c +0 -420
- data/ext/abc/src/misc/extra/extraUtilCanon.c +0 -691
- data/ext/abc/src/misc/extra/extraUtilCube.c +0 -279
- data/ext/abc/src/misc/extra/extraUtilDsd.c +0 -1271
- data/ext/abc/src/misc/extra/extraUtilEnum.c +0 -680
- data/ext/abc/src/misc/extra/extraUtilFile.c +0 -887
- data/ext/abc/src/misc/extra/extraUtilMemory.c +0 -628
- data/ext/abc/src/misc/extra/extraUtilMisc.c +0 -2580
- data/ext/abc/src/misc/extra/extraUtilPerm.c +0 -933
- data/ext/abc/src/misc/extra/extraUtilPrime.c +0 -602
- data/ext/abc/src/misc/extra/extraUtilProgress.c +0 -185
- data/ext/abc/src/misc/extra/extraUtilReader.c +0 -390
- data/ext/abc/src/misc/extra/extraUtilSupp.c +0 -532
- data/ext/abc/src/misc/extra/extraUtilTruth.c +0 -1153
- data/ext/abc/src/misc/extra/extraUtilUtil.c +0 -421
- data/ext/abc/src/misc/extra/extraZddTrunc.c +0 -338
- data/ext/abc/src/misc/extra/module.make +0 -14
- data/ext/abc/src/misc/hash/hash.h +0 -70
- data/ext/abc/src/misc/hash/hashFlt.h +0 -339
- data/ext/abc/src/misc/hash/hashGen.h +0 -367
- data/ext/abc/src/misc/hash/hashInt.h +0 -302
- data/ext/abc/src/misc/hash/hashPtr.h +0 -339
- data/ext/abc/src/misc/hash/module.make +0 -1
- data/ext/abc/src/misc/mem/mem.c +0 -605
- data/ext/abc/src/misc/mem/mem.h +0 -75
- data/ext/abc/src/misc/mem/mem2.h +0 -271
- data/ext/abc/src/misc/mem/module.make +0 -1
- data/ext/abc/src/misc/mvc/module.make +0 -15
- data/ext/abc/src/misc/mvc/mvc.c +0 -51
- data/ext/abc/src/misc/mvc/mvc.h +0 -739
- data/ext/abc/src/misc/mvc/mvcApi.c +0 -238
- data/ext/abc/src/misc/mvc/mvcCompare.c +0 -374
- data/ext/abc/src/misc/mvc/mvcContain.c +0 -178
- data/ext/abc/src/misc/mvc/mvcCover.c +0 -256
- data/ext/abc/src/misc/mvc/mvcCube.c +0 -180
- data/ext/abc/src/misc/mvc/mvcDivide.c +0 -442
- data/ext/abc/src/misc/mvc/mvcDivisor.c +0 -95
- data/ext/abc/src/misc/mvc/mvcList.c +0 -367
- data/ext/abc/src/misc/mvc/mvcLits.c +0 -350
- data/ext/abc/src/misc/mvc/mvcMan.c +0 -82
- data/ext/abc/src/misc/mvc/mvcOpAlg.c +0 -168
- data/ext/abc/src/misc/mvc/mvcOpBool.c +0 -156
- data/ext/abc/src/misc/mvc/mvcPrint.c +0 -225
- data/ext/abc/src/misc/mvc/mvcSort.c +0 -146
- data/ext/abc/src/misc/mvc/mvcUtils.c +0 -873
- data/ext/abc/src/misc/nm/module.make +0 -2
- data/ext/abc/src/misc/nm/nm.h +0 -96
- data/ext/abc/src/misc/nm/nmApi.c +0 -278
- data/ext/abc/src/misc/nm/nmInt.h +0 -94
- data/ext/abc/src/misc/nm/nmTable.c +0 -310
- data/ext/abc/src/misc/parse/module.make +0 -2
- data/ext/abc/src/misc/parse/parse.h +0 -62
- data/ext/abc/src/misc/parse/parseCore.c +0 -536
- data/ext/abc/src/misc/parse/parseEqn.c +0 -362
- data/ext/abc/src/misc/parse/parseInt.h +0 -77
- data/ext/abc/src/misc/parse/parseStack.c +0 -248
- data/ext/abc/src/misc/st/module.make +0 -2
- data/ext/abc/src/misc/st/st.c +0 -561
- data/ext/abc/src/misc/st/st.h +0 -121
- data/ext/abc/src/misc/st/stmm.c +0 -627
- data/ext/abc/src/misc/st/stmm.h +0 -147
- data/ext/abc/src/misc/tim/module.make +0 -5
- data/ext/abc/src/misc/tim/tim.c +0 -39
- data/ext/abc/src/misc/tim/tim.h +0 -184
- data/ext/abc/src/misc/tim/timBox.c +0 -326
- data/ext/abc/src/misc/tim/timDump.c +0 -201
- data/ext/abc/src/misc/tim/timInt.h +0 -148
- data/ext/abc/src/misc/tim/timMan.c +0 -807
- data/ext/abc/src/misc/tim/timTime.c +0 -267
- data/ext/abc/src/misc/tim/timTrav.c +0 -185
- data/ext/abc/src/misc/util/abc_global.h +0 -416
- data/ext/abc/src/misc/util/abc_namespaces.h +0 -58
- data/ext/abc/src/misc/util/module.make +0 -8
- data/ext/abc/src/misc/util/utilBridge.c +0 -564
- data/ext/abc/src/misc/util/utilCex.c +0 -574
- data/ext/abc/src/misc/util/utilCex.h +0 -84
- data/ext/abc/src/misc/util/utilColor.c +0 -124
- data/ext/abc/src/misc/util/utilDouble.h +0 -222
- data/ext/abc/src/misc/util/utilFile.c +0 -221
- data/ext/abc/src/misc/util/utilFloat.h +0 -226
- data/ext/abc/src/misc/util/utilIsop.c +0 -1139
- data/ext/abc/src/misc/util/utilMem.c +0 -341
- data/ext/abc/src/misc/util/utilMem.h +0 -73
- data/ext/abc/src/misc/util/utilNam.c +0 -622
- data/ext/abc/src/misc/util/utilNam.h +0 -80
- data/ext/abc/src/misc/util/utilSignal.c +0 -68
- data/ext/abc/src/misc/util/utilSignal.h +0 -58
- data/ext/abc/src/misc/util/utilSort.c +0 -789
- data/ext/abc/src/misc/util/utilTruth.h +0 -3076
- data/ext/abc/src/misc/util/util_hack.h +0 -46
- data/ext/abc/src/misc/vec/module.make +0 -1
- data/ext/abc/src/misc/vec/vec.h +0 -74
- data/ext/abc/src/misc/vec/vecAtt.h +0 -298
- data/ext/abc/src/misc/vec/vecBit.h +0 -636
- data/ext/abc/src/misc/vec/vecFlt.h +0 -826
- data/ext/abc/src/misc/vec/vecHash.h +0 -280
- data/ext/abc/src/misc/vec/vecHsh.h +0 -590
- data/ext/abc/src/misc/vec/vecInt.h +0 -2078
- data/ext/abc/src/misc/vec/vecMem.h +0 -431
- data/ext/abc/src/misc/vec/vecPtr.h +0 -1160
- data/ext/abc/src/misc/vec/vecQue.h +0 -374
- data/ext/abc/src/misc/vec/vecSet.h +0 -299
- data/ext/abc/src/misc/vec/vecStr.h +0 -1072
- data/ext/abc/src/misc/vec/vecVec.h +0 -646
- data/ext/abc/src/misc/vec/vecWec.h +0 -738
- data/ext/abc/src/misc/vec/vecWrd.h +0 -1205
- data/ext/abc/src/misc/zlib/README +0 -115
- data/ext/abc/src/misc/zlib/adler32.c +0 -168
- data/ext/abc/src/misc/zlib/algorithm.txt +0 -209
- data/ext/abc/src/misc/zlib/compress_.c +0 -76
- data/ext/abc/src/misc/zlib/crc32.c +0 -433
- data/ext/abc/src/misc/zlib/crc32.h +0 -445
- data/ext/abc/src/misc/zlib/deflate.c +0 -1784
- data/ext/abc/src/misc/zlib/deflate.h +0 -346
- data/ext/abc/src/misc/zlib/gzclose.c +0 -33
- data/ext/abc/src/misc/zlib/gzguts.h +0 -147
- data/ext/abc/src/misc/zlib/gzlib.c +0 -517
- data/ext/abc/src/misc/zlib/gzread.c +0 -641
- data/ext/abc/src/misc/zlib/gzwrite.c +0 -520
- data/ext/abc/src/misc/zlib/infback.c +0 -631
- data/ext/abc/src/misc/zlib/inffast.c +0 -351
- data/ext/abc/src/misc/zlib/inffast.h +0 -15
- data/ext/abc/src/misc/zlib/inffixed.h +0 -98
- data/ext/abc/src/misc/zlib/inflate.c +0 -1457
- data/ext/abc/src/misc/zlib/inflate.h +0 -126
- data/ext/abc/src/misc/zlib/inftrees.c +0 -337
- data/ext/abc/src/misc/zlib/inftrees.h +0 -66
- data/ext/abc/src/misc/zlib/license +0 -31
- data/ext/abc/src/misc/zlib/link.txt +0 -1
- data/ext/abc/src/misc/zlib/module.make +0 -15
- data/ext/abc/src/misc/zlib/trees.c +0 -1216
- data/ext/abc/src/misc/zlib/trees.h +0 -132
- data/ext/abc/src/misc/zlib/uncompr.c +0 -67
- data/ext/abc/src/misc/zlib/zconf.h +0 -432
- data/ext/abc/src/misc/zlib/zlib.h +0 -1619
- data/ext/abc/src/misc/zlib/zutil.c +0 -318
- data/ext/abc/src/misc/zlib/zutil.h +0 -288
- data/ext/abc/src/opt/cgt/cgt.h +0 -87
- data/ext/abc/src/opt/cgt/cgtAig.c +0 -601
- data/ext/abc/src/opt/cgt/cgtCore.c +0 -328
- data/ext/abc/src/opt/cgt/cgtDecide.c +0 -300
- data/ext/abc/src/opt/cgt/cgtInt.h +0 -123
- data/ext/abc/src/opt/cgt/cgtMan.c +0 -179
- data/ext/abc/src/opt/cgt/cgtSat.c +0 -98
- data/ext/abc/src/opt/cgt/module.make +0 -5
- data/ext/abc/src/opt/csw/csw.h +0 -69
- data/ext/abc/src/opt/csw/cswCore.c +0 -100
- data/ext/abc/src/opt/csw/cswCut.c +0 -608
- data/ext/abc/src/opt/csw/cswInt.h +0 -160
- data/ext/abc/src/opt/csw/cswMan.c +0 -130
- data/ext/abc/src/opt/csw/cswTable.c +0 -166
- data/ext/abc/src/opt/csw/csw_.c +0 -53
- data/ext/abc/src/opt/csw/module.make +0 -4
- data/ext/abc/src/opt/cut/abcCut.c +0 -498
- data/ext/abc/src/opt/cut/cut.h +0 -172
- data/ext/abc/src/opt/cut/cutApi.c +0 -202
- data/ext/abc/src/opt/cut/cutCut.c +0 -364
- data/ext/abc/src/opt/cut/cutExpand.c +0 -189
- data/ext/abc/src/opt/cut/cutInt.h +0 -165
- data/ext/abc/src/opt/cut/cutList.h +0 -215
- data/ext/abc/src/opt/cut/cutMan.c +0 -320
- data/ext/abc/src/opt/cut/cutMerge.c +0 -662
- data/ext/abc/src/opt/cut/cutNode.c +0 -1004
- data/ext/abc/src/opt/cut/cutOracle.c +0 -424
- data/ext/abc/src/opt/cut/cutPre22.c +0 -994
- data/ext/abc/src/opt/cut/cutSeq.c +0 -232
- data/ext/abc/src/opt/cut/cutTruth.c +0 -232
- data/ext/abc/src/opt/cut/module.make +0 -9
- data/ext/abc/src/opt/dar/dar.h +0 -116
- data/ext/abc/src/opt/dar/darBalance.c +0 -761
- data/ext/abc/src/opt/dar/darCore.c +0 -348
- data/ext/abc/src/opt/dar/darCut.c +0 -837
- data/ext/abc/src/opt/dar/darData.c +0 -11294
- data/ext/abc/src/opt/dar/darInt.h +0 -169
- data/ext/abc/src/opt/dar/darLib.c +0 -1341
- data/ext/abc/src/opt/dar/darMan.c +0 -174
- data/ext/abc/src/opt/dar/darPrec.c +0 -394
- data/ext/abc/src/opt/dar/darRefact.c +0 -639
- data/ext/abc/src/opt/dar/darResub.c +0 -53
- data/ext/abc/src/opt/dar/darScript.c +0 -911
- data/ext/abc/src/opt/dar/dar_.c +0 -53
- data/ext/abc/src/opt/dar/module.make +0 -9
- data/ext/abc/src/opt/dau/dau.c +0 -53
- data/ext/abc/src/opt/dau/dau.h +0 -125
- data/ext/abc/src/opt/dau/dauArray.c +0 -257
- data/ext/abc/src/opt/dau/dauCanon.c +0 -1202
- data/ext/abc/src/opt/dau/dauCore.c +0 -112
- data/ext/abc/src/opt/dau/dauDivs.c +0 -111
- data/ext/abc/src/opt/dau/dauDsd.c +0 -2098
- data/ext/abc/src/opt/dau/dauDsd2.c +0 -660
- data/ext/abc/src/opt/dau/dauEnum.c +0 -253
- data/ext/abc/src/opt/dau/dauGia.c +0 -573
- data/ext/abc/src/opt/dau/dauInt.h +0 -70
- data/ext/abc/src/opt/dau/dauMerge.c +0 -824
- data/ext/abc/src/opt/dau/dauNonDsd.c +0 -903
- data/ext/abc/src/opt/dau/dauTree.c +0 -2022
- data/ext/abc/src/opt/dau/module.make +0 -9
- data/ext/abc/src/opt/dsc/dsc.c +0 -525
- data/ext/abc/src/opt/dsc/dsc.h +0 -91
- data/ext/abc/src/opt/dsc/module.make +0 -1
- data/ext/abc/src/opt/fret/fretFlow.c +0 -700
- data/ext/abc/src/opt/fret/fretInit.c +0 -1343
- data/ext/abc/src/opt/fret/fretMain.c +0 -1383
- data/ext/abc/src/opt/fret/fretTime.c +0 -766
- data/ext/abc/src/opt/fret/fretime.h +0 -212
- data/ext/abc/src/opt/fret/module.make +0 -5
- data/ext/abc/src/opt/fsim/fsim.h +0 -101
- data/ext/abc/src/opt/fsim/fsimCore.c +0 -88
- data/ext/abc/src/opt/fsim/fsimFront.c +0 -369
- data/ext/abc/src/opt/fsim/fsimInt.h +0 -138
- data/ext/abc/src/opt/fsim/fsimMan.c +0 -212
- data/ext/abc/src/opt/fsim/fsimSim.c +0 -569
- data/ext/abc/src/opt/fsim/fsimSwitch.c +0 -40
- data/ext/abc/src/opt/fsim/fsimTsim.c +0 -416
- data/ext/abc/src/opt/fsim/module.make +0 -6
- data/ext/abc/src/opt/fxch/Fxch.c +0 -266
- data/ext/abc/src/opt/fxch/Fxch.h +0 -229
- data/ext/abc/src/opt/fxch/FxchDiv.c +0 -485
- data/ext/abc/src/opt/fxch/FxchMan.c +0 -785
- data/ext/abc/src/opt/fxch/FxchSCHashTable.c +0 -382
- data/ext/abc/src/opt/fxch/module.make +0 -4
- data/ext/abc/src/opt/fxu/fxu.c +0 -260
- data/ext/abc/src/opt/fxu/fxu.h +0 -97
- data/ext/abc/src/opt/fxu/fxuCreate.c +0 -447
- data/ext/abc/src/opt/fxu/fxuHeapD.c +0 -450
- data/ext/abc/src/opt/fxu/fxuHeapS.c +0 -449
- data/ext/abc/src/opt/fxu/fxuInt.h +0 -545
- data/ext/abc/src/opt/fxu/fxuList.c +0 -527
- data/ext/abc/src/opt/fxu/fxuMatrix.c +0 -377
- data/ext/abc/src/opt/fxu/fxuPair.c +0 -560
- data/ext/abc/src/opt/fxu/fxuPrint.c +0 -202
- data/ext/abc/src/opt/fxu/fxuReduce.c +0 -213
- data/ext/abc/src/opt/fxu/fxuSelect.c +0 -608
- data/ext/abc/src/opt/fxu/fxuSingle.c +0 -289
- data/ext/abc/src/opt/fxu/fxuUpdate.c +0 -811
- data/ext/abc/src/opt/fxu/module.make +0 -12
- data/ext/abc/src/opt/lpk/lpk.h +0 -88
- data/ext/abc/src/opt/lpk/lpkAbcDec.c +0 -294
- data/ext/abc/src/opt/lpk/lpkAbcDsd.c +0 -617
- data/ext/abc/src/opt/lpk/lpkAbcMux.c +0 -240
- data/ext/abc/src/opt/lpk/lpkAbcUtil.c +0 -249
- data/ext/abc/src/opt/lpk/lpkCore.c +0 -694
- data/ext/abc/src/opt/lpk/lpkCut.c +0 -689
- data/ext/abc/src/opt/lpk/lpkInt.h +0 -250
- data/ext/abc/src/opt/lpk/lpkMan.c +0 -127
- data/ext/abc/src/opt/lpk/lpkMap.c +0 -210
- data/ext/abc/src/opt/lpk/lpkMulti.c +0 -513
- data/ext/abc/src/opt/lpk/lpkMux.c +0 -252
- data/ext/abc/src/opt/lpk/lpkSets.c +0 -445
- data/ext/abc/src/opt/lpk/lpk_.c +0 -53
- data/ext/abc/src/opt/lpk/module.make +0 -11
- data/ext/abc/src/opt/mfs/mfs.h +0 -89
- data/ext/abc/src/opt/mfs/mfsCore.c +0 -596
- data/ext/abc/src/opt/mfs/mfsCore_.c +0 -394
- data/ext/abc/src/opt/mfs/mfsDiv.c +0 -309
- data/ext/abc/src/opt/mfs/mfsGia.c +0 -301
- data/ext/abc/src/opt/mfs/mfsInt.h +0 -192
- data/ext/abc/src/opt/mfs/mfsInter.c +0 -398
- data/ext/abc/src/opt/mfs/mfsMan.c +0 -202
- data/ext/abc/src/opt/mfs/mfsResub.c +0 -622
- data/ext/abc/src/opt/mfs/mfsResub_.c +0 -567
- data/ext/abc/src/opt/mfs/mfsSat.c +0 -182
- data/ext/abc/src/opt/mfs/mfsStrash.c +0 -406
- data/ext/abc/src/opt/mfs/mfsWin.c +0 -117
- data/ext/abc/src/opt/mfs/mfs_.c +0 -52
- data/ext/abc/src/opt/mfs/module.make +0 -8
- data/ext/abc/src/opt/nwk/module.make +0 -14
- data/ext/abc/src/opt/nwk/ntlnwk.h +0 -113
- data/ext/abc/src/opt/nwk/nwk.h +0 -307
- data/ext/abc/src/opt/nwk/nwkAig.c +0 -299
- data/ext/abc/src/opt/nwk/nwkBidec.c +0 -177
- data/ext/abc/src/opt/nwk/nwkCheck.c +0 -76
- data/ext/abc/src/opt/nwk/nwkDfs.c +0 -664
- data/ext/abc/src/opt/nwk/nwkFanio.c +0 -320
- data/ext/abc/src/opt/nwk/nwkFlow.c +0 -606
- data/ext/abc/src/opt/nwk/nwkFlow_depth.c +0 -631
- data/ext/abc/src/opt/nwk/nwkMan.c +0 -278
- data/ext/abc/src/opt/nwk/nwkMap.c +0 -396
- data/ext/abc/src/opt/nwk/nwkMerge.c +0 -1046
- data/ext/abc/src/opt/nwk/nwkMerge.h +0 -153
- data/ext/abc/src/opt/nwk/nwkObj.c +0 -204
- data/ext/abc/src/opt/nwk/nwkSpeedup.c +0 -382
- data/ext/abc/src/opt/nwk/nwkStrash.c +0 -149
- data/ext/abc/src/opt/nwk/nwkTiming.c +0 -894
- data/ext/abc/src/opt/nwk/nwkUtil.c +0 -644
- data/ext/abc/src/opt/nwk/nwk_.c +0 -52
- data/ext/abc/src/opt/res/module.make +0 -7
- data/ext/abc/src/opt/res/res.h +0 -79
- data/ext/abc/src/opt/res/resCore.c +0 -427
- data/ext/abc/src/opt/res/resDivs.c +0 -290
- data/ext/abc/src/opt/res/resFilter.c +0 -439
- data/ext/abc/src/opt/res/resInt.h +0 -141
- data/ext/abc/src/opt/res/resSat.c +0 -414
- data/ext/abc/src/opt/res/resSim.c +0 -795
- data/ext/abc/src/opt/res/resSim_old.c +0 -526
- data/ext/abc/src/opt/res/resStrash.c +0 -122
- data/ext/abc/src/opt/res/resWin.c +0 -490
- data/ext/abc/src/opt/res/res_.c +0 -55
- data/ext/abc/src/opt/ret/module.make +0 -8
- data/ext/abc/src/opt/ret/retArea.c +0 -554
- data/ext/abc/src/opt/ret/retCore.c +0 -138
- data/ext/abc/src/opt/ret/retDelay.c +0 -315
- data/ext/abc/src/opt/ret/retFlow.c +0 -789
- data/ext/abc/src/opt/ret/retIncrem.c +0 -480
- data/ext/abc/src/opt/ret/retInit.c +0 -355
- data/ext/abc/src/opt/ret/retInt.h +0 -88
- data/ext/abc/src/opt/ret/retLvalue.c +0 -402
- data/ext/abc/src/opt/ret/ret_.c +0 -53
- data/ext/abc/src/opt/rwr/module.make +0 -7
- data/ext/abc/src/opt/rwr/rwr.h +0 -173
- data/ext/abc/src/opt/rwr/rwrDec.c +0 -155
- data/ext/abc/src/opt/rwr/rwrEva.c +0 -599
- data/ext/abc/src/opt/rwr/rwrExp.c +0 -336
- data/ext/abc/src/opt/rwr/rwrLib.c +0 -367
- data/ext/abc/src/opt/rwr/rwrMan.c +0 -323
- data/ext/abc/src/opt/rwr/rwrPrint.c +0 -271
- data/ext/abc/src/opt/rwr/rwrTemp.c +0 -126
- data/ext/abc/src/opt/rwr/rwrUtil.c +0 -661
- data/ext/abc/src/opt/rwt/module.make +0 -3
- data/ext/abc/src/opt/rwt/rwt.h +0 -165
- data/ext/abc/src/opt/rwt/rwtDec.c +0 -155
- data/ext/abc/src/opt/rwt/rwtMan.c +0 -363
- data/ext/abc/src/opt/rwt/rwtUtil.c +0 -663
- data/ext/abc/src/opt/sbd/module.make +0 -9
- data/ext/abc/src/opt/sbd/sbd.c +0 -122
- data/ext/abc/src/opt/sbd/sbd.h +0 -82
- data/ext/abc/src/opt/sbd/sbdCnf.c +0 -147
- data/ext/abc/src/opt/sbd/sbdCore.c +0 -2229
- data/ext/abc/src/opt/sbd/sbdCut.c +0 -872
- data/ext/abc/src/opt/sbd/sbdCut2.c +0 -431
- data/ext/abc/src/opt/sbd/sbdInt.h +0 -125
- data/ext/abc/src/opt/sbd/sbdLut.c +0 -311
- data/ext/abc/src/opt/sbd/sbdPath.c +0 -197
- data/ext/abc/src/opt/sbd/sbdSat.c +0 -793
- data/ext/abc/src/opt/sbd/sbdSim.c +0 -310
- data/ext/abc/src/opt/sbd/sbdWin.c +0 -464
- data/ext/abc/src/opt/sfm/module.make +0 -10
- data/ext/abc/src/opt/sfm/sfm.h +0 -107
- data/ext/abc/src/opt/sfm/sfmArea.c +0 -380
- data/ext/abc/src/opt/sfm/sfmCnf.c +0 -179
- data/ext/abc/src/opt/sfm/sfmCore.c +0 -306
- data/ext/abc/src/opt/sfm/sfmDec.c +0 -2168
- data/ext/abc/src/opt/sfm/sfmInt.h +0 -254
- data/ext/abc/src/opt/sfm/sfmLib.c +0 -766
- data/ext/abc/src/opt/sfm/sfmMit.c +0 -73
- data/ext/abc/src/opt/sfm/sfmNtk.c +0 -381
- data/ext/abc/src/opt/sfm/sfmSat.c +0 -273
- data/ext/abc/src/opt/sfm/sfmTim.c +0 -458
- data/ext/abc/src/opt/sfm/sfmWin.c +0 -481
- data/ext/abc/src/opt/sim/module.make +0 -9
- data/ext/abc/src/opt/sim/sim.h +0 -237
- data/ext/abc/src/opt/sim/simMan.c +0 -293
- data/ext/abc/src/opt/sim/simSat.c +0 -53
- data/ext/abc/src/opt/sim/simSeq.c +0 -176
- data/ext/abc/src/opt/sim/simSupp.c +0 -603
- data/ext/abc/src/opt/sim/simSwitch.c +0 -112
- data/ext/abc/src/opt/sim/simSym.c +0 -148
- data/ext/abc/src/opt/sim/simSymSat.c +0 -205
- data/ext/abc/src/opt/sim/simSymSim.c +0 -178
- data/ext/abc/src/opt/sim/simSymStr.c +0 -493
- data/ext/abc/src/opt/sim/simUtils.c +0 -718
- data/ext/abc/src/phys/place/Makefile +0 -30
- data/ext/abc/src/phys/place/README +0 -50
- data/ext/abc/src/phys/place/hpwl +0 -57
- data/ext/abc/src/phys/place/libhmetis.h +0 -39
- data/ext/abc/src/phys/place/module.make +0 -10
- data/ext/abc/src/phys/place/place_base.c +0 -350
- data/ext/abc/src/phys/place/place_base.h +0 -145
- data/ext/abc/src/phys/place/place_bin.c +0 -282
- data/ext/abc/src/phys/place/place_genqp.c +0 -314
- data/ext/abc/src/phys/place/place_gordian.c +0 -165
- data/ext/abc/src/phys/place/place_gordian.h +0 -86
- data/ext/abc/src/phys/place/place_inc.c +0 -111
- data/ext/abc/src/phys/place/place_io.c +0 -99
- data/ext/abc/src/phys/place/place_legalize.c +0 -28
- data/ext/abc/src/phys/place/place_pads.c +0 -146
- data/ext/abc/src/phys/place/place_partition.c +0 -1140
- data/ext/abc/src/phys/place/place_qpsolver.c +0 -1275
- data/ext/abc/src/phys/place/place_qpsolver.h +0 -139
- data/ext/abc/src/phys/place/place_test.c +0 -365
- data/ext/abc/src/proof/abs/abs.c +0 -52
- data/ext/abc/src/proof/abs/abs.h +0 -177
- data/ext/abc/src/proof/abs/absDup.c +0 -445
- data/ext/abc/src/proof/abs/absGla.c +0 -1901
- data/ext/abc/src/proof/abs/absGlaOld.c +0 -1956
- data/ext/abc/src/proof/abs/absIter.c +0 -148
- data/ext/abc/src/proof/abs/absOldCex.c +0 -873
- data/ext/abc/src/proof/abs/absOldRef.c +0 -474
- data/ext/abc/src/proof/abs/absOldSat.c +0 -986
- data/ext/abc/src/proof/abs/absOldSim.c +0 -477
- data/ext/abc/src/proof/abs/absOut.c +0 -458
- data/ext/abc/src/proof/abs/absPth.c +0 -205
- data/ext/abc/src/proof/abs/absRef.c +0 -751
- data/ext/abc/src/proof/abs/absRef.h +0 -129
- data/ext/abc/src/proof/abs/absRefJ.c +0 -916
- data/ext/abc/src/proof/abs/absRefJ.h +0 -67
- data/ext/abc/src/proof/abs/absRefSelect.c +0 -309
- data/ext/abc/src/proof/abs/absRpm.c +0 -874
- data/ext/abc/src/proof/abs/absRpmOld.c +0 -201
- data/ext/abc/src/proof/abs/absUtil.c +0 -257
- data/ext/abc/src/proof/abs/absVta.c +0 -1764
- data/ext/abc/src/proof/abs/module.make +0 -16
- data/ext/abc/src/proof/acec/acec.c +0 -52
- data/ext/abc/src/proof/acec/acec.h +0 -98
- data/ext/abc/src/proof/acec/acec2Mult.c +0 -1211
- data/ext/abc/src/proof/acec/acecBo.c +0 -216
- data/ext/abc/src/proof/acec/acecCl.c +0 -445
- data/ext/abc/src/proof/acec/acecCo.c +0 -429
- data/ext/abc/src/proof/acec/acecCore.c +0 -553
- data/ext/abc/src/proof/acec/acecCover.c +0 -263
- data/ext/abc/src/proof/acec/acecFadds.c +0 -1247
- data/ext/abc/src/proof/acec/acecInt.h +0 -105
- data/ext/abc/src/proof/acec/acecMult.c +0 -623
- data/ext/abc/src/proof/acec/acecNorm.c +0 -226
- data/ext/abc/src/proof/acec/acecOrder.c +0 -254
- data/ext/abc/src/proof/acec/acecPa.c +0 -277
- data/ext/abc/src/proof/acec/acecPo.c +0 -655
- data/ext/abc/src/proof/acec/acecPolyn.c +0 -445
- data/ext/abc/src/proof/acec/acecPool.c +0 -428
- data/ext/abc/src/proof/acec/acecRe.c +0 -602
- data/ext/abc/src/proof/acec/acecSt.c +0 -422
- data/ext/abc/src/proof/acec/acecStruct.c +0 -271
- data/ext/abc/src/proof/acec/acecTree.c +0 -783
- data/ext/abc/src/proof/acec/acecUtil.c +0 -122
- data/ext/abc/src/proof/acec/acecXor.c +0 -434
- data/ext/abc/src/proof/acec/module.make +0 -19
- data/ext/abc/src/proof/cec/cec.c +0 -53
- data/ext/abc/src/proof/cec/cec.h +0 -240
- data/ext/abc/src/proof/cec/cecCec.c +0 -580
- data/ext/abc/src/proof/cec/cecChoice.c +0 -410
- data/ext/abc/src/proof/cec/cecClass.c +0 -931
- data/ext/abc/src/proof/cec/cecCore.c +0 -554
- data/ext/abc/src/proof/cec/cecCorr.c +0 -1229
- data/ext/abc/src/proof/cec/cecInt.h +0 -227
- data/ext/abc/src/proof/cec/cecIso.c +0 -375
- data/ext/abc/src/proof/cec/cecMan.c +0 -297
- data/ext/abc/src/proof/cec/cecPat.c +0 -578
- data/ext/abc/src/proof/cec/cecSat.c +0 -1040
- data/ext/abc/src/proof/cec/cecSatG.c +0 -1048
- data/ext/abc/src/proof/cec/cecSeq.c +0 -449
- data/ext/abc/src/proof/cec/cecSim.c +0 -53
- data/ext/abc/src/proof/cec/cecSimBack.c +0 -194
- data/ext/abc/src/proof/cec/cecSolve.c +0 -1107
- data/ext/abc/src/proof/cec/cecSplit.c +0 -849
- data/ext/abc/src/proof/cec/cecSweep.c +0 -301
- data/ext/abc/src/proof/cec/cecSynth.c +0 -433
- data/ext/abc/src/proof/cec/module.make +0 -15
- data/ext/abc/src/proof/dch/dch.h +0 -91
- data/ext/abc/src/proof/dch/dchAig.c +0 -119
- data/ext/abc/src/proof/dch/dchChoice.c +0 -552
- data/ext/abc/src/proof/dch/dchClass.c +0 -611
- data/ext/abc/src/proof/dch/dchCnf.c +0 -334
- data/ext/abc/src/proof/dch/dchCore.c +0 -161
- data/ext/abc/src/proof/dch/dchInt.h +0 -170
- data/ext/abc/src/proof/dch/dchMan.c +0 -191
- data/ext/abc/src/proof/dch/dchSat.c +0 -167
- data/ext/abc/src/proof/dch/dchSim.c +0 -297
- data/ext/abc/src/proof/dch/dchSimSat.c +0 -260
- data/ext/abc/src/proof/dch/dchSweep.c +0 -146
- data/ext/abc/src/proof/dch/module.make +0 -10
- data/ext/abc/src/proof/fra/fra.h +0 -389
- data/ext/abc/src/proof/fra/fraBmc.c +0 -453
- data/ext/abc/src/proof/fra/fraCec.c +0 -574
- data/ext/abc/src/proof/fra/fraClass.c +0 -862
- data/ext/abc/src/proof/fra/fraClau.c +0 -745
- data/ext/abc/src/proof/fra/fraClaus.c +0 -1877
- data/ext/abc/src/proof/fra/fraCnf.c +0 -289
- data/ext/abc/src/proof/fra/fraCore.c +0 -490
- data/ext/abc/src/proof/fra/fraHot.c +0 -476
- data/ext/abc/src/proof/fra/fraImp.c +0 -732
- data/ext/abc/src/proof/fra/fraInd.c +0 -712
- data/ext/abc/src/proof/fra/fraIndVer.c +0 -166
- data/ext/abc/src/proof/fra/fraLcr.c +0 -708
- data/ext/abc/src/proof/fra/fraMan.c +0 -314
- data/ext/abc/src/proof/fra/fraPart.c +0 -269
- data/ext/abc/src/proof/fra/fraSat.c +0 -571
- data/ext/abc/src/proof/fra/fraSec.c +0 -693
- data/ext/abc/src/proof/fra/fraSim.c +0 -1173
- data/ext/abc/src/proof/fra/fra_.c +0 -53
- data/ext/abc/src/proof/fra/module.make +0 -17
- data/ext/abc/src/proof/fraig/fraig.h +0 -257
- data/ext/abc/src/proof/fraig/fraigApi.c +0 -299
- data/ext/abc/src/proof/fraig/fraigCanon.c +0 -223
- data/ext/abc/src/proof/fraig/fraigChoice.c +0 -246
- data/ext/abc/src/proof/fraig/fraigFanout.c +0 -180
- data/ext/abc/src/proof/fraig/fraigFeed.c +0 -914
- data/ext/abc/src/proof/fraig/fraigInt.h +0 -436
- data/ext/abc/src/proof/fraig/fraigMan.c +0 -546
- data/ext/abc/src/proof/fraig/fraigMem.c +0 -251
- data/ext/abc/src/proof/fraig/fraigNode.c +0 -319
- data/ext/abc/src/proof/fraig/fraigPrime.c +0 -113
- data/ext/abc/src/proof/fraig/fraigSat.c +0 -1463
- data/ext/abc/src/proof/fraig/fraigTable.c +0 -664
- data/ext/abc/src/proof/fraig/fraigUtil.c +0 -1039
- data/ext/abc/src/proof/fraig/fraigVec.c +0 -550
- data/ext/abc/src/proof/fraig/module.make +0 -12
- data/ext/abc/src/proof/int/int.h +0 -96
- data/ext/abc/src/proof/int/intCheck.c +0 -305
- data/ext/abc/src/proof/int/intContain.c +0 -341
- data/ext/abc/src/proof/int/intCore.c +0 -412
- data/ext/abc/src/proof/int/intCtrex.c +0 -168
- data/ext/abc/src/proof/int/intDup.c +0 -184
- data/ext/abc/src/proof/int/intFrames.c +0 -124
- data/ext/abc/src/proof/int/intInt.h +0 -143
- data/ext/abc/src/proof/int/intInter.c +0 -145
- data/ext/abc/src/proof/int/intM114.c +0 -323
- data/ext/abc/src/proof/int/intM114p.c +0 -443
- data/ext/abc/src/proof/int/intMan.c +0 -165
- data/ext/abc/src/proof/int/intUtil.c +0 -108
- data/ext/abc/src/proof/int/module.make +0 -10
- data/ext/abc/src/proof/int2/int2.h +0 -90
- data/ext/abc/src/proof/int2/int2Bmc.c +0 -355
- data/ext/abc/src/proof/int2/int2Core.c +0 -335
- data/ext/abc/src/proof/int2/int2Int.h +0 -164
- data/ext/abc/src/proof/int2/int2Refine.c +0 -154
- data/ext/abc/src/proof/int2/int2Util.c +0 -152
- data/ext/abc/src/proof/int2/module.make +0 -4
- data/ext/abc/src/proof/live/arenaViolation.c +0 -549
- data/ext/abc/src/proof/live/combination.c +0 -463
- data/ext/abc/src/proof/live/disjunctiveMonotone.c +0 -757
- data/ext/abc/src/proof/live/kLiveConstraints.c +0 -177
- data/ext/abc/src/proof/live/kliveness.c +0 -816
- data/ext/abc/src/proof/live/liveness.c +0 -2575
- data/ext/abc/src/proof/live/liveness_sim.c +0 -849
- data/ext/abc/src/proof/live/ltl_parser.c +0 -839
- data/ext/abc/src/proof/live/module.make +0 -9
- data/ext/abc/src/proof/live/monotone.c +0 -507
- data/ext/abc/src/proof/pdr/module.make +0 -10
- data/ext/abc/src/proof/pdr/pdr.c +0 -53
- data/ext/abc/src/proof/pdr/pdr.h +0 -109
- data/ext/abc/src/proof/pdr/pdrClass.c +0 -223
- data/ext/abc/src/proof/pdr/pdrCnf.c +0 -455
- data/ext/abc/src/proof/pdr/pdrCore.c +0 -1451
- data/ext/abc/src/proof/pdr/pdrIncr.c +0 -1046
- data/ext/abc/src/proof/pdr/pdrInt.h +0 -275
- data/ext/abc/src/proof/pdr/pdrInv.c +0 -985
- data/ext/abc/src/proof/pdr/pdrMan.c +0 -549
- data/ext/abc/src/proof/pdr/pdrSat.c +0 -395
- data/ext/abc/src/proof/pdr/pdrTsim.c +0 -502
- data/ext/abc/src/proof/pdr/pdrTsim2.c +0 -550
- data/ext/abc/src/proof/pdr/pdrTsim3.c +0 -361
- data/ext/abc/src/proof/pdr/pdrUtil.c +0 -800
- data/ext/abc/src/proof/ssc/module.make +0 -5
- data/ext/abc/src/proof/ssc/ssc.h +0 -78
- data/ext/abc/src/proof/ssc/sscClass.c +0 -326
- data/ext/abc/src/proof/ssc/sscCore.c +0 -469
- data/ext/abc/src/proof/ssc/sscInt.h +0 -135
- data/ext/abc/src/proof/ssc/sscSat.c +0 -430
- data/ext/abc/src/proof/ssc/sscSim.c +0 -364
- data/ext/abc/src/proof/ssc/sscUtil.c +0 -173
- data/ext/abc/src/proof/ssw/module.make +0 -20
- data/ext/abc/src/proof/ssw/ssw.h +0 -170
- data/ext/abc/src/proof/ssw/sswAig.c +0 -258
- data/ext/abc/src/proof/ssw/sswBmc.c +0 -224
- data/ext/abc/src/proof/ssw/sswClass.c +0 -1170
- data/ext/abc/src/proof/ssw/sswCnf.c +0 -427
- data/ext/abc/src/proof/ssw/sswConstr.c +0 -718
- data/ext/abc/src/proof/ssw/sswCore.c +0 -539
- data/ext/abc/src/proof/ssw/sswDyn.c +0 -491
- data/ext/abc/src/proof/ssw/sswFilter.c +0 -493
- data/ext/abc/src/proof/ssw/sswInt.h +0 -302
- data/ext/abc/src/proof/ssw/sswIslands.c +0 -598
- data/ext/abc/src/proof/ssw/sswLcorr.c +0 -337
- data/ext/abc/src/proof/ssw/sswMan.c +0 -217
- data/ext/abc/src/proof/ssw/sswPairs.c +0 -480
- data/ext/abc/src/proof/ssw/sswPart.c +0 -140
- data/ext/abc/src/proof/ssw/sswRarity.c +0 -1385
- data/ext/abc/src/proof/ssw/sswRarity2.c +0 -518
- data/ext/abc/src/proof/ssw/sswSat.c +0 -307
- data/ext/abc/src/proof/ssw/sswSemi.c +0 -323
- data/ext/abc/src/proof/ssw/sswSim.c +0 -1406
- data/ext/abc/src/proof/ssw/sswSimSat.c +0 -124
- data/ext/abc/src/proof/ssw/sswSweep.c +0 -440
- data/ext/abc/src/proof/ssw/sswUnique.c +0 -196
- data/ext/abc/src/sat/bmc/bmc.c +0 -52
- data/ext/abc/src/sat/bmc/bmc.h +0 -205
- data/ext/abc/src/sat/bmc/bmcBCore.c +0 -273
- data/ext/abc/src/sat/bmc/bmcBmc.c +0 -377
- data/ext/abc/src/sat/bmc/bmcBmc2.c +0 -944
- data/ext/abc/src/sat/bmc/bmcBmc3.c +0 -1893
- data/ext/abc/src/sat/bmc/bmcBmcAnd.c +0 -1100
- data/ext/abc/src/sat/bmc/bmcBmcG.c +0 -455
- data/ext/abc/src/sat/bmc/bmcBmcS.c +0 -940
- data/ext/abc/src/sat/bmc/bmcBmci.c +0 -344
- data/ext/abc/src/sat/bmc/bmcCexCare.c +0 -476
- data/ext/abc/src/sat/bmc/bmcCexCut.c +0 -537
- data/ext/abc/src/sat/bmc/bmcCexDepth.c +0 -373
- data/ext/abc/src/sat/bmc/bmcCexMin1.c +0 -578
- data/ext/abc/src/sat/bmc/bmcCexMin2.c +0 -363
- data/ext/abc/src/sat/bmc/bmcCexTools.c +0 -852
- data/ext/abc/src/sat/bmc/bmcChain.c +0 -396
- data/ext/abc/src/sat/bmc/bmcClp.c +0 -1548
- data/ext/abc/src/sat/bmc/bmcEco.c +0 -312
- data/ext/abc/src/sat/bmc/bmcEnum.c +0 -223
- data/ext/abc/src/sat/bmc/bmcExpand.c +0 -172
- data/ext/abc/src/sat/bmc/bmcFault.c +0 -1710
- data/ext/abc/src/sat/bmc/bmcFx.c +0 -725
- data/ext/abc/src/sat/bmc/bmcGen.c +0 -193
- data/ext/abc/src/sat/bmc/bmcICheck.c +0 -540
- data/ext/abc/src/sat/bmc/bmcInse.c +0 -345
- data/ext/abc/src/sat/bmc/bmcLoad.c +0 -212
- data/ext/abc/src/sat/bmc/bmcMaj.c +0 -745
- data/ext/abc/src/sat/bmc/bmcMaj2.c +0 -852
- data/ext/abc/src/sat/bmc/bmcMaxi.c +0 -282
- data/ext/abc/src/sat/bmc/bmcMesh.c +0 -433
- data/ext/abc/src/sat/bmc/bmcMesh2.c +0 -449
- data/ext/abc/src/sat/bmc/bmcMulti.c +0 -296
- data/ext/abc/src/sat/bmc/bmcUnroll.c +0 -505
- data/ext/abc/src/sat/bmc/module.make +0 -31
- data/ext/abc/src/sat/bsat/license +0 -21
- data/ext/abc/src/sat/bsat/module.make +0 -14
- data/ext/abc/src/sat/bsat/satChecker.c +0 -193
- data/ext/abc/src/sat/bsat/satClause.h +0 -476
- data/ext/abc/src/sat/bsat/satInter.c +0 -1077
- data/ext/abc/src/sat/bsat/satInterA.c +0 -1090
- data/ext/abc/src/sat/bsat/satInterB.c +0 -1115
- data/ext/abc/src/sat/bsat/satInterP.c +0 -1096
- data/ext/abc/src/sat/bsat/satMem.c +0 -583
- data/ext/abc/src/sat/bsat/satMem.h +0 -85
- data/ext/abc/src/sat/bsat/satProof.c +0 -934
- data/ext/abc/src/sat/bsat/satProof2.h +0 -327
- data/ext/abc/src/sat/bsat/satSolver.c +0 -2417
- data/ext/abc/src/sat/bsat/satSolver.h +0 -639
- data/ext/abc/src/sat/bsat/satSolver2.c +0 -1998
- data/ext/abc/src/sat/bsat/satSolver2.h +0 -377
- data/ext/abc/src/sat/bsat/satSolver2i.c +0 -242
- data/ext/abc/src/sat/bsat/satSolver3.c +0 -2299
- data/ext/abc/src/sat/bsat/satSolver3.h +0 -622
- data/ext/abc/src/sat/bsat/satStore.c +0 -469
- data/ext/abc/src/sat/bsat/satStore.h +0 -158
- data/ext/abc/src/sat/bsat/satTrace.c +0 -112
- data/ext/abc/src/sat/bsat/satTruth.c +0 -299
- data/ext/abc/src/sat/bsat/satTruth.h +0 -89
- data/ext/abc/src/sat/bsat/satUtil.c +0 -358
- data/ext/abc/src/sat/bsat/satVec.h +0 -161
- data/ext/abc/src/sat/bsat2/AbcApi.cpp +0 -59
- data/ext/abc/src/sat/bsat2/Alg.h +0 -84
- data/ext/abc/src/sat/bsat2/Alloc.h +0 -131
- data/ext/abc/src/sat/bsat2/Dimacs.h +0 -89
- data/ext/abc/src/sat/bsat2/Heap.h +0 -149
- data/ext/abc/src/sat/bsat2/IntTypes.h +0 -47
- data/ext/abc/src/sat/bsat2/LICENSE +0 -21
- data/ext/abc/src/sat/bsat2/MainSat.cpp +0 -197
- data/ext/abc/src/sat/bsat2/MainSimp.cpp +0 -206
- data/ext/abc/src/sat/bsat2/Map.h +0 -193
- data/ext/abc/src/sat/bsat2/Options.cpp +0 -93
- data/ext/abc/src/sat/bsat2/Options.h +0 -387
- data/ext/abc/src/sat/bsat2/ParseUtils.h +0 -122
- data/ext/abc/src/sat/bsat2/Queue.h +0 -69
- data/ext/abc/src/sat/bsat2/README +0 -24
- data/ext/abc/src/sat/bsat2/ReleaseNotes-2.2.0.txt +0 -79
- data/ext/abc/src/sat/bsat2/SimpSolver.cpp +0 -720
- data/ext/abc/src/sat/bsat2/SimpSolver.h +0 -197
- data/ext/abc/src/sat/bsat2/Solver.cpp +0 -924
- data/ext/abc/src/sat/bsat2/Solver.h +0 -373
- data/ext/abc/src/sat/bsat2/SolverTypes.h +0 -407
- data/ext/abc/src/sat/bsat2/Sort.h +0 -98
- data/ext/abc/src/sat/bsat2/System.cpp +0 -95
- data/ext/abc/src/sat/bsat2/System.h +0 -60
- data/ext/abc/src/sat/bsat2/Vec.h +0 -130
- data/ext/abc/src/sat/bsat2/XAlloc.h +0 -45
- data/ext/abc/src/sat/bsat2/module.make +0 -7
- data/ext/abc/src/sat/bsat2/pstdint.h +0 -813
- data/ext/abc/src/sat/cnf/cnf.h +0 -202
- data/ext/abc/src/sat/cnf/cnfCore.c +0 -290
- data/ext/abc/src/sat/cnf/cnfCut.c +0 -376
- data/ext/abc/src/sat/cnf/cnfData.c +0 -4789
- data/ext/abc/src/sat/cnf/cnfFast.c +0 -697
- data/ext/abc/src/sat/cnf/cnfMan.c +0 -726
- data/ext/abc/src/sat/cnf/cnfMap.c +0 -362
- data/ext/abc/src/sat/cnf/cnfPost.c +0 -238
- data/ext/abc/src/sat/cnf/cnfUtil.c +0 -479
- data/ext/abc/src/sat/cnf/cnfWrite.c +0 -806
- data/ext/abc/src/sat/cnf/cnf_.c +0 -53
- data/ext/abc/src/sat/cnf/module.make +0 -9
- data/ext/abc/src/sat/csat/csat_apis.c +0 -778
- data/ext/abc/src/sat/csat/csat_apis.h +0 -226
- data/ext/abc/src/sat/csat/module.make +0 -1
- data/ext/abc/src/sat/glucose/AbcGlucose.cpp +0 -1372
- data/ext/abc/src/sat/glucose/AbcGlucose.h +0 -110
- data/ext/abc/src/sat/glucose/AbcGlucoseCmd.cpp +0 -144
- data/ext/abc/src/sat/glucose/Alg.h +0 -84
- data/ext/abc/src/sat/glucose/Alloc.h +0 -132
- data/ext/abc/src/sat/glucose/BoundedQueue.h +0 -110
- data/ext/abc/src/sat/glucose/Constants.h +0 -33
- data/ext/abc/src/sat/glucose/Dimacs.h +0 -89
- data/ext/abc/src/sat/glucose/Glucose.cpp +0 -1493
- data/ext/abc/src/sat/glucose/Heap.h +0 -150
- data/ext/abc/src/sat/glucose/IntTypes.h +0 -47
- data/ext/abc/src/sat/glucose/Map.h +0 -193
- data/ext/abc/src/sat/glucose/Options.cpp +0 -92
- data/ext/abc/src/sat/glucose/Options.h +0 -388
- data/ext/abc/src/sat/glucose/ParseUtils.h +0 -151
- data/ext/abc/src/sat/glucose/Queue.h +0 -69
- data/ext/abc/src/sat/glucose/SimpSolver.cpp +0 -774
- data/ext/abc/src/sat/glucose/SimpSolver.h +0 -204
- data/ext/abc/src/sat/glucose/Solver.h +0 -491
- data/ext/abc/src/sat/glucose/SolverTypes.h +0 -434
- data/ext/abc/src/sat/glucose/Sort.h +0 -98
- data/ext/abc/src/sat/glucose/System.cpp +0 -95
- data/ext/abc/src/sat/glucose/System.h +0 -60
- data/ext/abc/src/sat/glucose/Vec.h +0 -130
- data/ext/abc/src/sat/glucose/XAlloc.h +0 -47
- data/ext/abc/src/sat/glucose/module.make +0 -6
- data/ext/abc/src/sat/glucose/pstdint.h +0 -919
- data/ext/abc/src/sat/glucose/stdint.h +0 -1628
- data/ext/abc/src/sat/lsat/solver.h +0 -132
- data/ext/abc/src/sat/msat/module.make +0 -13
- data/ext/abc/src/sat/msat/msat.h +0 -168
- data/ext/abc/src/sat/msat/msatActivity.c +0 -165
- data/ext/abc/src/sat/msat/msatClause.c +0 -537
- data/ext/abc/src/sat/msat/msatClauseVec.c +0 -237
- data/ext/abc/src/sat/msat/msatInt.h +0 -295
- data/ext/abc/src/sat/msat/msatMem.c +0 -534
- data/ext/abc/src/sat/msat/msatOrderH.c +0 -415
- data/ext/abc/src/sat/msat/msatOrderJ.c +0 -477
- data/ext/abc/src/sat/msat/msatQueue.c +0 -162
- data/ext/abc/src/sat/msat/msatRead.c +0 -274
- data/ext/abc/src/sat/msat/msatSolverApi.c +0 -505
- data/ext/abc/src/sat/msat/msatSolverCore.c +0 -215
- data/ext/abc/src/sat/msat/msatSolverIo.c +0 -182
- data/ext/abc/src/sat/msat/msatSolverSearch.c +0 -634
- data/ext/abc/src/sat/msat/msatSort.c +0 -178
- data/ext/abc/src/sat/msat/msatVec.c +0 -500
- data/ext/abc/src/sat/proof/pr.c +0 -1264
- data/ext/abc/src/sat/proof/pr.h +0 -69
- data/ext/abc/src/sat/proof/stats.txt +0 -66
- data/ext/abc/src/sat/psat/m114p.h +0 -47
- data/ext/abc/src/sat/psat/m114p_types.h +0 -13
- data/ext/abc/src/sat/psat/module.make +0 -1
- data/ext/abc/src/sat/satoko/LICENSE +0 -22
- data/ext/abc/src/sat/satoko/act_clause.h +0 -43
- data/ext/abc/src/sat/satoko/act_var.h +0 -53
- data/ext/abc/src/sat/satoko/cdb.h +0 -106
- data/ext/abc/src/sat/satoko/clause.h +0 -77
- data/ext/abc/src/sat/satoko/cnf_reader.c +0 -157
- data/ext/abc/src/sat/satoko/module.make +0 -3
- data/ext/abc/src/sat/satoko/satoko.h +0 -147
- data/ext/abc/src/sat/satoko/solver.c +0 -771
- data/ext/abc/src/sat/satoko/solver.h +0 -260
- data/ext/abc/src/sat/satoko/solver_api.c +0 -669
- data/ext/abc/src/sat/satoko/types.h +0 -39
- data/ext/abc/src/sat/satoko/utils/b_queue.h +0 -81
- data/ext/abc/src/sat/satoko/utils/heap.h +0 -178
- data/ext/abc/src/sat/satoko/utils/mem.h +0 -23
- data/ext/abc/src/sat/satoko/utils/misc.h +0 -35
- data/ext/abc/src/sat/satoko/utils/sdbl.h +0 -133
- data/ext/abc/src/sat/satoko/utils/sort.h +0 -65
- data/ext/abc/src/sat/satoko/utils/vec/vec_char.h +0 -260
- data/ext/abc/src/sat/satoko/utils/vec/vec_flt.h +0 -246
- data/ext/abc/src/sat/satoko/utils/vec/vec_int.h +0 -240
- data/ext/abc/src/sat/satoko/utils/vec/vec_sdbl.h +0 -253
- data/ext/abc/src/sat/satoko/utils/vec/vec_uint.h +0 -268
- data/ext/abc/src/sat/satoko/watch_list.h +0 -203
- data/ext/abc/src/sat/xsat/license +0 -39
- data/ext/abc/src/sat/xsat/module.make +0 -3
- data/ext/abc/src/sat/xsat/xsat.h +0 -59
- data/ext/abc/src/sat/xsat/xsatBQueue.h +0 -190
- data/ext/abc/src/sat/xsat/xsatClause.h +0 -109
- data/ext/abc/src/sat/xsat/xsatCnfReader.c +0 -236
- data/ext/abc/src/sat/xsat/xsatHeap.h +0 -330
- data/ext/abc/src/sat/xsat/xsatMemory.h +0 -222
- data/ext/abc/src/sat/xsat/xsatSolver.c +0 -1003
- data/ext/abc/src/sat/xsat/xsatSolver.h +0 -248
- data/ext/abc/src/sat/xsat/xsatSolverAPI.c +0 -346
- data/ext/abc/src/sat/xsat/xsatUtils.h +0 -106
- data/ext/abc/src/sat/xsat/xsatWatchList.h +0 -269
- data/ext/abc/src/starter.c +0 -190
- data/ext/abc/src/template.c +0 -111
- data/ext/extconf.rb +0 -14
- data/ext/ruby_abc_wrapper.h +0 -13
@@ -1,1588 +0,0 @@
|
|
1
|
-
|
2
|
-
/*-------------------------------------------------------------*/
|
3
|
-
/*--- Library top-level functions. ---*/
|
4
|
-
/*--- bzlib.c ---*/
|
5
|
-
/*-------------------------------------------------------------*/
|
6
|
-
|
7
|
-
/* ------------------------------------------------------------------
|
8
|
-
This file is part of bzip2/libbzip2, a program and library for
|
9
|
-
lossless, block-sorting data compression.
|
10
|
-
|
11
|
-
bzip2/libbzip2 version 1.0.5 of 10 December 2007
|
12
|
-
Copyright (C) 1996-2007 Julian Seward <jseward@bzip.org>
|
13
|
-
|
14
|
-
Please read the WARNING, DISCLAIMER and PATENTS sections in the
|
15
|
-
README file.
|
16
|
-
|
17
|
-
This program is released under the terms of the license contained
|
18
|
-
in the file LICENSE.
|
19
|
-
------------------------------------------------------------------ */
|
20
|
-
|
21
|
-
/* CHANGES
|
22
|
-
0.9.0 -- original version.
|
23
|
-
0.9.0a/b -- no changes in this file.
|
24
|
-
0.9.0c -- made zero-length BZ_FLUSH work correctly in bzCompress().
|
25
|
-
fixed bzWrite/bzRead to ignore zero-length requests.
|
26
|
-
fixed bzread to correctly handle read requests after EOF.
|
27
|
-
wrong parameter order in call to bzDecompressInit in
|
28
|
-
bzBuffToBuffDecompress. Fixed.
|
29
|
-
*/
|
30
|
-
|
31
|
-
#include "bzlib_private.h"
|
32
|
-
|
33
|
-
#ifdef WIN32
|
34
|
-
#pragma warning(disable : 4996)
|
35
|
-
#endif
|
36
|
-
|
37
|
-
ABC_NAMESPACE_IMPL_START
|
38
|
-
|
39
|
-
#ifdef _WIN32
|
40
|
-
#define fileno _fileno
|
41
|
-
#define fdopen _fdopen
|
42
|
-
#define setmode _setmode
|
43
|
-
#endif
|
44
|
-
|
45
|
-
/*---------------------------------------------------*/
|
46
|
-
/*--- Compression stuff ---*/
|
47
|
-
/*---------------------------------------------------*/
|
48
|
-
|
49
|
-
|
50
|
-
/*---------------------------------------------------*/
|
51
|
-
#ifndef BZ_NO_STDIO
|
52
|
-
void BZ2_bz__AssertH__fail ( int errcode )
|
53
|
-
{
|
54
|
-
fprintf(stderr,
|
55
|
-
"\n\nbzip2/libbzip2: internal error number %d.\n"
|
56
|
-
"This is a bug in bzip2/libbzip2, %s.\n"
|
57
|
-
"Please report it to me at: jseward@bzip.org. If this happened\n"
|
58
|
-
"when you were using some program which uses libbzip2 as a\n"
|
59
|
-
"component, you should also report this bug to the author(s)\n"
|
60
|
-
"of that program. Please make an effort to report this bug;\n"
|
61
|
-
"timely and accurate bug reports eventually lead to higher\n"
|
62
|
-
"quality software. Thanks. Julian Seward, 10 December 2007.\n\n",
|
63
|
-
errcode,
|
64
|
-
BZ2_bzlibVersion()
|
65
|
-
);
|
66
|
-
|
67
|
-
if (errcode == 1007) {
|
68
|
-
fprintf(stderr,
|
69
|
-
"\n*** A special note about internal error number 1007 ***\n"
|
70
|
-
"\n"
|
71
|
-
"Experience suggests that a common cause of i.e. 1007\n"
|
72
|
-
"is unreliable memory or other hardware. The 1007 assertion\n"
|
73
|
-
"just happens to cross-check the results of huge numbers of\n"
|
74
|
-
"memory reads/writes, and so acts (unintendedly) as a stress\n"
|
75
|
-
"test of your memory system.\n"
|
76
|
-
"\n"
|
77
|
-
"I suggest the following: try compressing the file again,\n"
|
78
|
-
"possibly monitoring progress in detail with the -vv flag.\n"
|
79
|
-
"\n"
|
80
|
-
"* If the error cannot be reproduced, and/or happens at different\n"
|
81
|
-
" points in compression, you may have a flaky memory system.\n"
|
82
|
-
" Try a memory-test program. I have used Memtest86\n"
|
83
|
-
" (www.memtest86.com). At the time of writing it is free (GPLd).\n"
|
84
|
-
" Memtest86 tests memory much more thorougly than your BIOSs\n"
|
85
|
-
" power-on test, and may find failures that the BIOS doesn't.\n"
|
86
|
-
"\n"
|
87
|
-
"* If the error can be repeatably reproduced, this is a bug in\n"
|
88
|
-
" bzip2, and I would very much like to hear about it. Please\n"
|
89
|
-
" let me know, and, ideally, save a copy of the file causing the\n"
|
90
|
-
" problem -- without which I will be unable to investigate it.\n"
|
91
|
-
"\n"
|
92
|
-
);
|
93
|
-
}
|
94
|
-
|
95
|
-
exit(3);
|
96
|
-
}
|
97
|
-
#endif
|
98
|
-
|
99
|
-
|
100
|
-
/*---------------------------------------------------*/
|
101
|
-
static
|
102
|
-
int bz_config_ok ( void )
|
103
|
-
{
|
104
|
-
if (sizeof(int) != 4) return 0;
|
105
|
-
if (sizeof(short) != 2) return 0;
|
106
|
-
if (sizeof(char) != 1) return 0;
|
107
|
-
return 1;
|
108
|
-
}
|
109
|
-
|
110
|
-
|
111
|
-
/*---------------------------------------------------*/
|
112
|
-
static
|
113
|
-
void* default_bzalloc ( void* opaque, Int32 items, Int32 size )
|
114
|
-
{
|
115
|
-
void* v = malloc ( items * size );
|
116
|
-
return v;
|
117
|
-
}
|
118
|
-
|
119
|
-
static
|
120
|
-
void default_bzfree ( void* opaque, void* addr )
|
121
|
-
{
|
122
|
-
if (addr != NULL) free ( addr );
|
123
|
-
}
|
124
|
-
|
125
|
-
|
126
|
-
/*---------------------------------------------------*/
|
127
|
-
static
|
128
|
-
void prepare_new_block ( EState* s )
|
129
|
-
{
|
130
|
-
Int32 i;
|
131
|
-
s->nblock = 0;
|
132
|
-
s->numZ = 0;
|
133
|
-
s->state_out_pos = 0;
|
134
|
-
BZ_INITIALISE_CRC ( s->blockCRC );
|
135
|
-
for (i = 0; i < 256; i++) s->inUse[i] = False;
|
136
|
-
s->blockNo++;
|
137
|
-
}
|
138
|
-
|
139
|
-
|
140
|
-
/*---------------------------------------------------*/
|
141
|
-
static
|
142
|
-
void init_RL ( EState* s )
|
143
|
-
{
|
144
|
-
s->state_in_ch = 256;
|
145
|
-
s->state_in_len = 0;
|
146
|
-
}
|
147
|
-
|
148
|
-
|
149
|
-
static
|
150
|
-
Bool isempty_RL ( EState* s )
|
151
|
-
{
|
152
|
-
if (s->state_in_ch < 256 && s->state_in_len > 0)
|
153
|
-
return False; else
|
154
|
-
return True;
|
155
|
-
}
|
156
|
-
|
157
|
-
|
158
|
-
/*---------------------------------------------------*/
|
159
|
-
int BZ_API(BZ2_bzCompressInit)
|
160
|
-
( bz_stream* strm,
|
161
|
-
int blockSize100k,
|
162
|
-
int verbosity,
|
163
|
-
int workFactor )
|
164
|
-
{
|
165
|
-
Int32 n;
|
166
|
-
EState* s;
|
167
|
-
|
168
|
-
if (!bz_config_ok()) return BZ_CONFIG_ERROR;
|
169
|
-
|
170
|
-
if (strm == NULL ||
|
171
|
-
blockSize100k < 1 || blockSize100k > 9 ||
|
172
|
-
workFactor < 0 || workFactor > 250)
|
173
|
-
return BZ_PARAM_ERROR;
|
174
|
-
|
175
|
-
if (workFactor == 0) workFactor = 30;
|
176
|
-
if (strm->bzalloc == NULL) strm->bzalloc = default_bzalloc;
|
177
|
-
if (strm->bzfree == NULL) strm->bzfree = default_bzfree;
|
178
|
-
|
179
|
-
s = (EState *)BZALLOC( sizeof(EState) );
|
180
|
-
if (s == NULL) return BZ_MEM_ERROR;
|
181
|
-
s->strm = strm;
|
182
|
-
|
183
|
-
s->arr1 = NULL;
|
184
|
-
s->arr2 = NULL;
|
185
|
-
s->ftab = NULL;
|
186
|
-
|
187
|
-
n = 100000 * blockSize100k;
|
188
|
-
s->arr1 = (unsigned *)BZALLOC( n * sizeof(UInt32) );
|
189
|
-
s->arr2 = (unsigned *)BZALLOC( (n+BZ_N_OVERSHOOT) * sizeof(UInt32) );
|
190
|
-
s->ftab = (unsigned *)BZALLOC( 65537 * sizeof(UInt32) );
|
191
|
-
|
192
|
-
if (s->arr1 == NULL || s->arr2 == NULL || s->ftab == NULL) {
|
193
|
-
if (s->arr1 != NULL) BZFREE(s->arr1);
|
194
|
-
if (s->arr2 != NULL) BZFREE(s->arr2);
|
195
|
-
if (s->ftab != NULL) BZFREE(s->ftab);
|
196
|
-
if (s != NULL) BZFREE(s);
|
197
|
-
return BZ_MEM_ERROR;
|
198
|
-
}
|
199
|
-
|
200
|
-
s->blockNo = 0;
|
201
|
-
s->state = BZ_S_INPUT;
|
202
|
-
s->mode = BZ_M_RUNNING;
|
203
|
-
s->combinedCRC = 0;
|
204
|
-
s->blockSize100k = blockSize100k;
|
205
|
-
s->nblockMAX = 100000 * blockSize100k - 19;
|
206
|
-
s->verbosity = verbosity;
|
207
|
-
s->workFactor = workFactor;
|
208
|
-
|
209
|
-
s->block = (UChar*)s->arr2;
|
210
|
-
s->mtfv = (UInt16*)s->arr1;
|
211
|
-
s->zbits = NULL;
|
212
|
-
s->ptr = (UInt32*)s->arr1;
|
213
|
-
|
214
|
-
strm->state = s;
|
215
|
-
strm->total_in_lo32 = 0;
|
216
|
-
strm->total_in_hi32 = 0;
|
217
|
-
strm->total_out_lo32 = 0;
|
218
|
-
strm->total_out_hi32 = 0;
|
219
|
-
init_RL ( s );
|
220
|
-
prepare_new_block ( s );
|
221
|
-
return BZ_OK;
|
222
|
-
}
|
223
|
-
|
224
|
-
|
225
|
-
/*---------------------------------------------------*/
|
226
|
-
static
|
227
|
-
void add_pair_to_block ( EState* s )
|
228
|
-
{
|
229
|
-
Int32 i;
|
230
|
-
UChar ch = (UChar)(s->state_in_ch);
|
231
|
-
for (i = 0; i < s->state_in_len; i++) {
|
232
|
-
BZ_UPDATE_CRC( s->blockCRC, ch );
|
233
|
-
}
|
234
|
-
s->inUse[s->state_in_ch] = True;
|
235
|
-
switch (s->state_in_len) {
|
236
|
-
case 1:
|
237
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
238
|
-
break;
|
239
|
-
case 2:
|
240
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
241
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
242
|
-
break;
|
243
|
-
case 3:
|
244
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
245
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
246
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
247
|
-
break;
|
248
|
-
default:
|
249
|
-
s->inUse[s->state_in_len-4] = True;
|
250
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
251
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
252
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
253
|
-
s->block[s->nblock] = (UChar)ch; s->nblock++;
|
254
|
-
s->block[s->nblock] = ((UChar)(s->state_in_len-4));
|
255
|
-
s->nblock++;
|
256
|
-
break;
|
257
|
-
}
|
258
|
-
}
|
259
|
-
|
260
|
-
|
261
|
-
/*---------------------------------------------------*/
|
262
|
-
static
|
263
|
-
void flush_RL ( EState* s )
|
264
|
-
{
|
265
|
-
if (s->state_in_ch < 256) add_pair_to_block ( s );
|
266
|
-
init_RL ( s );
|
267
|
-
}
|
268
|
-
|
269
|
-
|
270
|
-
/*---------------------------------------------------*/
|
271
|
-
#define ADD_CHAR_TO_BLOCK(zs,zchh0) \
|
272
|
-
{ \
|
273
|
-
UInt32 zchh = (UInt32)(zchh0); \
|
274
|
-
/*-- fast track the common case --*/ \
|
275
|
-
if (zchh != zs->state_in_ch && \
|
276
|
-
zs->state_in_len == 1) { \
|
277
|
-
UChar ch = (UChar)(zs->state_in_ch); \
|
278
|
-
BZ_UPDATE_CRC( zs->blockCRC, ch ); \
|
279
|
-
zs->inUse[zs->state_in_ch] = True; \
|
280
|
-
zs->block[zs->nblock] = (UChar)ch; \
|
281
|
-
zs->nblock++; \
|
282
|
-
zs->state_in_ch = zchh; \
|
283
|
-
} \
|
284
|
-
else \
|
285
|
-
/*-- general, uncommon cases --*/ \
|
286
|
-
if (zchh != zs->state_in_ch || \
|
287
|
-
zs->state_in_len == 255) { \
|
288
|
-
if (zs->state_in_ch < 256) \
|
289
|
-
add_pair_to_block ( zs ); \
|
290
|
-
zs->state_in_ch = zchh; \
|
291
|
-
zs->state_in_len = 1; \
|
292
|
-
} else { \
|
293
|
-
zs->state_in_len++; \
|
294
|
-
} \
|
295
|
-
}
|
296
|
-
|
297
|
-
|
298
|
-
/*---------------------------------------------------*/
|
299
|
-
static
|
300
|
-
Bool copy_input_until_stop ( EState* s )
|
301
|
-
{
|
302
|
-
Bool progress_in = False;
|
303
|
-
|
304
|
-
if (s->mode == BZ_M_RUNNING) {
|
305
|
-
|
306
|
-
/*-- fast track the common case --*/
|
307
|
-
while (True) {
|
308
|
-
/*-- block full? --*/
|
309
|
-
if (s->nblock >= s->nblockMAX) break;
|
310
|
-
/*-- no input? --*/
|
311
|
-
if (s->strm->avail_in == 0) break;
|
312
|
-
progress_in = True;
|
313
|
-
ADD_CHAR_TO_BLOCK ( s, (UInt32)(*((UChar*)(s->strm->next_in))) );
|
314
|
-
s->strm->next_in++;
|
315
|
-
s->strm->avail_in--;
|
316
|
-
s->strm->total_in_lo32++;
|
317
|
-
if (s->strm->total_in_lo32 == 0) s->strm->total_in_hi32++;
|
318
|
-
}
|
319
|
-
|
320
|
-
} else {
|
321
|
-
|
322
|
-
/*-- general, uncommon case --*/
|
323
|
-
while (True) {
|
324
|
-
/*-- block full? --*/
|
325
|
-
if (s->nblock >= s->nblockMAX) break;
|
326
|
-
/*-- no input? --*/
|
327
|
-
if (s->strm->avail_in == 0) break;
|
328
|
-
/*-- flush/finish end? --*/
|
329
|
-
if (s->avail_in_expect == 0) break;
|
330
|
-
progress_in = True;
|
331
|
-
ADD_CHAR_TO_BLOCK ( s, (UInt32)(*((UChar*)(s->strm->next_in))) );
|
332
|
-
s->strm->next_in++;
|
333
|
-
s->strm->avail_in--;
|
334
|
-
s->strm->total_in_lo32++;
|
335
|
-
if (s->strm->total_in_lo32 == 0) s->strm->total_in_hi32++;
|
336
|
-
s->avail_in_expect--;
|
337
|
-
}
|
338
|
-
}
|
339
|
-
return progress_in;
|
340
|
-
}
|
341
|
-
|
342
|
-
|
343
|
-
/*---------------------------------------------------*/
|
344
|
-
static
|
345
|
-
Bool copy_output_until_stop ( EState* s )
|
346
|
-
{
|
347
|
-
Bool progress_out = False;
|
348
|
-
|
349
|
-
while (True) {
|
350
|
-
|
351
|
-
/*-- no output space? --*/
|
352
|
-
if (s->strm->avail_out == 0) break;
|
353
|
-
|
354
|
-
/*-- block done? --*/
|
355
|
-
if (s->state_out_pos >= s->numZ) break;
|
356
|
-
|
357
|
-
progress_out = True;
|
358
|
-
*(s->strm->next_out) = s->zbits[s->state_out_pos];
|
359
|
-
s->state_out_pos++;
|
360
|
-
s->strm->avail_out--;
|
361
|
-
s->strm->next_out++;
|
362
|
-
s->strm->total_out_lo32++;
|
363
|
-
if (s->strm->total_out_lo32 == 0) s->strm->total_out_hi32++;
|
364
|
-
}
|
365
|
-
|
366
|
-
return progress_out;
|
367
|
-
}
|
368
|
-
|
369
|
-
|
370
|
-
/*---------------------------------------------------*/
|
371
|
-
static
|
372
|
-
Bool handle_compress ( bz_stream* strm )
|
373
|
-
{
|
374
|
-
Bool progress_in = False;
|
375
|
-
Bool progress_out = False;
|
376
|
-
EState* s = (EState *)strm->state;
|
377
|
-
|
378
|
-
while (True) {
|
379
|
-
|
380
|
-
if (s->state == BZ_S_OUTPUT) {
|
381
|
-
progress_out |= copy_output_until_stop ( s );
|
382
|
-
if (s->state_out_pos < s->numZ) break;
|
383
|
-
if (s->mode == BZ_M_FINISHING &&
|
384
|
-
s->avail_in_expect == 0 &&
|
385
|
-
isempty_RL(s)) break;
|
386
|
-
prepare_new_block ( s );
|
387
|
-
s->state = BZ_S_INPUT;
|
388
|
-
if (s->mode == BZ_M_FLUSHING &&
|
389
|
-
s->avail_in_expect == 0 &&
|
390
|
-
isempty_RL(s)) break;
|
391
|
-
}
|
392
|
-
|
393
|
-
if (s->state == BZ_S_INPUT) {
|
394
|
-
progress_in |= copy_input_until_stop ( s );
|
395
|
-
if (s->mode != BZ_M_RUNNING && s->avail_in_expect == 0) {
|
396
|
-
flush_RL ( s );
|
397
|
-
BZ2_compressBlock ( s, (Bool)(s->mode == BZ_M_FINISHING) );
|
398
|
-
s->state = BZ_S_OUTPUT;
|
399
|
-
}
|
400
|
-
else
|
401
|
-
if (s->nblock >= s->nblockMAX) {
|
402
|
-
BZ2_compressBlock ( s, False );
|
403
|
-
s->state = BZ_S_OUTPUT;
|
404
|
-
}
|
405
|
-
else
|
406
|
-
if (s->strm->avail_in == 0) {
|
407
|
-
break;
|
408
|
-
}
|
409
|
-
}
|
410
|
-
|
411
|
-
}
|
412
|
-
|
413
|
-
return progress_in || progress_out;
|
414
|
-
}
|
415
|
-
|
416
|
-
|
417
|
-
/*---------------------------------------------------*/
|
418
|
-
int BZ_API(BZ2_bzCompress) ( bz_stream *strm, int action )
|
419
|
-
{
|
420
|
-
Bool progress;
|
421
|
-
EState* s;
|
422
|
-
if (strm == NULL) return BZ_PARAM_ERROR;
|
423
|
-
s = (EState *)strm->state;
|
424
|
-
if (s == NULL) return BZ_PARAM_ERROR;
|
425
|
-
if (s->strm != strm) return BZ_PARAM_ERROR;
|
426
|
-
|
427
|
-
preswitch:
|
428
|
-
switch (s->mode) {
|
429
|
-
|
430
|
-
case BZ_M_IDLE:
|
431
|
-
return BZ_SEQUENCE_ERROR;
|
432
|
-
|
433
|
-
case BZ_M_RUNNING:
|
434
|
-
if (action == BZ_RUN) {
|
435
|
-
progress = handle_compress ( strm );
|
436
|
-
return progress ? BZ_RUN_OK : BZ_PARAM_ERROR;
|
437
|
-
}
|
438
|
-
else
|
439
|
-
if (action == BZ_FLUSH) {
|
440
|
-
s->avail_in_expect = strm->avail_in;
|
441
|
-
s->mode = BZ_M_FLUSHING;
|
442
|
-
goto preswitch;
|
443
|
-
}
|
444
|
-
else
|
445
|
-
if (action == BZ_FINISH) {
|
446
|
-
s->avail_in_expect = strm->avail_in;
|
447
|
-
s->mode = BZ_M_FINISHING;
|
448
|
-
goto preswitch;
|
449
|
-
}
|
450
|
-
else
|
451
|
-
return BZ_PARAM_ERROR;
|
452
|
-
|
453
|
-
case BZ_M_FLUSHING:
|
454
|
-
if (action != BZ_FLUSH) return BZ_SEQUENCE_ERROR;
|
455
|
-
if (s->avail_in_expect != s->strm->avail_in)
|
456
|
-
return BZ_SEQUENCE_ERROR;
|
457
|
-
progress = handle_compress ( strm );
|
458
|
-
if (s->avail_in_expect > 0 || !isempty_RL(s) ||
|
459
|
-
s->state_out_pos < s->numZ) return BZ_FLUSH_OK;
|
460
|
-
s->mode = BZ_M_RUNNING;
|
461
|
-
return BZ_RUN_OK;
|
462
|
-
|
463
|
-
case BZ_M_FINISHING:
|
464
|
-
if (action != BZ_FINISH) return BZ_SEQUENCE_ERROR;
|
465
|
-
if (s->avail_in_expect != s->strm->avail_in)
|
466
|
-
return BZ_SEQUENCE_ERROR;
|
467
|
-
progress = handle_compress ( strm );
|
468
|
-
if (!progress) return BZ_SEQUENCE_ERROR;
|
469
|
-
if (s->avail_in_expect > 0 || !isempty_RL(s) ||
|
470
|
-
s->state_out_pos < s->numZ) return BZ_FINISH_OK;
|
471
|
-
s->mode = BZ_M_IDLE;
|
472
|
-
return BZ_STREAM_END;
|
473
|
-
}
|
474
|
-
return BZ_OK; /*--not reached--*/
|
475
|
-
}
|
476
|
-
|
477
|
-
|
478
|
-
/*---------------------------------------------------*/
|
479
|
-
int BZ_API(BZ2_bzCompressEnd) ( bz_stream *strm )
|
480
|
-
{
|
481
|
-
EState* s;
|
482
|
-
if (strm == NULL) return BZ_PARAM_ERROR;
|
483
|
-
s = (EState *)strm->state;
|
484
|
-
if (s == NULL) return BZ_PARAM_ERROR;
|
485
|
-
if (s->strm != strm) return BZ_PARAM_ERROR;
|
486
|
-
|
487
|
-
if (s->arr1 != NULL) BZFREE(s->arr1);
|
488
|
-
if (s->arr2 != NULL) BZFREE(s->arr2);
|
489
|
-
if (s->ftab != NULL) BZFREE(s->ftab);
|
490
|
-
BZFREE(strm->state);
|
491
|
-
|
492
|
-
strm->state = NULL;
|
493
|
-
|
494
|
-
return BZ_OK;
|
495
|
-
}
|
496
|
-
|
497
|
-
|
498
|
-
/*---------------------------------------------------*/
|
499
|
-
/*--- Decompression stuff ---*/
|
500
|
-
/*---------------------------------------------------*/
|
501
|
-
|
502
|
-
/*---------------------------------------------------*/
|
503
|
-
int BZ_API(BZ2_bzDecompressInit)
|
504
|
-
( bz_stream* strm,
|
505
|
-
int verbosity,
|
506
|
-
int small )
|
507
|
-
{
|
508
|
-
DState* s;
|
509
|
-
|
510
|
-
if (!bz_config_ok()) return BZ_CONFIG_ERROR;
|
511
|
-
|
512
|
-
if (strm == NULL) return BZ_PARAM_ERROR;
|
513
|
-
if (small != 0 && small != 1) return BZ_PARAM_ERROR;
|
514
|
-
if (verbosity < 0 || verbosity > 4) return BZ_PARAM_ERROR;
|
515
|
-
|
516
|
-
if (strm->bzalloc == NULL) strm->bzalloc = default_bzalloc;
|
517
|
-
if (strm->bzfree == NULL) strm->bzfree = default_bzfree;
|
518
|
-
|
519
|
-
s = (DState *)BZALLOC( sizeof(DState) );
|
520
|
-
if (s == NULL) return BZ_MEM_ERROR;
|
521
|
-
s->strm = strm;
|
522
|
-
strm->state = s;
|
523
|
-
s->state = BZ_X_MAGIC_1;
|
524
|
-
s->bsLive = 0;
|
525
|
-
s->bsBuff = 0;
|
526
|
-
s->calculatedCombinedCRC = 0;
|
527
|
-
strm->total_in_lo32 = 0;
|
528
|
-
strm->total_in_hi32 = 0;
|
529
|
-
strm->total_out_lo32 = 0;
|
530
|
-
strm->total_out_hi32 = 0;
|
531
|
-
s->smallDecompress = (Bool)small;
|
532
|
-
s->ll4 = NULL;
|
533
|
-
s->ll16 = NULL;
|
534
|
-
s->tt = NULL;
|
535
|
-
s->currBlockNo = 0;
|
536
|
-
s->verbosity = verbosity;
|
537
|
-
|
538
|
-
return BZ_OK;
|
539
|
-
}
|
540
|
-
|
541
|
-
|
542
|
-
/*---------------------------------------------------*/
|
543
|
-
/* Return True iff data corruption is discovered.
|
544
|
-
Returns False if there is no problem.
|
545
|
-
*/
|
546
|
-
static
|
547
|
-
Bool unRLE_obuf_to_output_FAST ( DState* s )
|
548
|
-
{
|
549
|
-
UChar k1;
|
550
|
-
|
551
|
-
if (s->blockRandomised) {
|
552
|
-
|
553
|
-
while (True) {
|
554
|
-
/* try to finish existing run */
|
555
|
-
while (True) {
|
556
|
-
if (s->strm->avail_out == 0) return False;
|
557
|
-
if (s->state_out_len == 0) break;
|
558
|
-
*( (UChar*)(s->strm->next_out) ) = s->state_out_ch;
|
559
|
-
BZ_UPDATE_CRC ( s->calculatedBlockCRC, s->state_out_ch );
|
560
|
-
s->state_out_len--;
|
561
|
-
s->strm->next_out++;
|
562
|
-
s->strm->avail_out--;
|
563
|
-
s->strm->total_out_lo32++;
|
564
|
-
if (s->strm->total_out_lo32 == 0) s->strm->total_out_hi32++;
|
565
|
-
}
|
566
|
-
|
567
|
-
/* can a new run be started? */
|
568
|
-
if (s->nblock_used == s->save_nblock+1) return False;
|
569
|
-
|
570
|
-
/* Only caused by corrupt data stream? */
|
571
|
-
if (s->nblock_used > s->save_nblock+1)
|
572
|
-
return True;
|
573
|
-
|
574
|
-
s->state_out_len = 1;
|
575
|
-
s->state_out_ch = s->k0;
|
576
|
-
BZ_GET_FAST(k1); BZ_RAND_UPD_MASK;
|
577
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
578
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
579
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
580
|
-
|
581
|
-
s->state_out_len = 2;
|
582
|
-
BZ_GET_FAST(k1); BZ_RAND_UPD_MASK;
|
583
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
584
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
585
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
586
|
-
|
587
|
-
s->state_out_len = 3;
|
588
|
-
BZ_GET_FAST(k1); BZ_RAND_UPD_MASK;
|
589
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
590
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
591
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
592
|
-
|
593
|
-
BZ_GET_FAST(k1); BZ_RAND_UPD_MASK;
|
594
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
595
|
-
s->state_out_len = ((Int32)k1) + 4;
|
596
|
-
BZ_GET_FAST(s->k0); BZ_RAND_UPD_MASK;
|
597
|
-
s->k0 ^= BZ_RAND_MASK; s->nblock_used++;
|
598
|
-
}
|
599
|
-
|
600
|
-
} else {
|
601
|
-
|
602
|
-
/* restore */
|
603
|
-
UInt32 c_calculatedBlockCRC = s->calculatedBlockCRC;
|
604
|
-
UChar c_state_out_ch = s->state_out_ch;
|
605
|
-
Int32 c_state_out_len = s->state_out_len;
|
606
|
-
Int32 c_nblock_used = s->nblock_used;
|
607
|
-
Int32 c_k0 = s->k0;
|
608
|
-
UInt32* c_tt = s->tt;
|
609
|
-
UInt32 c_tPos = s->tPos;
|
610
|
-
char* cs_next_out = s->strm->next_out;
|
611
|
-
unsigned int cs_avail_out = s->strm->avail_out;
|
612
|
-
Int32 ro_blockSize100k = s->blockSize100k;
|
613
|
-
/* end restore */
|
614
|
-
|
615
|
-
UInt32 avail_out_INIT = cs_avail_out;
|
616
|
-
Int32 s_save_nblockPP = s->save_nblock+1;
|
617
|
-
unsigned int total_out_lo32_old;
|
618
|
-
|
619
|
-
while (True) {
|
620
|
-
|
621
|
-
/* try to finish existing run */
|
622
|
-
if (c_state_out_len > 0) {
|
623
|
-
while (True) {
|
624
|
-
if (cs_avail_out == 0) goto return_notr;
|
625
|
-
if (c_state_out_len == 1) break;
|
626
|
-
*( (UChar*)(cs_next_out) ) = c_state_out_ch;
|
627
|
-
BZ_UPDATE_CRC ( c_calculatedBlockCRC, c_state_out_ch );
|
628
|
-
c_state_out_len--;
|
629
|
-
cs_next_out++;
|
630
|
-
cs_avail_out--;
|
631
|
-
}
|
632
|
-
s_state_out_len_eq_one:
|
633
|
-
{
|
634
|
-
if (cs_avail_out == 0) {
|
635
|
-
c_state_out_len = 1; goto return_notr;
|
636
|
-
};
|
637
|
-
*( (UChar*)(cs_next_out) ) = c_state_out_ch;
|
638
|
-
BZ_UPDATE_CRC ( c_calculatedBlockCRC, c_state_out_ch );
|
639
|
-
cs_next_out++;
|
640
|
-
cs_avail_out--;
|
641
|
-
}
|
642
|
-
}
|
643
|
-
/* Only caused by corrupt data stream? */
|
644
|
-
if (c_nblock_used > s_save_nblockPP)
|
645
|
-
return True;
|
646
|
-
|
647
|
-
/* can a new run be started? */
|
648
|
-
if (c_nblock_used == s_save_nblockPP) {
|
649
|
-
c_state_out_len = 0; goto return_notr;
|
650
|
-
};
|
651
|
-
c_state_out_ch = c_k0;
|
652
|
-
BZ_GET_FAST_C(k1); c_nblock_used++;
|
653
|
-
if (k1 != c_k0) {
|
654
|
-
c_k0 = k1; goto s_state_out_len_eq_one;
|
655
|
-
};
|
656
|
-
if (c_nblock_used == s_save_nblockPP)
|
657
|
-
goto s_state_out_len_eq_one;
|
658
|
-
|
659
|
-
c_state_out_len = 2;
|
660
|
-
BZ_GET_FAST_C(k1); c_nblock_used++;
|
661
|
-
if (c_nblock_used == s_save_nblockPP) continue;
|
662
|
-
if (k1 != c_k0) { c_k0 = k1; continue; };
|
663
|
-
|
664
|
-
c_state_out_len = 3;
|
665
|
-
BZ_GET_FAST_C(k1); c_nblock_used++;
|
666
|
-
if (c_nblock_used == s_save_nblockPP) continue;
|
667
|
-
if (k1 != c_k0) { c_k0 = k1; continue; };
|
668
|
-
|
669
|
-
BZ_GET_FAST_C(k1); c_nblock_used++;
|
670
|
-
c_state_out_len = ((Int32)k1) + 4;
|
671
|
-
BZ_GET_FAST_C(c_k0); c_nblock_used++;
|
672
|
-
}
|
673
|
-
|
674
|
-
return_notr:
|
675
|
-
total_out_lo32_old = s->strm->total_out_lo32;
|
676
|
-
s->strm->total_out_lo32 += (avail_out_INIT - cs_avail_out);
|
677
|
-
if (s->strm->total_out_lo32 < total_out_lo32_old)
|
678
|
-
s->strm->total_out_hi32++;
|
679
|
-
|
680
|
-
/* save */
|
681
|
-
s->calculatedBlockCRC = c_calculatedBlockCRC;
|
682
|
-
s->state_out_ch = c_state_out_ch;
|
683
|
-
s->state_out_len = c_state_out_len;
|
684
|
-
s->nblock_used = c_nblock_used;
|
685
|
-
s->k0 = c_k0;
|
686
|
-
s->tt = c_tt;
|
687
|
-
s->tPos = c_tPos;
|
688
|
-
s->strm->next_out = cs_next_out;
|
689
|
-
s->strm->avail_out = cs_avail_out;
|
690
|
-
/* end save */
|
691
|
-
}
|
692
|
-
return False;
|
693
|
-
}
|
694
|
-
|
695
|
-
|
696
|
-
|
697
|
-
/*---------------------------------------------------*/
|
698
|
-
Int32 BZ2_indexIntoF ( Int32 indx, Int32 *cftab )
|
699
|
-
{
|
700
|
-
Int32 nb, na, mid;
|
701
|
-
nb = 0;
|
702
|
-
na = 256;
|
703
|
-
do {
|
704
|
-
mid = (nb + na) >> 1;
|
705
|
-
if (indx >= cftab[mid]) nb = mid; else na = mid;
|
706
|
-
}
|
707
|
-
while (na - nb != 1);
|
708
|
-
return nb;
|
709
|
-
}
|
710
|
-
|
711
|
-
|
712
|
-
/*---------------------------------------------------*/
|
713
|
-
/* Return True iff data corruption is discovered.
|
714
|
-
Returns False if there is no problem.
|
715
|
-
*/
|
716
|
-
static
|
717
|
-
Bool unRLE_obuf_to_output_SMALL ( DState* s )
|
718
|
-
{
|
719
|
-
UChar k1;
|
720
|
-
|
721
|
-
if (s->blockRandomised) {
|
722
|
-
|
723
|
-
while (True) {
|
724
|
-
/* try to finish existing run */
|
725
|
-
while (True) {
|
726
|
-
if (s->strm->avail_out == 0) return False;
|
727
|
-
if (s->state_out_len == 0) break;
|
728
|
-
*( (UChar*)(s->strm->next_out) ) = s->state_out_ch;
|
729
|
-
BZ_UPDATE_CRC ( s->calculatedBlockCRC, s->state_out_ch );
|
730
|
-
s->state_out_len--;
|
731
|
-
s->strm->next_out++;
|
732
|
-
s->strm->avail_out--;
|
733
|
-
s->strm->total_out_lo32++;
|
734
|
-
if (s->strm->total_out_lo32 == 0) s->strm->total_out_hi32++;
|
735
|
-
}
|
736
|
-
|
737
|
-
/* can a new run be started? */
|
738
|
-
if (s->nblock_used == s->save_nblock+1) return False;
|
739
|
-
|
740
|
-
/* Only caused by corrupt data stream? */
|
741
|
-
if (s->nblock_used > s->save_nblock+1)
|
742
|
-
return True;
|
743
|
-
|
744
|
-
s->state_out_len = 1;
|
745
|
-
s->state_out_ch = s->k0;
|
746
|
-
BZ_GET_SMALL(k1); BZ_RAND_UPD_MASK;
|
747
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
748
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
749
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
750
|
-
|
751
|
-
s->state_out_len = 2;
|
752
|
-
BZ_GET_SMALL(k1); BZ_RAND_UPD_MASK;
|
753
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
754
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
755
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
756
|
-
|
757
|
-
s->state_out_len = 3;
|
758
|
-
BZ_GET_SMALL(k1); BZ_RAND_UPD_MASK;
|
759
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
760
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
761
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
762
|
-
|
763
|
-
BZ_GET_SMALL(k1); BZ_RAND_UPD_MASK;
|
764
|
-
k1 ^= BZ_RAND_MASK; s->nblock_used++;
|
765
|
-
s->state_out_len = ((Int32)k1) + 4;
|
766
|
-
BZ_GET_SMALL(s->k0); BZ_RAND_UPD_MASK;
|
767
|
-
s->k0 ^= BZ_RAND_MASK; s->nblock_used++;
|
768
|
-
}
|
769
|
-
|
770
|
-
} else {
|
771
|
-
|
772
|
-
while (True) {
|
773
|
-
/* try to finish existing run */
|
774
|
-
while (True) {
|
775
|
-
if (s->strm->avail_out == 0) return False;
|
776
|
-
if (s->state_out_len == 0) break;
|
777
|
-
*( (UChar*)(s->strm->next_out) ) = s->state_out_ch;
|
778
|
-
BZ_UPDATE_CRC ( s->calculatedBlockCRC, s->state_out_ch );
|
779
|
-
s->state_out_len--;
|
780
|
-
s->strm->next_out++;
|
781
|
-
s->strm->avail_out--;
|
782
|
-
s->strm->total_out_lo32++;
|
783
|
-
if (s->strm->total_out_lo32 == 0) s->strm->total_out_hi32++;
|
784
|
-
}
|
785
|
-
|
786
|
-
/* can a new run be started? */
|
787
|
-
if (s->nblock_used == s->save_nblock+1) return False;
|
788
|
-
|
789
|
-
/* Only caused by corrupt data stream? */
|
790
|
-
if (s->nblock_used > s->save_nblock+1)
|
791
|
-
return True;
|
792
|
-
|
793
|
-
s->state_out_len = 1;
|
794
|
-
s->state_out_ch = s->k0;
|
795
|
-
BZ_GET_SMALL(k1); s->nblock_used++;
|
796
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
797
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
798
|
-
|
799
|
-
s->state_out_len = 2;
|
800
|
-
BZ_GET_SMALL(k1); s->nblock_used++;
|
801
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
802
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
803
|
-
|
804
|
-
s->state_out_len = 3;
|
805
|
-
BZ_GET_SMALL(k1); s->nblock_used++;
|
806
|
-
if (s->nblock_used == s->save_nblock+1) continue;
|
807
|
-
if (k1 != s->k0) { s->k0 = k1; continue; };
|
808
|
-
|
809
|
-
BZ_GET_SMALL(k1); s->nblock_used++;
|
810
|
-
s->state_out_len = ((Int32)k1) + 4;
|
811
|
-
BZ_GET_SMALL(s->k0); s->nblock_used++;
|
812
|
-
}
|
813
|
-
|
814
|
-
}
|
815
|
-
}
|
816
|
-
|
817
|
-
|
818
|
-
/*---------------------------------------------------*/
|
819
|
-
int BZ_API(BZ2_bzDecompress) ( bz_stream *strm )
|
820
|
-
{
|
821
|
-
Bool corrupt;
|
822
|
-
DState* s;
|
823
|
-
if (strm == NULL) return BZ_PARAM_ERROR;
|
824
|
-
s = (DState *)strm->state;
|
825
|
-
if (s == NULL) return BZ_PARAM_ERROR;
|
826
|
-
if (s->strm != strm) return BZ_PARAM_ERROR;
|
827
|
-
|
828
|
-
while (True) {
|
829
|
-
if (s->state == BZ_X_IDLE) return BZ_SEQUENCE_ERROR;
|
830
|
-
if (s->state == BZ_X_OUTPUT) {
|
831
|
-
if (s->smallDecompress)
|
832
|
-
corrupt = unRLE_obuf_to_output_SMALL ( s ); else
|
833
|
-
corrupt = unRLE_obuf_to_output_FAST ( s );
|
834
|
-
if (corrupt) return BZ_DATA_ERROR;
|
835
|
-
if (s->nblock_used == s->save_nblock+1 && s->state_out_len == 0) {
|
836
|
-
BZ_FINALISE_CRC ( s->calculatedBlockCRC );
|
837
|
-
if (s->verbosity >= 3)
|
838
|
-
VPrintf2 ( " {0x%08x, 0x%08x}", s->storedBlockCRC,
|
839
|
-
s->calculatedBlockCRC );
|
840
|
-
if (s->verbosity >= 2) VPrintf0 ( "]" );
|
841
|
-
if (s->calculatedBlockCRC != s->storedBlockCRC)
|
842
|
-
return BZ_DATA_ERROR;
|
843
|
-
s->calculatedCombinedCRC
|
844
|
-
= (s->calculatedCombinedCRC << 1) |
|
845
|
-
(s->calculatedCombinedCRC >> 31);
|
846
|
-
s->calculatedCombinedCRC ^= s->calculatedBlockCRC;
|
847
|
-
s->state = BZ_X_BLKHDR_1;
|
848
|
-
} else {
|
849
|
-
return BZ_OK;
|
850
|
-
}
|
851
|
-
}
|
852
|
-
if (s->state >= BZ_X_MAGIC_1) {
|
853
|
-
Int32 r = BZ2_decompress ( s );
|
854
|
-
if (r == BZ_STREAM_END) {
|
855
|
-
if (s->verbosity >= 3)
|
856
|
-
VPrintf2 ( "\n combined CRCs: stored = 0x%08x, computed = 0x%08x",
|
857
|
-
s->storedCombinedCRC, s->calculatedCombinedCRC );
|
858
|
-
if (s->calculatedCombinedCRC != s->storedCombinedCRC)
|
859
|
-
return BZ_DATA_ERROR;
|
860
|
-
return r;
|
861
|
-
}
|
862
|
-
if (s->state != BZ_X_OUTPUT) return r;
|
863
|
-
}
|
864
|
-
}
|
865
|
-
|
866
|
-
AssertH ( 0, 6001 );
|
867
|
-
|
868
|
-
return 0; /*NOTREACHED*/
|
869
|
-
}
|
870
|
-
|
871
|
-
|
872
|
-
/*---------------------------------------------------*/
|
873
|
-
int BZ_API(BZ2_bzDecompressEnd) ( bz_stream *strm )
|
874
|
-
{
|
875
|
-
DState* s;
|
876
|
-
if (strm == NULL) return BZ_PARAM_ERROR;
|
877
|
-
s = (DState *)strm->state;
|
878
|
-
if (s == NULL) return BZ_PARAM_ERROR;
|
879
|
-
if (s->strm != strm) return BZ_PARAM_ERROR;
|
880
|
-
|
881
|
-
if (s->tt != NULL) BZFREE(s->tt);
|
882
|
-
if (s->ll16 != NULL) BZFREE(s->ll16);
|
883
|
-
if (s->ll4 != NULL) BZFREE(s->ll4);
|
884
|
-
|
885
|
-
BZFREE(strm->state);
|
886
|
-
strm->state = NULL;
|
887
|
-
|
888
|
-
return BZ_OK;
|
889
|
-
}
|
890
|
-
|
891
|
-
|
892
|
-
#ifndef BZ_NO_STDIO
|
893
|
-
/*---------------------------------------------------*/
|
894
|
-
/*--- File I/O stuff ---*/
|
895
|
-
/*---------------------------------------------------*/
|
896
|
-
|
897
|
-
#define BZ_SETERR(eee) \
|
898
|
-
{ \
|
899
|
-
if (bzerror != NULL) *bzerror = eee; \
|
900
|
-
if (bzf != NULL) bzf->lastErr = eee; \
|
901
|
-
}
|
902
|
-
|
903
|
-
typedef
|
904
|
-
struct {
|
905
|
-
FILE* handle;
|
906
|
-
Char buf[BZ_MAX_UNUSED];
|
907
|
-
Int32 bufN;
|
908
|
-
Bool writing;
|
909
|
-
bz_stream strm;
|
910
|
-
Int32 lastErr;
|
911
|
-
Bool initialisedOk;
|
912
|
-
}
|
913
|
-
bzFile;
|
914
|
-
|
915
|
-
|
916
|
-
/*---------------------------------------------*/
|
917
|
-
static Bool myfeof ( FILE* f )
|
918
|
-
{
|
919
|
-
Int32 c = fgetc ( f );
|
920
|
-
if (c == EOF) return True;
|
921
|
-
ungetc ( c, f );
|
922
|
-
return False;
|
923
|
-
}
|
924
|
-
|
925
|
-
|
926
|
-
/*---------------------------------------------------*/
|
927
|
-
BZFILE* BZ_API(BZ2_bzWriteOpen)
|
928
|
-
( int* bzerror,
|
929
|
-
FILE* f,
|
930
|
-
int blockSize100k,
|
931
|
-
int verbosity,
|
932
|
-
int workFactor )
|
933
|
-
{
|
934
|
-
Int32 ret;
|
935
|
-
bzFile* bzf = NULL;
|
936
|
-
|
937
|
-
BZ_SETERR(BZ_OK);
|
938
|
-
|
939
|
-
if (f == NULL ||
|
940
|
-
(blockSize100k < 1 || blockSize100k > 9) ||
|
941
|
-
(workFactor < 0 || workFactor > 250) ||
|
942
|
-
(verbosity < 0 || verbosity > 4))
|
943
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return NULL; };
|
944
|
-
|
945
|
-
if (ferror(f))
|
946
|
-
{ BZ_SETERR(BZ_IO_ERROR); return NULL; };
|
947
|
-
|
948
|
-
bzf = (bzFile *)malloc ( sizeof(bzFile) );
|
949
|
-
if (bzf == NULL)
|
950
|
-
{ BZ_SETERR(BZ_MEM_ERROR); return NULL; };
|
951
|
-
|
952
|
-
BZ_SETERR(BZ_OK);
|
953
|
-
bzf->initialisedOk = False;
|
954
|
-
bzf->bufN = 0;
|
955
|
-
bzf->handle = f;
|
956
|
-
bzf->writing = True;
|
957
|
-
bzf->strm.bzalloc = NULL;
|
958
|
-
bzf->strm.bzfree = NULL;
|
959
|
-
bzf->strm.opaque = NULL;
|
960
|
-
|
961
|
-
if (workFactor == 0) workFactor = 30;
|
962
|
-
ret = BZ2_bzCompressInit ( &(bzf->strm), blockSize100k,
|
963
|
-
verbosity, workFactor );
|
964
|
-
if (ret != BZ_OK)
|
965
|
-
{ BZ_SETERR(ret); free(bzf); return NULL; };
|
966
|
-
|
967
|
-
bzf->strm.avail_in = 0;
|
968
|
-
bzf->initialisedOk = True;
|
969
|
-
return bzf;
|
970
|
-
}
|
971
|
-
|
972
|
-
|
973
|
-
|
974
|
-
/*---------------------------------------------------*/
|
975
|
-
void BZ_API(BZ2_bzWrite)
|
976
|
-
( int* bzerror,
|
977
|
-
BZFILE* b,
|
978
|
-
void* buf,
|
979
|
-
int len )
|
980
|
-
{
|
981
|
-
Int32 n, n2, ret;
|
982
|
-
bzFile* bzf = (bzFile*)b;
|
983
|
-
|
984
|
-
BZ_SETERR(BZ_OK);
|
985
|
-
if (bzf == NULL || buf == NULL || len < 0)
|
986
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return; };
|
987
|
-
if (!(bzf->writing))
|
988
|
-
{ BZ_SETERR(BZ_SEQUENCE_ERROR); return; };
|
989
|
-
if (ferror(bzf->handle))
|
990
|
-
{ BZ_SETERR(BZ_IO_ERROR); return; };
|
991
|
-
|
992
|
-
if (len == 0)
|
993
|
-
{ BZ_SETERR(BZ_OK); return; };
|
994
|
-
|
995
|
-
bzf->strm.avail_in = len;
|
996
|
-
bzf->strm.next_in = (char *)buf;
|
997
|
-
|
998
|
-
while (True) {
|
999
|
-
bzf->strm.avail_out = BZ_MAX_UNUSED;
|
1000
|
-
bzf->strm.next_out = bzf->buf;
|
1001
|
-
ret = BZ2_bzCompress ( &(bzf->strm), BZ_RUN );
|
1002
|
-
if (ret != BZ_RUN_OK)
|
1003
|
-
{ BZ_SETERR(ret); return; };
|
1004
|
-
|
1005
|
-
if (bzf->strm.avail_out < BZ_MAX_UNUSED) {
|
1006
|
-
n = BZ_MAX_UNUSED - bzf->strm.avail_out;
|
1007
|
-
n2 = fwrite ( (void*)(bzf->buf), sizeof(UChar),
|
1008
|
-
n, bzf->handle );
|
1009
|
-
if (n != n2 || ferror(bzf->handle))
|
1010
|
-
{ BZ_SETERR(BZ_IO_ERROR); return; };
|
1011
|
-
}
|
1012
|
-
|
1013
|
-
if (bzf->strm.avail_in == 0)
|
1014
|
-
{ BZ_SETERR(BZ_OK); return; };
|
1015
|
-
}
|
1016
|
-
}
|
1017
|
-
|
1018
|
-
|
1019
|
-
/*---------------------------------------------------*/
|
1020
|
-
void BZ_API(BZ2_bzWriteClose)
|
1021
|
-
( int* bzerror,
|
1022
|
-
BZFILE* b,
|
1023
|
-
int abandon,
|
1024
|
-
unsigned int* nbytes_in,
|
1025
|
-
unsigned int* nbytes_out )
|
1026
|
-
{
|
1027
|
-
BZ2_bzWriteClose64 ( bzerror, b, abandon,
|
1028
|
-
nbytes_in, NULL, nbytes_out, NULL );
|
1029
|
-
}
|
1030
|
-
|
1031
|
-
|
1032
|
-
void BZ_API(BZ2_bzWriteClose64)
|
1033
|
-
( int* bzerror,
|
1034
|
-
BZFILE* b,
|
1035
|
-
int abandon,
|
1036
|
-
unsigned int* nbytes_in_lo32,
|
1037
|
-
unsigned int* nbytes_in_hi32,
|
1038
|
-
unsigned int* nbytes_out_lo32,
|
1039
|
-
unsigned int* nbytes_out_hi32 )
|
1040
|
-
{
|
1041
|
-
Int32 n, n2, ret;
|
1042
|
-
bzFile* bzf = (bzFile*)b;
|
1043
|
-
|
1044
|
-
if (bzf == NULL)
|
1045
|
-
{ BZ_SETERR(BZ_OK); return; };
|
1046
|
-
if (!(bzf->writing))
|
1047
|
-
{ BZ_SETERR(BZ_SEQUENCE_ERROR); return; };
|
1048
|
-
if (ferror(bzf->handle))
|
1049
|
-
{ BZ_SETERR(BZ_IO_ERROR); return; };
|
1050
|
-
|
1051
|
-
if (nbytes_in_lo32 != NULL) *nbytes_in_lo32 = 0;
|
1052
|
-
if (nbytes_in_hi32 != NULL) *nbytes_in_hi32 = 0;
|
1053
|
-
if (nbytes_out_lo32 != NULL) *nbytes_out_lo32 = 0;
|
1054
|
-
if (nbytes_out_hi32 != NULL) *nbytes_out_hi32 = 0;
|
1055
|
-
|
1056
|
-
if ((!abandon) && bzf->lastErr == BZ_OK) {
|
1057
|
-
while (True) {
|
1058
|
-
bzf->strm.avail_out = BZ_MAX_UNUSED;
|
1059
|
-
bzf->strm.next_out = bzf->buf;
|
1060
|
-
ret = BZ2_bzCompress ( &(bzf->strm), BZ_FINISH );
|
1061
|
-
if (ret != BZ_FINISH_OK && ret != BZ_STREAM_END)
|
1062
|
-
{ BZ_SETERR(ret); return; };
|
1063
|
-
|
1064
|
-
if (bzf->strm.avail_out < BZ_MAX_UNUSED) {
|
1065
|
-
n = BZ_MAX_UNUSED - bzf->strm.avail_out;
|
1066
|
-
n2 = fwrite ( (void*)(bzf->buf), sizeof(UChar),
|
1067
|
-
n, bzf->handle );
|
1068
|
-
if (n != n2 || ferror(bzf->handle))
|
1069
|
-
{ BZ_SETERR(BZ_IO_ERROR); return; };
|
1070
|
-
}
|
1071
|
-
|
1072
|
-
if (ret == BZ_STREAM_END) break;
|
1073
|
-
}
|
1074
|
-
}
|
1075
|
-
|
1076
|
-
if ( !abandon && !ferror ( bzf->handle ) ) {
|
1077
|
-
fflush ( bzf->handle );
|
1078
|
-
if (ferror(bzf->handle))
|
1079
|
-
{ BZ_SETERR(BZ_IO_ERROR); return; };
|
1080
|
-
}
|
1081
|
-
|
1082
|
-
if (nbytes_in_lo32 != NULL)
|
1083
|
-
*nbytes_in_lo32 = bzf->strm.total_in_lo32;
|
1084
|
-
if (nbytes_in_hi32 != NULL)
|
1085
|
-
*nbytes_in_hi32 = bzf->strm.total_in_hi32;
|
1086
|
-
if (nbytes_out_lo32 != NULL)
|
1087
|
-
*nbytes_out_lo32 = bzf->strm.total_out_lo32;
|
1088
|
-
if (nbytes_out_hi32 != NULL)
|
1089
|
-
*nbytes_out_hi32 = bzf->strm.total_out_hi32;
|
1090
|
-
|
1091
|
-
BZ_SETERR(BZ_OK);
|
1092
|
-
BZ2_bzCompressEnd ( &(bzf->strm) );
|
1093
|
-
free ( bzf );
|
1094
|
-
}
|
1095
|
-
|
1096
|
-
|
1097
|
-
/*---------------------------------------------------*/
|
1098
|
-
BZFILE* BZ_API(BZ2_bzReadOpen)
|
1099
|
-
( int* bzerror,
|
1100
|
-
FILE* f,
|
1101
|
-
int verbosity,
|
1102
|
-
int small,
|
1103
|
-
void* unused,
|
1104
|
-
int nUnused )
|
1105
|
-
{
|
1106
|
-
bzFile* bzf = NULL;
|
1107
|
-
int ret;
|
1108
|
-
|
1109
|
-
BZ_SETERR(BZ_OK);
|
1110
|
-
|
1111
|
-
if (f == NULL ||
|
1112
|
-
(small != 0 && small != 1) ||
|
1113
|
-
(verbosity < 0 || verbosity > 4) ||
|
1114
|
-
(unused == NULL && nUnused != 0) ||
|
1115
|
-
(unused != NULL && (nUnused < 0 || nUnused > BZ_MAX_UNUSED)))
|
1116
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return NULL; };
|
1117
|
-
|
1118
|
-
if (ferror(f))
|
1119
|
-
{ BZ_SETERR(BZ_IO_ERROR); return NULL; };
|
1120
|
-
|
1121
|
-
bzf = (bzFile *)malloc ( sizeof(bzFile) );
|
1122
|
-
if (bzf == NULL)
|
1123
|
-
{ BZ_SETERR(BZ_MEM_ERROR); return NULL; };
|
1124
|
-
|
1125
|
-
BZ_SETERR(BZ_OK);
|
1126
|
-
|
1127
|
-
bzf->initialisedOk = False;
|
1128
|
-
bzf->handle = f;
|
1129
|
-
bzf->bufN = 0;
|
1130
|
-
bzf->writing = False;
|
1131
|
-
bzf->strm.bzalloc = NULL;
|
1132
|
-
bzf->strm.bzfree = NULL;
|
1133
|
-
bzf->strm.opaque = NULL;
|
1134
|
-
|
1135
|
-
while (nUnused > 0) {
|
1136
|
-
bzf->buf[bzf->bufN] = *((UChar*)(unused)); bzf->bufN++;
|
1137
|
-
unused = ((void*)( 1 + ((UChar*)(unused)) ));
|
1138
|
-
nUnused--;
|
1139
|
-
}
|
1140
|
-
|
1141
|
-
ret = BZ2_bzDecompressInit ( &(bzf->strm), verbosity, small );
|
1142
|
-
if (ret != BZ_OK)
|
1143
|
-
{ BZ_SETERR(ret); free(bzf); return NULL; };
|
1144
|
-
|
1145
|
-
bzf->strm.avail_in = bzf->bufN;
|
1146
|
-
bzf->strm.next_in = bzf->buf;
|
1147
|
-
|
1148
|
-
bzf->initialisedOk = True;
|
1149
|
-
return bzf;
|
1150
|
-
}
|
1151
|
-
|
1152
|
-
|
1153
|
-
/*---------------------------------------------------*/
|
1154
|
-
void BZ_API(BZ2_bzReadClose) ( int *bzerror, BZFILE *b )
|
1155
|
-
{
|
1156
|
-
bzFile* bzf = (bzFile*)b;
|
1157
|
-
|
1158
|
-
BZ_SETERR(BZ_OK);
|
1159
|
-
if (bzf == NULL)
|
1160
|
-
{ BZ_SETERR(BZ_OK); return; };
|
1161
|
-
|
1162
|
-
if (bzf->writing)
|
1163
|
-
{ BZ_SETERR(BZ_SEQUENCE_ERROR); return; };
|
1164
|
-
|
1165
|
-
if (bzf->initialisedOk)
|
1166
|
-
(void)BZ2_bzDecompressEnd ( &(bzf->strm) );
|
1167
|
-
free ( bzf );
|
1168
|
-
}
|
1169
|
-
|
1170
|
-
|
1171
|
-
/*---------------------------------------------------*/
|
1172
|
-
int BZ_API(BZ2_bzRead)
|
1173
|
-
( int* bzerror,
|
1174
|
-
BZFILE* b,
|
1175
|
-
void* buf,
|
1176
|
-
int len )
|
1177
|
-
{
|
1178
|
-
Int32 n, ret;
|
1179
|
-
bzFile* bzf = (bzFile*)b;
|
1180
|
-
|
1181
|
-
BZ_SETERR(BZ_OK);
|
1182
|
-
|
1183
|
-
if (bzf == NULL || buf == NULL || len < 0)
|
1184
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return 0; };
|
1185
|
-
|
1186
|
-
if (bzf->writing)
|
1187
|
-
{ BZ_SETERR(BZ_SEQUENCE_ERROR); return 0; };
|
1188
|
-
|
1189
|
-
if (len == 0)
|
1190
|
-
{ BZ_SETERR(BZ_OK); return 0; };
|
1191
|
-
|
1192
|
-
bzf->strm.avail_out = len;
|
1193
|
-
bzf->strm.next_out = (char *)buf;
|
1194
|
-
|
1195
|
-
while (True) {
|
1196
|
-
|
1197
|
-
if (ferror(bzf->handle))
|
1198
|
-
{ BZ_SETERR(BZ_IO_ERROR); return 0; };
|
1199
|
-
|
1200
|
-
if (bzf->strm.avail_in == 0 && !myfeof(bzf->handle)) {
|
1201
|
-
n = fread ( bzf->buf, sizeof(UChar),
|
1202
|
-
BZ_MAX_UNUSED, bzf->handle );
|
1203
|
-
if (ferror(bzf->handle))
|
1204
|
-
{ BZ_SETERR(BZ_IO_ERROR); return 0; };
|
1205
|
-
bzf->bufN = n;
|
1206
|
-
bzf->strm.avail_in = bzf->bufN;
|
1207
|
-
bzf->strm.next_in = bzf->buf;
|
1208
|
-
}
|
1209
|
-
|
1210
|
-
ret = BZ2_bzDecompress ( &(bzf->strm) );
|
1211
|
-
|
1212
|
-
if (ret != BZ_OK && ret != BZ_STREAM_END)
|
1213
|
-
{ BZ_SETERR(ret); return 0; };
|
1214
|
-
|
1215
|
-
if (ret == BZ_OK && myfeof(bzf->handle) &&
|
1216
|
-
bzf->strm.avail_in == 0 && bzf->strm.avail_out > 0)
|
1217
|
-
{ BZ_SETERR(BZ_UNEXPECTED_EOF); return 0; };
|
1218
|
-
|
1219
|
-
if (ret == BZ_STREAM_END)
|
1220
|
-
{ BZ_SETERR(BZ_STREAM_END);
|
1221
|
-
return len - bzf->strm.avail_out; };
|
1222
|
-
if (bzf->strm.avail_out == 0)
|
1223
|
-
{ BZ_SETERR(BZ_OK); return len; };
|
1224
|
-
|
1225
|
-
}
|
1226
|
-
|
1227
|
-
return 0; /*not reached*/
|
1228
|
-
}
|
1229
|
-
|
1230
|
-
|
1231
|
-
/*---------------------------------------------------*/
|
1232
|
-
void BZ_API(BZ2_bzReadGetUnused)
|
1233
|
-
( int* bzerror,
|
1234
|
-
BZFILE* b,
|
1235
|
-
void** unused,
|
1236
|
-
int* nUnused )
|
1237
|
-
{
|
1238
|
-
bzFile* bzf = (bzFile*)b;
|
1239
|
-
if (bzf == NULL)
|
1240
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return; };
|
1241
|
-
if (bzf->lastErr != BZ_STREAM_END)
|
1242
|
-
{ BZ_SETERR(BZ_SEQUENCE_ERROR); return; };
|
1243
|
-
if (unused == NULL || nUnused == NULL)
|
1244
|
-
{ BZ_SETERR(BZ_PARAM_ERROR); return; };
|
1245
|
-
|
1246
|
-
BZ_SETERR(BZ_OK);
|
1247
|
-
*nUnused = bzf->strm.avail_in;
|
1248
|
-
*unused = bzf->strm.next_in;
|
1249
|
-
}
|
1250
|
-
#endif
|
1251
|
-
|
1252
|
-
|
1253
|
-
/*---------------------------------------------------*/
|
1254
|
-
/*--- Misc convenience stuff ---*/
|
1255
|
-
/*---------------------------------------------------*/
|
1256
|
-
|
1257
|
-
/*---------------------------------------------------*/
|
1258
|
-
int BZ_API(BZ2_bzBuffToBuffCompress)
|
1259
|
-
( char* dest,
|
1260
|
-
unsigned int* destLen,
|
1261
|
-
char* source,
|
1262
|
-
unsigned int sourceLen,
|
1263
|
-
int blockSize100k,
|
1264
|
-
int verbosity,
|
1265
|
-
int workFactor )
|
1266
|
-
{
|
1267
|
-
bz_stream strm;
|
1268
|
-
int ret;
|
1269
|
-
|
1270
|
-
if (dest == NULL || destLen == NULL ||
|
1271
|
-
source == NULL ||
|
1272
|
-
blockSize100k < 1 || blockSize100k > 9 ||
|
1273
|
-
verbosity < 0 || verbosity > 4 ||
|
1274
|
-
workFactor < 0 || workFactor > 250)
|
1275
|
-
return BZ_PARAM_ERROR;
|
1276
|
-
|
1277
|
-
if (workFactor == 0) workFactor = 30;
|
1278
|
-
strm.bzalloc = NULL;
|
1279
|
-
strm.bzfree = NULL;
|
1280
|
-
strm.opaque = NULL;
|
1281
|
-
ret = BZ2_bzCompressInit ( &strm, blockSize100k,
|
1282
|
-
verbosity, workFactor );
|
1283
|
-
if (ret != BZ_OK) return ret;
|
1284
|
-
|
1285
|
-
strm.next_in = source;
|
1286
|
-
strm.next_out = dest;
|
1287
|
-
strm.avail_in = sourceLen;
|
1288
|
-
strm.avail_out = *destLen;
|
1289
|
-
|
1290
|
-
ret = BZ2_bzCompress ( &strm, BZ_FINISH );
|
1291
|
-
if (ret == BZ_FINISH_OK) goto output_overflow;
|
1292
|
-
if (ret != BZ_STREAM_END) goto errhandler;
|
1293
|
-
|
1294
|
-
/* normal termination */
|
1295
|
-
*destLen -= strm.avail_out;
|
1296
|
-
BZ2_bzCompressEnd ( &strm );
|
1297
|
-
return BZ_OK;
|
1298
|
-
|
1299
|
-
output_overflow:
|
1300
|
-
BZ2_bzCompressEnd ( &strm );
|
1301
|
-
return BZ_OUTBUFF_FULL;
|
1302
|
-
|
1303
|
-
errhandler:
|
1304
|
-
BZ2_bzCompressEnd ( &strm );
|
1305
|
-
return ret;
|
1306
|
-
}
|
1307
|
-
|
1308
|
-
|
1309
|
-
/*---------------------------------------------------*/
|
1310
|
-
int BZ_API(BZ2_bzBuffToBuffDecompress)
|
1311
|
-
( char* dest,
|
1312
|
-
unsigned int* destLen,
|
1313
|
-
char* source,
|
1314
|
-
unsigned int sourceLen,
|
1315
|
-
int small,
|
1316
|
-
int verbosity )
|
1317
|
-
{
|
1318
|
-
bz_stream strm;
|
1319
|
-
int ret;
|
1320
|
-
|
1321
|
-
if (dest == NULL || destLen == NULL ||
|
1322
|
-
source == NULL ||
|
1323
|
-
(small != 0 && small != 1) ||
|
1324
|
-
verbosity < 0 || verbosity > 4)
|
1325
|
-
return BZ_PARAM_ERROR;
|
1326
|
-
|
1327
|
-
strm.bzalloc = NULL;
|
1328
|
-
strm.bzfree = NULL;
|
1329
|
-
strm.opaque = NULL;
|
1330
|
-
ret = BZ2_bzDecompressInit ( &strm, verbosity, small );
|
1331
|
-
if (ret != BZ_OK) return ret;
|
1332
|
-
|
1333
|
-
strm.next_in = source;
|
1334
|
-
strm.next_out = dest;
|
1335
|
-
strm.avail_in = sourceLen;
|
1336
|
-
strm.avail_out = *destLen;
|
1337
|
-
|
1338
|
-
ret = BZ2_bzDecompress ( &strm );
|
1339
|
-
if (ret == BZ_OK) goto output_overflow_or_eof;
|
1340
|
-
if (ret != BZ_STREAM_END) goto errhandler;
|
1341
|
-
|
1342
|
-
/* normal termination */
|
1343
|
-
*destLen -= strm.avail_out;
|
1344
|
-
BZ2_bzDecompressEnd ( &strm );
|
1345
|
-
return BZ_OK;
|
1346
|
-
|
1347
|
-
output_overflow_or_eof:
|
1348
|
-
if (strm.avail_out > 0) {
|
1349
|
-
BZ2_bzDecompressEnd ( &strm );
|
1350
|
-
return BZ_UNEXPECTED_EOF;
|
1351
|
-
} else {
|
1352
|
-
BZ2_bzDecompressEnd ( &strm );
|
1353
|
-
return BZ_OUTBUFF_FULL;
|
1354
|
-
};
|
1355
|
-
|
1356
|
-
errhandler:
|
1357
|
-
BZ2_bzDecompressEnd ( &strm );
|
1358
|
-
return ret;
|
1359
|
-
}
|
1360
|
-
|
1361
|
-
|
1362
|
-
/*---------------------------------------------------*/
|
1363
|
-
/*--
|
1364
|
-
Code contributed by Yoshioka Tsuneo (tsuneo@rr.iij4u.or.jp)
|
1365
|
-
to support better zlib compatibility.
|
1366
|
-
This code is not _officially_ part of libbzip2 (yet);
|
1367
|
-
I haven't tested it, documented it, or considered the
|
1368
|
-
threading-safeness of it.
|
1369
|
-
If this code breaks, please contact both Yoshioka and me.
|
1370
|
-
--*/
|
1371
|
-
/*---------------------------------------------------*/
|
1372
|
-
|
1373
|
-
/*---------------------------------------------------*/
|
1374
|
-
/*--
|
1375
|
-
return version like "0.9.5d, 4-Sept-1999".
|
1376
|
-
--*/
|
1377
|
-
const char * BZ_API(BZ2_bzlibVersion)(void)
|
1378
|
-
{
|
1379
|
-
return BZ_VERSION;
|
1380
|
-
}
|
1381
|
-
|
1382
|
-
|
1383
|
-
#ifndef BZ_NO_STDIO
|
1384
|
-
/*---------------------------------------------------*/
|
1385
|
-
|
1386
|
-
#if defined(_WIN32) || defined(OS2) || defined(MSDOS)
|
1387
|
-
# include <fcntl.h>
|
1388
|
-
# include <io.h>
|
1389
|
-
# define SET_BINARY_MODE(file) setmode(fileno(file),O_BINARY)
|
1390
|
-
#else
|
1391
|
-
# define SET_BINARY_MODE(file)
|
1392
|
-
#endif
|
1393
|
-
static
|
1394
|
-
BZFILE * bzopen_or_bzdopen
|
1395
|
-
( const char *path, /* no use when bzdopen */
|
1396
|
-
int fd, /* no use when bzdopen */
|
1397
|
-
const char *mode,
|
1398
|
-
int open_mode) /* bzopen: 0, bzdopen:1 */
|
1399
|
-
{
|
1400
|
-
int bzerr;
|
1401
|
-
char unused[BZ_MAX_UNUSED];
|
1402
|
-
int blockSize100k = 9;
|
1403
|
-
int writing = 0;
|
1404
|
-
char mode2[10] = "";
|
1405
|
-
FILE *fp = NULL;
|
1406
|
-
BZFILE *bzfp = NULL;
|
1407
|
-
int verbosity = 0;
|
1408
|
-
int workFactor = 30;
|
1409
|
-
int smallMode = 0;
|
1410
|
-
int nUnused = 0;
|
1411
|
-
|
1412
|
-
if (mode == NULL) return NULL;
|
1413
|
-
while (*mode) {
|
1414
|
-
switch (*mode) {
|
1415
|
-
case 'r':
|
1416
|
-
writing = 0; break;
|
1417
|
-
case 'w':
|
1418
|
-
writing = 1; break;
|
1419
|
-
case 's':
|
1420
|
-
smallMode = 1; break;
|
1421
|
-
default:
|
1422
|
-
if (isdigit((int)(*mode))) {
|
1423
|
-
blockSize100k = *mode-BZ_HDR_0;
|
1424
|
-
}
|
1425
|
-
}
|
1426
|
-
mode++;
|
1427
|
-
}
|
1428
|
-
strcat(mode2, writing ? "w" : "r" );
|
1429
|
-
strcat(mode2,"b"); /* binary mode */
|
1430
|
-
|
1431
|
-
if (open_mode==0) {
|
1432
|
-
if (path==NULL || strcmp(path,"")==0) {
|
1433
|
-
fp = (writing ? stdout : stdin);
|
1434
|
-
SET_BINARY_MODE(fp);
|
1435
|
-
} else {
|
1436
|
-
fp = fopen(path,mode2);
|
1437
|
-
}
|
1438
|
-
} else {
|
1439
|
-
#ifdef BZ_STRICT_ANSI
|
1440
|
-
fp = NULL;
|
1441
|
-
#else
|
1442
|
-
fp = (FILE *)fdopen(fd,mode2);
|
1443
|
-
#endif
|
1444
|
-
}
|
1445
|
-
if (fp == NULL) return NULL;
|
1446
|
-
|
1447
|
-
if (writing) {
|
1448
|
-
/* Guard against total chaos and anarchy -- JRS */
|
1449
|
-
if (blockSize100k < 1) blockSize100k = 1;
|
1450
|
-
if (blockSize100k > 9) blockSize100k = 9;
|
1451
|
-
bzfp = BZ2_bzWriteOpen(&bzerr,fp,blockSize100k,
|
1452
|
-
verbosity,workFactor);
|
1453
|
-
} else {
|
1454
|
-
bzfp = BZ2_bzReadOpen(&bzerr,fp,verbosity,smallMode,
|
1455
|
-
unused,nUnused);
|
1456
|
-
}
|
1457
|
-
if (bzfp == NULL) {
|
1458
|
-
if (fp != stdin && fp != stdout) fclose(fp);
|
1459
|
-
return NULL;
|
1460
|
-
}
|
1461
|
-
return bzfp;
|
1462
|
-
}
|
1463
|
-
|
1464
|
-
|
1465
|
-
/*---------------------------------------------------*/
|
1466
|
-
/*--
|
1467
|
-
open file for read or write.
|
1468
|
-
ex) bzopen("file","w9")
|
1469
|
-
case path="" or NULL => use stdin or stdout.
|
1470
|
-
--*/
|
1471
|
-
BZFILE * BZ_API(BZ2_bzopen)
|
1472
|
-
( const char *path,
|
1473
|
-
const char *mode )
|
1474
|
-
{
|
1475
|
-
return bzopen_or_bzdopen(path,-1,mode,/*bzopen*/0);
|
1476
|
-
}
|
1477
|
-
|
1478
|
-
|
1479
|
-
/*---------------------------------------------------*/
|
1480
|
-
BZFILE * BZ_API(BZ2_bzdopen)
|
1481
|
-
( int fd,
|
1482
|
-
const char *mode )
|
1483
|
-
{
|
1484
|
-
return bzopen_or_bzdopen(NULL,fd,mode,/*bzdopen*/1);
|
1485
|
-
}
|
1486
|
-
|
1487
|
-
|
1488
|
-
/*---------------------------------------------------*/
|
1489
|
-
int BZ_API(BZ2_bzread) (BZFILE* b, void* buf, int len )
|
1490
|
-
{
|
1491
|
-
int bzerr, nread;
|
1492
|
-
if (((bzFile*)b)->lastErr == BZ_STREAM_END) return 0;
|
1493
|
-
nread = BZ2_bzRead(&bzerr,b,buf,len);
|
1494
|
-
if (bzerr == BZ_OK || bzerr == BZ_STREAM_END) {
|
1495
|
-
return nread;
|
1496
|
-
} else {
|
1497
|
-
return -1;
|
1498
|
-
}
|
1499
|
-
}
|
1500
|
-
|
1501
|
-
|
1502
|
-
/*---------------------------------------------------*/
|
1503
|
-
int BZ_API(BZ2_bzwrite) (BZFILE* b, void* buf, int len )
|
1504
|
-
{
|
1505
|
-
int bzerr;
|
1506
|
-
|
1507
|
-
BZ2_bzWrite(&bzerr,b,buf,len);
|
1508
|
-
if(bzerr == BZ_OK){
|
1509
|
-
return len;
|
1510
|
-
}else{
|
1511
|
-
return -1;
|
1512
|
-
}
|
1513
|
-
}
|
1514
|
-
|
1515
|
-
|
1516
|
-
/*---------------------------------------------------*/
|
1517
|
-
int BZ_API(BZ2_bzflush) (BZFILE *b)
|
1518
|
-
{
|
1519
|
-
/* do nothing now... */
|
1520
|
-
return 0;
|
1521
|
-
}
|
1522
|
-
|
1523
|
-
|
1524
|
-
/*---------------------------------------------------*/
|
1525
|
-
void BZ_API(BZ2_bzclose) (BZFILE* b)
|
1526
|
-
{
|
1527
|
-
int bzerr;
|
1528
|
-
FILE *fp;
|
1529
|
-
|
1530
|
-
if (b==NULL) {return;}
|
1531
|
-
fp = ((bzFile *)b)->handle;
|
1532
|
-
if(((bzFile*)b)->writing){
|
1533
|
-
BZ2_bzWriteClose(&bzerr,b,0,NULL,NULL);
|
1534
|
-
if(bzerr != BZ_OK){
|
1535
|
-
BZ2_bzWriteClose(NULL,b,1,NULL,NULL);
|
1536
|
-
}
|
1537
|
-
}else{
|
1538
|
-
BZ2_bzReadClose(&bzerr,b);
|
1539
|
-
}
|
1540
|
-
if(fp!=stdin && fp!=stdout){
|
1541
|
-
fclose(fp);
|
1542
|
-
}
|
1543
|
-
}
|
1544
|
-
|
1545
|
-
|
1546
|
-
/*---------------------------------------------------*/
|
1547
|
-
/*--
|
1548
|
-
return last error code
|
1549
|
-
--*/
|
1550
|
-
static const char *bzerrorstrings[] = {
|
1551
|
-
"OK"
|
1552
|
-
,"SEQUENCE_ERROR"
|
1553
|
-
,"PARAM_ERROR"
|
1554
|
-
,"MEM_ERROR"
|
1555
|
-
,"DATA_ERROR"
|
1556
|
-
,"DATA_ERROR_MAGIC"
|
1557
|
-
,"IO_ERROR"
|
1558
|
-
,"UNEXPECTED_EOF"
|
1559
|
-
,"OUTBUFF_FULL"
|
1560
|
-
,"CONFIG_ERROR"
|
1561
|
-
,"???" /* for future */
|
1562
|
-
,"???" /* for future */
|
1563
|
-
,"???" /* for future */
|
1564
|
-
,"???" /* for future */
|
1565
|
-
,"???" /* for future */
|
1566
|
-
,"???" /* for future */
|
1567
|
-
};
|
1568
|
-
|
1569
|
-
|
1570
|
-
const char * BZ_API(BZ2_bzerror) (BZFILE *b, int *errnum)
|
1571
|
-
{
|
1572
|
-
int err = ((bzFile *)b)->lastErr;
|
1573
|
-
|
1574
|
-
if(err>0) err = 0;
|
1575
|
-
*errnum = err;
|
1576
|
-
return bzerrorstrings[err*-1];
|
1577
|
-
}
|
1578
|
-
#endif
|
1579
|
-
|
1580
|
-
|
1581
|
-
/*-------------------------------------------------------------*/
|
1582
|
-
/*--- end bzlib.c ---*/
|
1583
|
-
/*-------------------------------------------------------------*/
|
1584
|
-
|
1585
|
-
ABC_NAMESPACE_IMPL_END
|
1586
|
-
|
1587
|
-
|
1588
|
-
|