RubyGems - ruby_abc - Versions diffs - 0.0.3 → 0.1.0 - Mend

ruby_abc 0.0.3 → 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.

Files changed (1732) hide show

checksums.yaml +5 -5
data/.yardopts +7 -0
data/LICENSE +51 -52
data/README.md +96 -37
data/bin/ruby_abc +103 -0
data/ext/ruby_abc/extconf.rb +58 -0
data/ext/{ruby_abc.c → ruby_abc/ruby_abc.c} +45 -72
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 -225
data/share/bash_completion/ruby_abc.bash-completion.sh +24 -0
data/share/osu018.genlib +66 -0
data/share/simple.genlib +25 -0
data/test/test_ruby_abc.rb +1 -1
metadata +19 -1727
data/Rakefile +0 -83
data/bin/rubyabc_synthesis +0 -71
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

data/ext/abc/src/sat/glucose/stdint.h DELETED Viewed

@@ -1,1628 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-  <link rel="dns-prefetch" href="https://assets-cdn.github.com">
-  <link rel="dns-prefetch" href="https://avatars0.githubusercontent.com">
-  <link rel="dns-prefetch" href="https://avatars1.githubusercontent.com">
-  <link rel="dns-prefetch" href="https://avatars2.githubusercontent.com">
-  <link rel="dns-prefetch" href="https://avatars3.githubusercontent.com">
-  <link rel="dns-prefetch" href="https://github-cloud.s3.amazonaws.com">
-  <link rel="dns-prefetch" href="https://user-images.githubusercontent.com/">
-  <link crossorigin="anonymous" href="https://assets-cdn.github.com/assets/frameworks-7db951ed87f8f6cbd3a9e89c294e300cf23c1a83ad7ae64c70b8f99b21031340.css" integrity="sha256-fblR7Yf49svTqeicKU4wDPI8GoOteuZMcLj5myEDE0A=" media="all" rel="stylesheet" />
-  <link crossorigin="anonymous" href="https://assets-cdn.github.com/assets/github-4b2158409cc56f58dafd534ae676475b1bfe7cb057c415e2c5984e3c13b041e5.css" integrity="sha256-SyFYQJzFb1ja/VNK5nZHWxv+fLBXxBXixZhOPBOwQeU=" media="all" rel="stylesheet" />
-  <link crossorigin="anonymous" href="https://assets-cdn.github.com/assets/site-955690c4e09b2eeb3627ae6048471522eb98b42054150bd855ad4183db364816.css" integrity="sha256-lVaQxOCbLus2J65gSEcVIuuYtCBUFQvYVa1Bg9s2SBY=" media="all" rel="stylesheet" />
-  <meta name="viewport" content="width=device-width">
-  <title>gntp-send/stdint.h at master · mattn/gntp-send · GitHub</title>
-  <link rel="search" type="application/opensearchdescription+xml" href="/opensearch.xml" title="GitHub">
-  <link rel="fluid-icon" href="https://github.com/fluidicon.png" title="GitHub">
-  <meta property="fb:app_id" content="1401488693436528">
-    <meta content="https://avatars1.githubusercontent.com/u/10111?v=4&amp;s=400" property="og:image" /><meta content="GitHub" property="og:site_name" /><meta content="object" property="og:type" /><meta content="mattn/gntp-send" property="og:title" /><meta content="https://github.com/mattn/gntp-send" property="og:url" /><meta content="gntp-send - command line program that send to growl using GNTP protocol." property="og:description" />
-  <link rel="assets" href="https://assets-cdn.github.com/">
-  <meta name="pjax-timeout" content="1000">
-  <meta name="request-id" content="C6BC:2817D:56F2228:8688546:59B04B65" data-pjax-transient>
-  <meta name="selected-link" value="repo_source" data-pjax-transient>
-  <meta name="google-site-verification" content="KT5gs8h0wvaagLKAVWq8bbeNwnZZK1r1XQysX3xurLU">
-<meta name="google-site-verification" content="ZzhVyEFwb7w3e0-uOTltm8Jsck2F5StVihD0exw2fsA">
-    <meta name="google-analytics" content="UA-3769691-2">
-<meta content="collector.githubapp.com" name="octolytics-host" /><meta content="github" name="octolytics-app-id" /><meta content="https://collector.githubapp.com/github-external/browser_event" name="octolytics-event-url" /><meta content="C6BC:2817D:56F2228:8688546:59B04B65" name="octolytics-dimension-request_id" /><meta content="sea" name="octolytics-dimension-region_edge" /><meta content="iad" name="octolytics-dimension-region_render" />
-<meta content="/&lt;user-name&gt;/&lt;repo-name&gt;/blob/show" data-pjax-transient="true" name="analytics-location" />
-  <meta class="js-ga-set" name="dimension1" content="Logged Out">
-      <meta name="hostname" content="github.com">
-  <meta name="user-login" content="">
-      <meta name="expected-hostname" content="github.com">
-    <meta name="js-proxy-site-detection-payload" content="YmNhNTY5Y2Y4MjdmNjMyMzc4ODViZmFkM2JmYmE5MDA4YWFkMWRmZWU5YzNjMGZmMmU3M2U2YTc1YWE0ZTEzYXx7InJlbW90ZV9hZGRyZXNzIjoiNzMuMjUyLjEzOC45MyIsInJlcXVlc3RfaWQiOiJDNkJDOjI4MTdEOjU2RjIyMjg6ODY4ODU0Njo1OUIwNEI2NSIsInRpbWVzdGFtcCI6MTUwNDcyNTg2NiwiaG9zdCI6ImdpdGh1Yi5jb20ifQ==">
-  <meta name="html-safe-nonce" content="c7ac7dad53ebbb213745963c771e009cd0ec2414">
-  <meta http-equiv="x-pjax-version" content="ef2b97c5ce9b111269ce538c13af797b">
-      <link href="https://github.com/mattn/gntp-send/commits/master.atom" rel="alternate" title="Recent Commits to gntp-send:master" type="application/atom+xml">
-  <meta name="description" content="gntp-send - command line program that send to growl using GNTP protocol.">
-  <meta name="go-import" content="github.com/mattn/gntp-send git https://github.com/mattn/gntp-send.git">
-  <meta content="10111" name="octolytics-dimension-user_id" /><meta content="mattn" name="octolytics-dimension-user_login" /><meta content="160637" name="octolytics-dimension-repository_id" /><meta content="mattn/gntp-send" name="octolytics-dimension-repository_nwo" /><meta content="true" name="octolytics-dimension-repository_public" /><meta content="false" name="octolytics-dimension-repository_is_fork" /><meta content="160637" name="octolytics-dimension-repository_network_root_id" /><meta content="mattn/gntp-send" name="octolytics-dimension-repository_network_root_nwo" /><meta content="false" name="octolytics-dimension-repository_explore_github_marketplace_ci_cta_shown" />
-    <link rel="canonical" href="https://github.com/mattn/gntp-send/blob/master/include/msinttypes/stdint.h" data-pjax-transient>
-  <meta name="browser-stats-url" content="https://api.github.com/_private/browser/stats">
-  <meta name="browser-errors-url" content="https://api.github.com/_private/browser/errors">
-  <link rel="mask-icon" href="https://assets-cdn.github.com/pinned-octocat.svg" color="#000000">
-  <link rel="icon" type="image/x-icon" href="https://assets-cdn.github.com/favicon.ico">
-<meta name="theme-color" content="#1e2327">
-  </head>
-  <body class="logged-out env-production page-blob">
-  <div class="position-relative js-header-wrapper ">
-    <a href="#start-of-content" tabindex="1" class="px-2 py-4 show-on-focus js-skip-to-content">Skip to content</a>
-    <div id="js-pjax-loader-bar" class="pjax-loader-bar"><div class="progress"></div></div>
-        <header class="Header header-logged-out  position-relative f4 py-3" role="banner">
-  <div class="container-lg d-flex px-3">
-    <div class="d-flex flex-justify-between flex-items-center">
-      <a class="header-logo-invertocat my-0" href="https://github.com/" aria-label="Homepage" data-ga-click="(Logged out) Header, go to homepage, icon:logo-wordmark">
-        <svg aria-hidden="true" class="octicon octicon-mark-github" height="32" version="1.1" viewBox="0 0 16 16" width="32"><path fill-rule="evenodd" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0 0 16 8c0-4.42-3.58-8-8-8z"/></svg>
-      </a>
-    </div>
-    <div class="HeaderMenu HeaderMenu--bright d-flex flex-justify-between flex-auto">
-        <nav class="mt-0">
-          <ul class="d-flex list-style-none">
-              <li class="ml-2">
-                <a href="/features" class="js-selected-navigation-item HeaderNavlink px-0 py-2 m-0" data-ga-click="Header, click, Nav menu - item:features" data-selected-links="/features /features/project-management /features/code-review /features/project-management /features/integrations /features">
-                  Features
-</a>              </li>
-              <li class="ml-4">
-                <a href="/business" class="js-selected-navigation-item HeaderNavlink px-0 py-2 m-0" data-ga-click="Header, click, Nav menu - item:business" data-selected-links="/business /business/security /business/customers /business">
-                  Business
-</a>              </li>
-              <li class="ml-4">
-                <a href="/explore" class="js-selected-navigation-item HeaderNavlink px-0 py-2 m-0" data-ga-click="Header, click, Nav menu - item:explore" data-selected-links="/explore /trending /trending/developers /integrations /integrations/feature/code /integrations/feature/collaborate /integrations/feature/ship showcases showcases_search showcases_landing /explore">
-                  Explore
-</a>              </li>
-              <li class="ml-4">
-                    <a href="/marketplace" class="js-selected-navigation-item HeaderNavlink px-0 py-2 m-0" data-ga-click="Header, click, Nav menu - item:marketplace" data-selected-links=" /marketplace">
-                      Marketplace
-</a>              </li>
-              <li class="ml-4">
-                <a href="/pricing" class="js-selected-navigation-item HeaderNavlink px-0 py-2 m-0" data-ga-click="Header, click, Nav menu - item:pricing" data-selected-links="/pricing /pricing/developer /pricing/team /pricing/business-hosted /pricing/business-enterprise /pricing">
-                  Pricing
-</a>              </li>
-          </ul>
-        </nav>
-      <div class="d-flex">
-          <div class="d-lg-flex flex-items-center mr-3">
-            <div class="header-search scoped-search site-scoped-search js-site-search" role="search">
-  <!-- '"` --><!-- </textarea></xmp> --></option></form><form accept-charset="UTF-8" action="/mattn/gntp-send/search" class="js-site-search-form" data-scoped-search-url="/mattn/gntp-send/search" data-unscoped-search-url="/search" method="get"><div style="margin:0;padding:0;display:inline"><input name="utf8" type="hidden" value="&#x2713;" /></div>
-    <label class="form-control header-search-wrapper js-chromeless-input-container">
-        <a href="/mattn/gntp-send/blob/master/include/msinttypes/stdint.h" class="header-search-scope no-underline">This repository</a>
-      <input type="text"
-        class="form-control header-search-input js-site-search-focus js-site-search-field is-clearable"
-        data-hotkey="s"
-        name="q"
-        value=""
-        placeholder="Search"
-        aria-label="Search this repository"
-        data-unscoped-placeholder="Search GitHub"
-        data-scoped-placeholder="Search"
-        autocapitalize="off">
-        <input type="hidden" class="js-site-search-type-field" name="type" >
-    </label>
-</form></div>
-          </div>
-        <span class="d-inline-block">
-            <div class="HeaderNavlink px-0 py-2 m-0">
-              <a class="text-bold text-white no-underline" href="/login?return_to=%2Fmattn%2Fgntp-send%2Fblob%2Fmaster%2Finclude%2Fmsinttypes%2Fstdint.h" data-ga-click="(Logged out) Header, clicked Sign in, text:sign-in">Sign in</a>
-                <span class="text-gray">or</span>
-                <a class="text-bold text-white no-underline" href="/join?source=header-repo" data-ga-click="(Logged out) Header, clicked Sign up, text:sign-up">Sign up</a>
-            </div>
-        </span>
-      </div>
-    </div>
-  </div>
-</header>
-  </div>
-  <div id="start-of-content" class="show-on-focus"></div>
-    <div id="js-flash-container">
-</div>
-  <div role="main">
-        <div itemscope itemtype="http://schema.org/SoftwareSourceCode">
-    <div id="js-repo-pjax-container" data-pjax-container>
-    <div class="pagehead repohead instapaper_ignore readability-menu experiment-repo-nav">
-      <div class="container repohead-details-container">
-        <ul class="pagehead-actions">
-  <li>
-      <a href="/login?return_to=%2Fmattn%2Fgntp-send"
-    class="btn btn-sm btn-with-count tooltipped tooltipped-n"
-    aria-label="You must be signed in to watch a repository" rel="nofollow">
-    <svg aria-hidden="true" class="octicon octicon-eye" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M8.06 2C3 2 0 8 0 8s3 6 8.06 6C13 14 16 8 16 8s-3-6-7.94-6zM8 12c-2.2 0-4-1.78-4-4 0-2.2 1.8-4 4-4 2.22 0 4 1.8 4 4 0 2.22-1.78 4-4 4zm2-4c0 1.11-.89 2-2 2-1.11 0-2-.89-2-2 0-1.11.89-2 2-2 1.11 0 2 .89 2 2z"/></svg>
-    Watch
-  </a>
-  <a class="social-count" href="/mattn/gntp-send/watchers"
-     aria-label="7 users are watching this repository">
-    7
-  </a>
-  </li>
-  <li>
-      <a href="/login?return_to=%2Fmattn%2Fgntp-send"
-    class="btn btn-sm btn-with-count tooltipped tooltipped-n"
-    aria-label="You must be signed in to star a repository" rel="nofollow">
-    <svg aria-hidden="true" class="octicon octicon-star" height="16" version="1.1" viewBox="0 0 14 16" width="14"><path fill-rule="evenodd" d="M14 6l-4.9-.64L7 1 4.9 5.36 0 6l3.6 3.26L2.67 14 7 11.67 11.33 14l-.93-4.74z"/></svg>
-    Star
-  </a>
-    <a class="social-count js-social-count" href="/mattn/gntp-send/stargazers"
-      aria-label="44 users starred this repository">
-      44
-    </a>
-  </li>
-  <li>
-      <a href="/login?return_to=%2Fmattn%2Fgntp-send"
-        class="btn btn-sm btn-with-count tooltipped tooltipped-n"
-        aria-label="You must be signed in to fork a repository" rel="nofollow">
-        <svg aria-hidden="true" class="octicon octicon-repo-forked" height="16" version="1.1" viewBox="0 0 10 16" width="10"><path fill-rule="evenodd" d="M8 1a1.993 1.993 0 0 0-1 3.72V6L5 8 3 6V4.72A1.993 1.993 0 0 0 2 1a1.993 1.993 0 0 0-1 3.72V6.5l3 3v1.78A1.993 1.993 0 0 0 5 15a1.993 1.993 0 0 0 1-3.72V9.5l3-3V4.72A1.993 1.993 0 0 0 8 1zM2 4.2C1.34 4.2.8 3.65.8 3c0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2 0 .65-.55 1.2-1.2 1.2zm3 10c-.66 0-1.2-.55-1.2-1.2 0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2 0 .65-.55 1.2-1.2 1.2zm3-10c-.66 0-1.2-.55-1.2-1.2 0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2 0 .65-.55 1.2-1.2 1.2z"/></svg>
-        Fork
-      </a>
-    <a href="/mattn/gntp-send/network" class="social-count"
-       aria-label="45 users forked this repository">
-      45
-    </a>
-  </li>
-</ul>
-        <h1 class="public ">
-  <svg aria-hidden="true" class="octicon octicon-repo" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M4 9H3V8h1v1zm0-3H3v1h1V6zm0-2H3v1h1V4zm0-2H3v1h1V2zm8-1v12c0 .55-.45 1-1 1H6v2l-1.5-1.5L3 16v-2H1c-.55 0-1-.45-1-1V1c0-.55.45-1 1-1h10c.55 0 1 .45 1 1zm-1 10H1v2h2v-1h3v1h5v-2zm0-10H2v9h9V1z"/></svg>
-  <span class="author" itemprop="author"><a href="/mattn" class="url fn" rel="author">mattn</a></span><!--
---><span class="path-divider">/</span><!--
---><strong itemprop="name"><a href="/mattn/gntp-send" data-pjax="#js-repo-pjax-container">gntp-send</a></strong>
-</h1>
-      </div>
-      <div class="container">
-<nav class="reponav js-repo-nav js-sidenav-container-pjax"
-     itemscope
-     itemtype="http://schema.org/BreadcrumbList"
-     role="navigation"
-     data-pjax="#js-repo-pjax-container">
-  <span itemscope itemtype="http://schema.org/ListItem" itemprop="itemListElement">
-    <a href="/mattn/gntp-send" class="js-selected-navigation-item selected reponav-item" data-hotkey="g c" data-selected-links="repo_source repo_downloads repo_commits repo_releases repo_tags repo_branches /mattn/gntp-send" itemprop="url">
-      <svg aria-hidden="true" class="octicon octicon-code" height="16" version="1.1" viewBox="0 0 14 16" width="14"><path fill-rule="evenodd" d="M9.5 3L8 4.5 11.5 8 8 11.5 9.5 13 14 8 9.5 3zm-5 0L0 8l4.5 5L6 11.5 2.5 8 6 4.5 4.5 3z"/></svg>
-      <span itemprop="name">Code</span>
-      <meta itemprop="position" content="1">
-</a>  </span>
-    <span itemscope itemtype="http://schema.org/ListItem" itemprop="itemListElement">
-      <a href="/mattn/gntp-send/issues" class="js-selected-navigation-item reponav-item" data-hotkey="g i" data-selected-links="repo_issues repo_labels repo_milestones /mattn/gntp-send/issues" itemprop="url">
-        <svg aria-hidden="true" class="octicon octicon-issue-opened" height="16" version="1.1" viewBox="0 0 14 16" width="14"><path fill-rule="evenodd" d="M7 2.3c3.14 0 5.7 2.56 5.7 5.7s-2.56 5.7-5.7 5.7A5.71 5.71 0 0 1 1.3 8c0-3.14 2.56-5.7 5.7-5.7zM7 1C3.14 1 0 4.14 0 8s3.14 7 7 7 7-3.14 7-7-3.14-7-7-7zm1 3H6v5h2V4zm0 6H6v2h2v-2z"/></svg>
-        <span itemprop="name">Issues</span>
-        <span class="Counter">1</span>
-        <meta itemprop="position" content="2">
-</a>    </span>
-  <span itemscope itemtype="http://schema.org/ListItem" itemprop="itemListElement">
-    <a href="/mattn/gntp-send/pulls" class="js-selected-navigation-item reponav-item" data-hotkey="g p" data-selected-links="repo_pulls /mattn/gntp-send/pulls" itemprop="url">
-      <svg aria-hidden="true" class="octicon octicon-git-pull-request" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M11 11.28V5c-.03-.78-.34-1.47-.94-2.06C9.46 2.35 8.78 2.03 8 2H7V0L4 3l3 3V4h1c.27.02.48.11.69.31.21.2.3.42.31.69v6.28A1.993 1.993 0 0 0 10 15a1.993 1.993 0 0 0 1-3.72zm-1 2.92c-.66 0-1.2-.55-1.2-1.2 0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2 0 .65-.55 1.2-1.2 1.2zM4 3c0-1.11-.89-2-2-2a1.993 1.993 0 0 0-1 3.72v6.56A1.993 1.993 0 0 0 2 15a1.993 1.993 0 0 0 1-3.72V4.72c.59-.34 1-.98 1-1.72zm-.8 10c0 .66-.55 1.2-1.2 1.2-.65 0-1.2-.55-1.2-1.2 0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2zM2 4.2C1.34 4.2.8 3.65.8 3c0-.65.55-1.2 1.2-1.2.65 0 1.2.55 1.2 1.2 0 .65-.55 1.2-1.2 1.2z"/></svg>
-      <span itemprop="name">Pull requests</span>
-      <span class="Counter">0</span>
-      <meta itemprop="position" content="3">
-</a>  </span>
-    <a href="/mattn/gntp-send/projects" class="js-selected-navigation-item reponav-item" data-selected-links="repo_projects new_repo_project repo_project /mattn/gntp-send/projects">
-      <svg aria-hidden="true" class="octicon octicon-project" height="16" version="1.1" viewBox="0 0 15 16" width="15"><path fill-rule="evenodd" d="M10 12h3V2h-3v10zm-4-2h3V2H6v8zm-4 4h3V2H2v12zm-1 1h13V1H1v14zM14 0H1a1 1 0 0 0-1 1v14a1 1 0 0 0 1 1h13a1 1 0 0 0 1-1V1a1 1 0 0 0-1-1z"/></svg>
-      Projects
-      <span class="Counter" >0</span>
-</a>
-    <a href="/mattn/gntp-send/wiki" class="js-selected-navigation-item reponav-item" data-hotkey="g w" data-selected-links="repo_wiki /mattn/gntp-send/wiki">
-      <svg aria-hidden="true" class="octicon octicon-book" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M3 5h4v1H3V5zm0 3h4V7H3v1zm0 2h4V9H3v1zm11-5h-4v1h4V5zm0 2h-4v1h4V7zm0 2h-4v1h4V9zm2-6v9c0 .55-.45 1-1 1H9.5l-1 1-1-1H2c-.55 0-1-.45-1-1V3c0-.55.45-1 1-1h5.5l1 1 1-1H15c.55 0 1 .45 1 1zm-8 .5L7.5 3H2v9h6V3.5zm7-.5H9.5l-.5.5V12h6V3z"/></svg>
-      Wiki
-</a>
-    <div class="reponav-dropdown js-menu-container">
-      <button type="button" class="btn-link reponav-item reponav-dropdown js-menu-target " data-no-toggle aria-expanded="false" aria-haspopup="true">
-        Insights
-        <svg aria-hidden="true" class="octicon octicon-triangle-down v-align-middle text-gray" height="11" version="1.1" viewBox="0 0 12 16" width="8"><path fill-rule="evenodd" d="M0 5l6 6 6-6z"/></svg>
-      </button>
-      <div class="dropdown-menu-content js-menu-content">
-        <div class="dropdown-menu dropdown-menu-sw">
-          <a class="dropdown-item" href="/mattn/gntp-send/pulse" data-skip-pjax>
-            <svg aria-hidden="true" class="octicon octicon-pulse" height="16" version="1.1" viewBox="0 0 14 16" width="14"><path fill-rule="evenodd" d="M11.5 8L8.8 5.4 6.6 8.5 5.5 1.6 2.38 8H0v2h3.6l.9-1.8.9 5.4L9 8.5l1.6 1.5H14V8z"/></svg>
-            Pulse
-          </a>
-          <a class="dropdown-item" href="/mattn/gntp-send/graphs" data-skip-pjax>
-            <svg aria-hidden="true" class="octicon octicon-graph" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M16 14v1H0V0h1v14h15zM5 13H3V8h2v5zm4 0H7V3h2v10zm4 0h-2V6h2v7z"/></svg>
-            Graphs
-          </a>
-        </div>
-      </div>
-    </div>
-</nav>
-      </div>
-    </div>
-<div class="container new-discussion-timeline experiment-repo-nav">
-  <div class="repository-content">
-  <a href="/mattn/gntp-send/blob/090b1276fb4a30601113551bed88c58329646818/include/msinttypes/stdint.h" class="d-none js-permalink-shortcut" data-hotkey="y">Permalink</a>
-  <!-- blob contrib key: blob_contributors:v21:1fdd18f08c206edbaba4a5b47a34cc57 -->
-  <div class="file-navigation js-zeroclipboard-container">
-<div class="select-menu branch-select-menu js-menu-container js-select-menu float-left">
-  <button class=" btn btn-sm select-menu-button js-menu-target css-truncate" data-hotkey="w"
-    type="button" aria-label="Switch branches or tags" aria-expanded="false" aria-haspopup="true">
-      <i>Branch:</i>
-      <span class="js-select-button css-truncate-target">master</span>
-  </button>
-  <div class="select-menu-modal-holder js-menu-content js-navigation-container" data-pjax>
-    <div class="select-menu-modal">
-      <div class="select-menu-header">
-        <svg aria-label="Close" class="octicon octicon-x js-menu-close" height="16" role="img" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M7.48 8l3.75 3.75-1.48 1.48L6 9.48l-3.75 3.75-1.48-1.48L4.52 8 .77 4.25l1.48-1.48L6 6.52l3.75-3.75 1.48 1.48z"/></svg>
-        <span class="select-menu-title">Switch branches/tags</span>
-      </div>
-      <div class="select-menu-filters">
-        <div class="select-menu-text-filter">
-          <input type="text" aria-label="Filter branches/tags" id="context-commitish-filter-field" class="form-control js-filterable-field js-navigation-enable" placeholder="Filter branches/tags">
-        </div>
-        <div class="select-menu-tabs">
-          <ul>
-            <li class="select-menu-tab">
-              <a href="#" data-tab-filter="branches" data-filter-placeholder="Filter branches/tags" class="js-select-menu-tab" role="tab">Branches</a>
-            </li>
-            <li class="select-menu-tab">
-              <a href="#" data-tab-filter="tags" data-filter-placeholder="Find a tag…" class="js-select-menu-tab" role="tab">Tags</a>
-            </li>
-          </ul>
-        </div>
-      </div>
-      <div class="select-menu-list select-menu-tab-bucket js-select-menu-tab-bucket" data-tab-filter="branches" role="menu">
-        <div data-filterable-for="context-commitish-filter-field" data-filterable-type="substring">
-            <a class="select-menu-item js-navigation-item js-navigation-open selected"
-               href="/mattn/gntp-send/blob/master/include/msinttypes/stdint.h"
-               data-name="master"
-               data-skip-pjax="true"
-               rel="nofollow">
-              <svg aria-hidden="true" class="octicon octicon-check select-menu-item-icon" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M12 5l-8 8-4-4 1.5-1.5L4 10l6.5-6.5z"/></svg>
-              <span class="select-menu-item-text css-truncate-target js-select-menu-filter-text">
-                master
-              </span>
-            </a>
-        </div>
-          <div class="select-menu-no-results">Nothing to show</div>
-      </div>
-      <div class="select-menu-list select-menu-tab-bucket js-select-menu-tab-bucket" data-tab-filter="tags">
-        <div data-filterable-for="context-commitish-filter-field" data-filterable-type="substring">
-            <a class="select-menu-item js-navigation-item js-navigation-open "
-              href="/mattn/gntp-send/tree/0.3.4/include/msinttypes/stdint.h"
-              data-name="0.3.4"
-              data-skip-pjax="true"
-              rel="nofollow">
-              <svg aria-hidden="true" class="octicon octicon-check select-menu-item-icon" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M12 5l-8 8-4-4 1.5-1.5L4 10l6.5-6.5z"/></svg>
-              <span class="select-menu-item-text css-truncate-target" title="0.3.4">
-                0.3.4
-              </span>
-            </a>
-        </div>
-        <div class="select-menu-no-results">Nothing to show</div>
-      </div>
-    </div>
-  </div>
-</div>
-    <div class="BtnGroup float-right">
-      <a href="/mattn/gntp-send/find/master"
-            class="js-pjax-capture-input btn btn-sm BtnGroup-item"
-            data-pjax
-            data-hotkey="t">
-        Find file
-      </a>
-      <button aria-label="Copy file path to clipboard" class="js-zeroclipboard btn btn-sm BtnGroup-item tooltipped tooltipped-s" data-copied-hint="Copied!" type="button">Copy path</button>
-    </div>
-    <div class="breadcrumb js-zeroclipboard-target">
-      <span class="repo-root js-repo-root"><span class="js-path-segment"><a href="/mattn/gntp-send"><span>gntp-send</span></a></span></span><span class="separator">/</span><span class="js-path-segment"><a href="/mattn/gntp-send/tree/master/include"><span>include</span></a></span><span class="separator">/</span><span class="js-path-segment"><a href="/mattn/gntp-send/tree/master/include/msinttypes"><span>msinttypes</span></a></span><span class="separator">/</span><strong class="final-path">stdint.h</strong>
-    </div>
-  </div>
-  <div class="commit-tease">
-      <span class="float-right">
-        <a class="commit-tease-sha" href="/mattn/gntp-send/commit/700f4a2d844001a6197d68440a9123f197be6096" data-pjax>
-          700f4a2
-        </a>
-        <relative-time datetime="2011-10-06T00:28:08Z">Oct 6, 2011</relative-time>
-      </span>
-      <div>
-        <img alt="@mattn" class="avatar" height="20" src="https://avatars1.githubusercontent.com/u/10111?v=4&amp;s=40" width="20" />
-        <a href="/mattn" class="user-mention" rel="author">mattn</a>
-          <a href="/mattn/gntp-send/commit/700f4a2d844001a6197d68440a9123f197be6096" class="message" data-pjax="true" title="perfer include/src name.">perfer include/src name.</a>
-      </div>
-    <div class="commit-tease-contributors">
-      <button type="button" class="btn-link muted-link contributors-toggle" data-facebox="#blob_contributors_box">
-        <strong>1</strong>
-         contributor
-      </button>
-    </div>
-    <div id="blob_contributors_box" style="display:none">
-      <h2 class="facebox-header" data-facebox-id="facebox-header">Users who have contributed to this file</h2>
-      <ul class="facebox-user-list" data-facebox-id="facebox-description">
-          <li class="facebox-user-list-item">
-            <img alt="@mattn" height="24" src="https://avatars3.githubusercontent.com/u/10111?v=4&amp;s=48" width="24" />
-            <a href="/mattn">mattn</a>
-          </li>
-      </ul>
-    </div>
-  </div>
-  <div class="file">
-    <div class="file-header">
-  <div class="file-actions">
-    <div class="BtnGroup">
-      <a href="/mattn/gntp-send/raw/master/include/msinttypes/stdint.h" class="btn btn-sm BtnGroup-item" id="raw-url">Raw</a>
-        <a href="/mattn/gntp-send/blame/master/include/msinttypes/stdint.h" class="btn btn-sm js-update-url-with-hash BtnGroup-item" data-hotkey="b">Blame</a>
-      <a href="/mattn/gntp-send/commits/master/include/msinttypes/stdint.h" class="btn btn-sm BtnGroup-item" rel="nofollow">History</a>
-    </div>
-        <a class="btn-octicon tooltipped tooltipped-nw"
-           href="https://desktop.github.com"
-           aria-label="Open this file in GitHub Desktop"
-           data-ga-click="Repository, open with desktop, type:windows">
-            <svg aria-hidden="true" class="octicon octicon-device-desktop" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M15 2H1c-.55 0-1 .45-1 1v9c0 .55.45 1 1 1h5.34c-.25.61-.86 1.39-2.34 2h8c-1.48-.61-2.09-1.39-2.34-2H15c.55 0 1-.45 1-1V3c0-.55-.45-1-1-1zm0 9H1V3h14v8z"/></svg>
-        </a>
-        <button type="button" class="btn-octicon disabled tooltipped tooltipped-nw"
-          aria-label="You must be signed in to make or propose changes">
-          <svg aria-hidden="true" class="octicon octicon-pencil" height="16" version="1.1" viewBox="0 0 14 16" width="14"><path fill-rule="evenodd" d="M0 12v3h3l8-8-3-3-8 8zm3 2H1v-2h1v1h1v1zm10.3-9.3L12 6 9 3l1.3-1.3a.996.996 0 0 1 1.41 0l1.59 1.59c.39.39.39 1.02 0 1.41z"/></svg>
-        </button>
-        <button type="button" class="btn-octicon btn-octicon-danger disabled tooltipped tooltipped-nw"
-          aria-label="You must be signed in to make or propose changes">
-          <svg aria-hidden="true" class="octicon octicon-trashcan" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M11 2H9c0-.55-.45-1-1-1H5c-.55 0-1 .45-1 1H2c-.55 0-1 .45-1 1v1c0 .55.45 1 1 1v9c0 .55.45 1 1 1h7c.55 0 1-.45 1-1V5c.55 0 1-.45 1-1V3c0-.55-.45-1-1-1zm-1 12H3V5h1v8h1V5h1v8h1V5h1v8h1V5h1v9zm1-10H2V3h9v1z"/></svg>
-        </button>
-  </div>
-  <div class="file-info">
-      248 lines (207 sloc)
-      <span class="file-info-divider"></span>
-    7.55 KB
-  </div>
-</div>
-  <div itemprop="text" class="blob-wrapper data type-c">
-      <table class="highlight tab-size js-file-line-container" data-tab-size="8">
-      <tr>
-        <td id="L1" class="blob-num js-line-number" data-line-number="1"></td>
-        <td id="LC1" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> ISO C9x  compliant stdint.h for Microsoft Visual Studio</span></td>
-      </tr>
-      <tr>
-        <td id="L2" class="blob-num js-line-number" data-line-number="2"></td>
-        <td id="LC2" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> Based on ISO/IEC 9899:TC2 Committee draft (May 6, 2005) WG14/N1124 </span></td>
-      </tr>
-      <tr>
-        <td id="L3" class="blob-num js-line-number" data-line-number="3"></td>
-        <td id="LC3" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L4" class="blob-num js-line-number" data-line-number="4"></td>
-        <td id="LC4" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>  Copyright (c) 2006-2008 Alexander Chemeris</span></td>
-      </tr>
-      <tr>
-        <td id="L5" class="blob-num js-line-number" data-line-number="5"></td>
-        <td id="LC5" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L6" class="blob-num js-line-number" data-line-number="6"></td>
-        <td id="LC6" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> Redistribution and use in source and binary forms, with or without</span></td>
-      </tr>
-      <tr>
-        <td id="L7" class="blob-num js-line-number" data-line-number="7"></td>
-        <td id="LC7" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> modification, are permitted provided that the following conditions are met:</span></td>
-      </tr>
-      <tr>
-        <td id="L8" class="blob-num js-line-number" data-line-number="8"></td>
-        <td id="LC8" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L9" class="blob-num js-line-number" data-line-number="9"></td>
-        <td id="LC9" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>   1. Redistributions of source code must retain the above copyright notice,</span></td>
-      </tr>
-      <tr>
-        <td id="L10" class="blob-num js-line-number" data-line-number="10"></td>
-        <td id="LC10" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>      this list of conditions and the following disclaimer.</span></td>
-      </tr>
-      <tr>
-        <td id="L11" class="blob-num js-line-number" data-line-number="11"></td>
-        <td id="LC11" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L12" class="blob-num js-line-number" data-line-number="12"></td>
-        <td id="LC12" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>   2. Redistributions in binary form must reproduce the above copyright</span></td>
-      </tr>
-      <tr>
-        <td id="L13" class="blob-num js-line-number" data-line-number="13"></td>
-        <td id="LC13" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>      notice, this list of conditions and the following disclaimer in the</span></td>
-      </tr>
-      <tr>
-        <td id="L14" class="blob-num js-line-number" data-line-number="14"></td>
-        <td id="LC14" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>      documentation and/or other materials provided with the distribution.</span></td>
-      </tr>
-      <tr>
-        <td id="L15" class="blob-num js-line-number" data-line-number="15"></td>
-        <td id="LC15" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L16" class="blob-num js-line-number" data-line-number="16"></td>
-        <td id="LC16" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>   3. The name of the author may be used to endorse or promote products</span></td>
-      </tr>
-      <tr>
-        <td id="L17" class="blob-num js-line-number" data-line-number="17"></td>
-        <td id="LC17" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>      derived from this software without specific prior written permission.</span></td>
-      </tr>
-      <tr>
-        <td id="L18" class="blob-num js-line-number" data-line-number="18"></td>
-        <td id="LC18" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L19" class="blob-num js-line-number" data-line-number="19"></td>
-        <td id="LC19" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS&#39;&#39; AND ANY EXPRESS OR IMPLIED</span></td>
-      </tr>
-      <tr>
-        <td id="L20" class="blob-num js-line-number" data-line-number="20"></td>
-        <td id="LC20" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF</span></td>
-      </tr>
-      <tr>
-        <td id="L21" class="blob-num js-line-number" data-line-number="21"></td>
-        <td id="LC21" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO</span></td>
-      </tr>
-      <tr>
-        <td id="L22" class="blob-num js-line-number" data-line-number="22"></td>
-        <td id="LC22" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,</span></td>
-      </tr>
-      <tr>
-        <td id="L23" class="blob-num js-line-number" data-line-number="23"></td>
-        <td id="LC23" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,</span></td>
-      </tr>
-      <tr>
-        <td id="L24" class="blob-num js-line-number" data-line-number="24"></td>
-        <td id="LC24" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;</span></td>
-      </tr>
-      <tr>
-        <td id="L25" class="blob-num js-line-number" data-line-number="25"></td>
-        <td id="LC25" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, </span></td>
-      </tr>
-      <tr>
-        <td id="L26" class="blob-num js-line-number" data-line-number="26"></td>
-        <td id="LC26" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR</span></td>
-      </tr>
-      <tr>
-        <td id="L27" class="blob-num js-line-number" data-line-number="27"></td>
-        <td id="LC27" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF</span></td>
-      </tr>
-      <tr>
-        <td id="L28" class="blob-num js-line-number" data-line-number="28"></td>
-        <td id="LC28" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.</span></td>
-      </tr>
-      <tr>
-        <td id="L29" class="blob-num js-line-number" data-line-number="29"></td>
-        <td id="LC29" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> </span></td>
-      </tr>
-      <tr>
-        <td id="L30" class="blob-num js-line-number" data-line-number="30"></td>
-        <td id="LC30" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>/////////////////////////////////////////////////////////////////////////////</span></td>
-      </tr>
-      <tr>
-        <td id="L31" class="blob-num js-line-number" data-line-number="31"></td>
-        <td id="LC31" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L32" class="blob-num js-line-number" data-line-number="32"></td>
-        <td id="LC32" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> _MSC_VER <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L33" class="blob-num js-line-number" data-line-number="33"></td>
-        <td id="LC33" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">error</span> &quot;Use this header only with Microsoft Visual C++ compilers!&quot;</td>
-      </tr>
-      <tr>
-        <td id="L34" class="blob-num js-line-number" data-line-number="34"></td>
-        <td id="LC34" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> _MSC_VER ]</span></td>
-      </tr>
-      <tr>
-        <td id="L35" class="blob-num js-line-number" data-line-number="35"></td>
-        <td id="LC35" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L36" class="blob-num js-line-number" data-line-number="36"></td>
-        <td id="LC36" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> _MSC_STDINT_H_ <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L37" class="blob-num js-line-number" data-line-number="37"></td>
-        <td id="LC37" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">_MSC_STDINT_H_</span></td>
-      </tr>
-      <tr>
-        <td id="L38" class="blob-num js-line-number" data-line-number="38"></td>
-        <td id="LC38" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L39" class="blob-num js-line-number" data-line-number="39"></td>
-        <td id="LC39" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">if</span> _MSC_VER &gt; 1000</td>
-      </tr>
-      <tr>
-        <td id="L40" class="blob-num js-line-number" data-line-number="40"></td>
-        <td id="LC40" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">pragma</span> once</td>
-      </tr>
-      <tr>
-        <td id="L41" class="blob-num js-line-number" data-line-number="41"></td>
-        <td id="LC41" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span></td>
-      </tr>
-      <tr>
-        <td id="L42" class="blob-num js-line-number" data-line-number="42"></td>
-        <td id="LC42" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L43" class="blob-num js-line-number" data-line-number="43"></td>
-        <td id="LC43" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">include</span> <span class="pl-s"><span class="pl-pds">&lt;</span>limits.h<span class="pl-pds">&gt;</span></span></td>
-      </tr>
-      <tr>
-        <td id="L44" class="blob-num js-line-number" data-line-number="44"></td>
-        <td id="LC44" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L45" class="blob-num js-line-number" data-line-number="45"></td>
-        <td id="LC45" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> For Visual Studio 6 in C++ mode and for many Visual Studio versions when</span></td>
-      </tr>
-      <tr>
-        <td id="L46" class="blob-num js-line-number" data-line-number="46"></td>
-        <td id="LC46" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> compiling for ARM we should wrap &lt;wchar.h&gt; include with &#39;extern &quot;C++&quot; {}&#39;</span></td>
-      </tr>
-      <tr>
-        <td id="L47" class="blob-num js-line-number" data-line-number="47"></td>
-        <td id="LC47" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> or compiler give many errors like this:</span></td>
-      </tr>
-      <tr>
-        <td id="L48" class="blob-num js-line-number" data-line-number="48"></td>
-        <td id="LC48" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span>   error C2733: second C linkage of overloaded function &#39;wmemchr&#39; not allowed</span></td>
-      </tr>
-      <tr>
-        <td id="L49" class="blob-num js-line-number" data-line-number="49"></td>
-        <td id="LC49" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifdef</span> __cplusplus</td>
-      </tr>
-      <tr>
-        <td id="L50" class="blob-num js-line-number" data-line-number="50"></td>
-        <td id="LC50" class="blob-code blob-code-inner js-file-line"><span class="pl-k">extern</span> <span class="pl-s"><span class="pl-pds">&quot;</span>C<span class="pl-pds">&quot;</span></span> {</td>
-      </tr>
-      <tr>
-        <td id="L51" class="blob-num js-line-number" data-line-number="51"></td>
-        <td id="LC51" class="blob-code blob-code-inner js-file-line">#endif</td>
-      </tr>
-      <tr>
-        <td id="L52" class="blob-num js-line-number" data-line-number="52"></td>
-        <td id="LC52" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">include</span> <span class="pl-s"><span class="pl-pds">&lt;</span>wchar.h<span class="pl-pds">&gt;</span></span></td>
-      </tr>
-      <tr>
-        <td id="L53" class="blob-num js-line-number" data-line-number="53"></td>
-        <td id="LC53" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifdef</span> __cplusplus</td>
-      </tr>
-      <tr>
-        <td id="L54" class="blob-num js-line-number" data-line-number="54"></td>
-        <td id="LC54" class="blob-code blob-code-inner js-file-line">}</td>
-      </tr>
-      <tr>
-        <td id="L55" class="blob-num js-line-number" data-line-number="55"></td>
-        <td id="LC55" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span></td>
-      </tr>
-      <tr>
-        <td id="L56" class="blob-num js-line-number" data-line-number="56"></td>
-        <td id="LC56" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L57" class="blob-num js-line-number" data-line-number="57"></td>
-        <td id="LC57" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> Define _W64 macros to mark types changing their size, like intptr_t.</span></td>
-      </tr>
-      <tr>
-        <td id="L58" class="blob-num js-line-number" data-line-number="58"></td>
-        <td id="LC58" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> _W64</td>
-      </tr>
-      <tr>
-        <td id="L59" class="blob-num js-line-number" data-line-number="59"></td>
-        <td id="LC59" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">if</span> !defined(__midl) &amp;&amp; (defined(_X86_) || defined(_M_IX86)) &amp;&amp; _MSC_VER &gt;= 1300</td>
-      </tr>
-      <tr>
-        <td id="L60" class="blob-num js-line-number" data-line-number="60"></td>
-        <td id="LC60" class="blob-code blob-code-inner js-file-line">#     <span class="pl-k">define</span> <span class="pl-en">_W64</span> __w64</td>
-      </tr>
-      <tr>
-        <td id="L61" class="blob-num js-line-number" data-line-number="61"></td>
-        <td id="LC61" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">else</span></td>
-      </tr>
-      <tr>
-        <td id="L62" class="blob-num js-line-number" data-line-number="62"></td>
-        <td id="LC62" class="blob-code blob-code-inner js-file-line">#     <span class="pl-k">define</span> <span class="pl-en">_W64</span></td>
-      </tr>
-      <tr>
-        <td id="L63" class="blob-num js-line-number" data-line-number="63"></td>
-        <td id="LC63" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">endif</span></td>
-      </tr>
-      <tr>
-        <td id="L64" class="blob-num js-line-number" data-line-number="64"></td>
-        <td id="LC64" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span></td>
-      </tr>
-      <tr>
-        <td id="L65" class="blob-num js-line-number" data-line-number="65"></td>
-        <td id="LC65" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L66" class="blob-num js-line-number" data-line-number="66"></td>
-        <td id="LC66" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L67" class="blob-num js-line-number" data-line-number="67"></td>
-        <td id="LC67" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1 Integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L68" class="blob-num js-line-number" data-line-number="68"></td>
-        <td id="LC68" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L69" class="blob-num js-line-number" data-line-number="69"></td>
-        <td id="LC69" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1.1 Exact-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L70" class="blob-num js-line-number" data-line-number="70"></td>
-        <td id="LC70" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L71" class="blob-num js-line-number" data-line-number="71"></td>
-        <td id="LC71" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> Visual Studio 6 and Embedded Visual C++ 4 doesn&#39;t</span></td>
-      </tr>
-      <tr>
-        <td id="L72" class="blob-num js-line-number" data-line-number="72"></td>
-        <td id="LC72" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> realize that, e.g. char has the same size as __int8</span></td>
-      </tr>
-      <tr>
-        <td id="L73" class="blob-num js-line-number" data-line-number="73"></td>
-        <td id="LC73" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> so we give up on __intX for them.</span></td>
-      </tr>
-      <tr>
-        <td id="L74" class="blob-num js-line-number" data-line-number="74"></td>
-        <td id="LC74" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">if</span> (_MSC_VER &lt; 1300)</td>
-      </tr>
-      <tr>
-        <td id="L75" class="blob-num js-line-number" data-line-number="75"></td>
-        <td id="LC75" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> <span class="pl-k">char</span>       <span class="pl-c1">int8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L76" class="blob-num js-line-number" data-line-number="76"></td>
-        <td id="LC76" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> <span class="pl-k">short</span>      <span class="pl-c1">int16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L77" class="blob-num js-line-number" data-line-number="77"></td>
-        <td id="LC77" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> <span class="pl-k">int</span>        <span class="pl-c1">int32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L78" class="blob-num js-line-number" data-line-number="78"></td>
-        <td id="LC78" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> <span class="pl-k">char</span>     <span class="pl-c1">uint8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L79" class="blob-num js-line-number" data-line-number="79"></td>
-        <td id="LC79" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> <span class="pl-k">short</span>    <span class="pl-c1">uint16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L80" class="blob-num js-line-number" data-line-number="80"></td>
-        <td id="LC80" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> <span class="pl-k">int</span>      <span class="pl-c1">uint32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L81" class="blob-num js-line-number" data-line-number="81"></td>
-        <td id="LC81" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">else</span></td>
-      </tr>
-      <tr>
-        <td id="L82" class="blob-num js-line-number" data-line-number="82"></td>
-        <td id="LC82" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> __int8     <span class="pl-c1">int8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L83" class="blob-num js-line-number" data-line-number="83"></td>
-        <td id="LC83" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> __int16    <span class="pl-c1">int16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L84" class="blob-num js-line-number" data-line-number="84"></td>
-        <td id="LC84" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> __int32    <span class="pl-c1">int32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L85" class="blob-num js-line-number" data-line-number="85"></td>
-        <td id="LC85" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> __int8   <span class="pl-c1">uint8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L86" class="blob-num js-line-number" data-line-number="86"></td>
-        <td id="LC86" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> __int16  <span class="pl-c1">uint16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L87" class="blob-num js-line-number" data-line-number="87"></td>
-        <td id="LC87" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> __int32  <span class="pl-c1">uint32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L88" class="blob-num js-line-number" data-line-number="88"></td>
-        <td id="LC88" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span></td>
-      </tr>
-      <tr>
-        <td id="L89" class="blob-num js-line-number" data-line-number="89"></td>
-        <td id="LC89" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-k">signed</span> __int64       <span class="pl-c1">int64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L90" class="blob-num js-line-number" data-line-number="90"></td>
-        <td id="LC90" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> __int64     <span class="pl-c1">uint64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L91" class="blob-num js-line-number" data-line-number="91"></td>
-        <td id="LC91" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L92" class="blob-num js-line-number" data-line-number="92"></td>
-        <td id="LC92" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L93" class="blob-num js-line-number" data-line-number="93"></td>
-        <td id="LC93" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1.2 Minimum-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L94" class="blob-num js-line-number" data-line-number="94"></td>
-        <td id="LC94" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int8_t</span>    <span class="pl-c1">int_least8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L95" class="blob-num js-line-number" data-line-number="95"></td>
-        <td id="LC95" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int16_t</span>   <span class="pl-c1">int_least16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L96" class="blob-num js-line-number" data-line-number="96"></td>
-        <td id="LC96" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int32_t</span>   <span class="pl-c1">int_least32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L97" class="blob-num js-line-number" data-line-number="97"></td>
-        <td id="LC97" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int64_t</span>   <span class="pl-c1">int_least64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L98" class="blob-num js-line-number" data-line-number="98"></td>
-        <td id="LC98" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint8_t</span>   <span class="pl-c1">uint_least8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L99" class="blob-num js-line-number" data-line-number="99"></td>
-        <td id="LC99" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint16_t</span>  <span class="pl-c1">uint_least16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L100" class="blob-num js-line-number" data-line-number="100"></td>
-        <td id="LC100" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint32_t</span>  <span class="pl-c1">uint_least32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L101" class="blob-num js-line-number" data-line-number="101"></td>
-        <td id="LC101" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint64_t</span>  <span class="pl-c1">uint_least64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L102" class="blob-num js-line-number" data-line-number="102"></td>
-        <td id="LC102" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L103" class="blob-num js-line-number" data-line-number="103"></td>
-        <td id="LC103" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1.3 Fastest minimum-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L104" class="blob-num js-line-number" data-line-number="104"></td>
-        <td id="LC104" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int8_t</span>    <span class="pl-c1">int_fast8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L105" class="blob-num js-line-number" data-line-number="105"></td>
-        <td id="LC105" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int16_t</span>   <span class="pl-c1">int_fast16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L106" class="blob-num js-line-number" data-line-number="106"></td>
-        <td id="LC106" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int32_t</span>   <span class="pl-c1">int_fast32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L107" class="blob-num js-line-number" data-line-number="107"></td>
-        <td id="LC107" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int64_t</span>   <span class="pl-c1">int_fast64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L108" class="blob-num js-line-number" data-line-number="108"></td>
-        <td id="LC108" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint8_t</span>   <span class="pl-c1">uint_fast8_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L109" class="blob-num js-line-number" data-line-number="109"></td>
-        <td id="LC109" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint16_t</span>  <span class="pl-c1">uint_fast16_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L110" class="blob-num js-line-number" data-line-number="110"></td>
-        <td id="LC110" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint32_t</span>  <span class="pl-c1">uint_fast32_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L111" class="blob-num js-line-number" data-line-number="111"></td>
-        <td id="LC111" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint64_t</span>  <span class="pl-c1">uint_fast64_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L112" class="blob-num js-line-number" data-line-number="112"></td>
-        <td id="LC112" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L113" class="blob-num js-line-number" data-line-number="113"></td>
-        <td id="LC113" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1.4 Integer types capable of holding object pointers</span></td>
-      </tr>
-      <tr>
-        <td id="L114" class="blob-num js-line-number" data-line-number="114"></td>
-        <td id="LC114" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifdef</span> _WIN64 <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L115" class="blob-num js-line-number" data-line-number="115"></td>
-        <td id="LC115" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">signed</span> __int64    <span class="pl-c1">intptr_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L116" class="blob-num js-line-number" data-line-number="116"></td>
-        <td id="LC116" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> <span class="pl-k">unsigned</span> __int64  <span class="pl-c1">uintptr_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L117" class="blob-num js-line-number" data-line-number="117"></td>
-        <td id="LC117" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">else</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ][</span></td>
-      </tr>
-      <tr>
-        <td id="L118" class="blob-num js-line-number" data-line-number="118"></td>
-        <td id="LC118" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> _W64 <span class="pl-k">signed</span> <span class="pl-k">int</span>   <span class="pl-c1">intptr_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L119" class="blob-num js-line-number" data-line-number="119"></td>
-        <td id="LC119" class="blob-code blob-code-inner js-file-line">   <span class="pl-k">typedef</span> _W64 <span class="pl-k">unsigned</span> <span class="pl-k">int</span> <span class="pl-c1">uintptr_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L120" class="blob-num js-line-number" data-line-number="120"></td>
-        <td id="LC120" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ]</span></td>
-      </tr>
-      <tr>
-        <td id="L121" class="blob-num js-line-number" data-line-number="121"></td>
-        <td id="LC121" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L122" class="blob-num js-line-number" data-line-number="122"></td>
-        <td id="LC122" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.1.5 Greatest-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L123" class="blob-num js-line-number" data-line-number="123"></td>
-        <td id="LC123" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">int64_t</span>   <span class="pl-c1">intmax_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L124" class="blob-num js-line-number" data-line-number="124"></td>
-        <td id="LC124" class="blob-code blob-code-inner js-file-line"><span class="pl-k">typedef</span> <span class="pl-c1">uint64_t</span>  <span class="pl-c1">uintmax_t</span>;</td>
-      </tr>
-      <tr>
-        <td id="L125" class="blob-num js-line-number" data-line-number="125"></td>
-        <td id="LC125" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L126" class="blob-num js-line-number" data-line-number="126"></td>
-        <td id="LC126" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L127" class="blob-num js-line-number" data-line-number="127"></td>
-        <td id="LC127" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2 Limits of specified-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L128" class="blob-num js-line-number" data-line-number="128"></td>
-        <td id="LC128" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L129" class="blob-num js-line-number" data-line-number="129"></td>
-        <td id="LC129" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">if</span> !defined(__cplusplus) || defined(__STDC_LIMIT_MACROS) <span class="pl-c"><span class="pl-c">//</span> [   See footnote 220 at page 257 and footnote 221 at page 259</span></td>
-      </tr>
-      <tr>
-        <td id="L130" class="blob-num js-line-number" data-line-number="130"></td>
-        <td id="LC130" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L131" class="blob-num js-line-number" data-line-number="131"></td>
-        <td id="LC131" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2.1 Limits of exact-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L132" class="blob-num js-line-number" data-line-number="132"></td>
-        <td id="LC132" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT8_MIN</span>     ((<span class="pl-c1">int8_t</span>)_I8_MIN)</td>
-      </tr>
-      <tr>
-        <td id="L133" class="blob-num js-line-number" data-line-number="133"></td>
-        <td id="LC133" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT8_MAX</span>     _I8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L134" class="blob-num js-line-number" data-line-number="134"></td>
-        <td id="LC134" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT16_MIN</span>    ((<span class="pl-c1">int16_t</span>)_I16_MIN)</td>
-      </tr>
-      <tr>
-        <td id="L135" class="blob-num js-line-number" data-line-number="135"></td>
-        <td id="LC135" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT16_MAX</span>    _I16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L136" class="blob-num js-line-number" data-line-number="136"></td>
-        <td id="LC136" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT32_MIN</span>    ((<span class="pl-c1">int32_t</span>)_I32_MIN)</td>
-      </tr>
-      <tr>
-        <td id="L137" class="blob-num js-line-number" data-line-number="137"></td>
-        <td id="LC137" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT32_MAX</span>    _I32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L138" class="blob-num js-line-number" data-line-number="138"></td>
-        <td id="LC138" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT64_MIN</span>    ((<span class="pl-c1">int64_t</span>)_I64_MIN)</td>
-      </tr>
-      <tr>
-        <td id="L139" class="blob-num js-line-number" data-line-number="139"></td>
-        <td id="LC139" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT64_MAX</span>    _I64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L140" class="blob-num js-line-number" data-line-number="140"></td>
-        <td id="LC140" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT8_MAX</span>    _UI8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L141" class="blob-num js-line-number" data-line-number="141"></td>
-        <td id="LC141" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT16_MAX</span>   _UI16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L142" class="blob-num js-line-number" data-line-number="142"></td>
-        <td id="LC142" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT32_MAX</span>   _UI32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L143" class="blob-num js-line-number" data-line-number="143"></td>
-        <td id="LC143" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT64_MAX</span>   _UI64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L144" class="blob-num js-line-number" data-line-number="144"></td>
-        <td id="LC144" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L145" class="blob-num js-line-number" data-line-number="145"></td>
-        <td id="LC145" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2.2 Limits of minimum-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L146" class="blob-num js-line-number" data-line-number="146"></td>
-        <td id="LC146" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST8_MIN</span>    INT8_MIN</td>
-      </tr>
-      <tr>
-        <td id="L147" class="blob-num js-line-number" data-line-number="147"></td>
-        <td id="LC147" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST8_MAX</span>    INT8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L148" class="blob-num js-line-number" data-line-number="148"></td>
-        <td id="LC148" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST16_MIN</span>   INT16_MIN</td>
-      </tr>
-      <tr>
-        <td id="L149" class="blob-num js-line-number" data-line-number="149"></td>
-        <td id="LC149" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST16_MAX</span>   INT16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L150" class="blob-num js-line-number" data-line-number="150"></td>
-        <td id="LC150" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST32_MIN</span>   INT32_MIN</td>
-      </tr>
-      <tr>
-        <td id="L151" class="blob-num js-line-number" data-line-number="151"></td>
-        <td id="LC151" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST32_MAX</span>   INT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L152" class="blob-num js-line-number" data-line-number="152"></td>
-        <td id="LC152" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST64_MIN</span>   INT64_MIN</td>
-      </tr>
-      <tr>
-        <td id="L153" class="blob-num js-line-number" data-line-number="153"></td>
-        <td id="LC153" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_LEAST64_MAX</span>   INT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L154" class="blob-num js-line-number" data-line-number="154"></td>
-        <td id="LC154" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_LEAST8_MAX</span>   UINT8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L155" class="blob-num js-line-number" data-line-number="155"></td>
-        <td id="LC155" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_LEAST16_MAX</span>  UINT16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L156" class="blob-num js-line-number" data-line-number="156"></td>
-        <td id="LC156" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_LEAST32_MAX</span>  UINT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L157" class="blob-num js-line-number" data-line-number="157"></td>
-        <td id="LC157" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_LEAST64_MAX</span>  UINT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L158" class="blob-num js-line-number" data-line-number="158"></td>
-        <td id="LC158" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L159" class="blob-num js-line-number" data-line-number="159"></td>
-        <td id="LC159" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2.3 Limits of fastest minimum-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L160" class="blob-num js-line-number" data-line-number="160"></td>
-        <td id="LC160" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST8_MIN</span>    INT8_MIN</td>
-      </tr>
-      <tr>
-        <td id="L161" class="blob-num js-line-number" data-line-number="161"></td>
-        <td id="LC161" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST8_MAX</span>    INT8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L162" class="blob-num js-line-number" data-line-number="162"></td>
-        <td id="LC162" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST16_MIN</span>   INT16_MIN</td>
-      </tr>
-      <tr>
-        <td id="L163" class="blob-num js-line-number" data-line-number="163"></td>
-        <td id="LC163" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST16_MAX</span>   INT16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L164" class="blob-num js-line-number" data-line-number="164"></td>
-        <td id="LC164" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST32_MIN</span>   INT32_MIN</td>
-      </tr>
-      <tr>
-        <td id="L165" class="blob-num js-line-number" data-line-number="165"></td>
-        <td id="LC165" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST32_MAX</span>   INT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L166" class="blob-num js-line-number" data-line-number="166"></td>
-        <td id="LC166" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST64_MIN</span>   INT64_MIN</td>
-      </tr>
-      <tr>
-        <td id="L167" class="blob-num js-line-number" data-line-number="167"></td>
-        <td id="LC167" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT_FAST64_MAX</span>   INT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L168" class="blob-num js-line-number" data-line-number="168"></td>
-        <td id="LC168" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_FAST8_MAX</span>   UINT8_MAX</td>
-      </tr>
-      <tr>
-        <td id="L169" class="blob-num js-line-number" data-line-number="169"></td>
-        <td id="LC169" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_FAST16_MAX</span>  UINT16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L170" class="blob-num js-line-number" data-line-number="170"></td>
-        <td id="LC170" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_FAST32_MAX</span>  UINT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L171" class="blob-num js-line-number" data-line-number="171"></td>
-        <td id="LC171" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT_FAST64_MAX</span>  UINT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L172" class="blob-num js-line-number" data-line-number="172"></td>
-        <td id="LC172" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L173" class="blob-num js-line-number" data-line-number="173"></td>
-        <td id="LC173" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2.4 Limits of integer types capable of holding object pointers</span></td>
-      </tr>
-      <tr>
-        <td id="L174" class="blob-num js-line-number" data-line-number="174"></td>
-        <td id="LC174" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifdef</span> _WIN64 <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L175" class="blob-num js-line-number" data-line-number="175"></td>
-        <td id="LC175" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">INTPTR_MIN</span>   INT64_MIN</td>
-      </tr>
-      <tr>
-        <td id="L176" class="blob-num js-line-number" data-line-number="176"></td>
-        <td id="LC176" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">INTPTR_MAX</span>   INT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L177" class="blob-num js-line-number" data-line-number="177"></td>
-        <td id="LC177" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">UINTPTR_MAX</span>  UINT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L178" class="blob-num js-line-number" data-line-number="178"></td>
-        <td id="LC178" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">else</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ][</span></td>
-      </tr>
-      <tr>
-        <td id="L179" class="blob-num js-line-number" data-line-number="179"></td>
-        <td id="LC179" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">INTPTR_MIN</span>   INT32_MIN</td>
-      </tr>
-      <tr>
-        <td id="L180" class="blob-num js-line-number" data-line-number="180"></td>
-        <td id="LC180" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">INTPTR_MAX</span>   INT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L181" class="blob-num js-line-number" data-line-number="181"></td>
-        <td id="LC181" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">UINTPTR_MAX</span>  UINT32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L182" class="blob-num js-line-number" data-line-number="182"></td>
-        <td id="LC182" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ]</span></td>
-      </tr>
-      <tr>
-        <td id="L183" class="blob-num js-line-number" data-line-number="183"></td>
-        <td id="LC183" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L184" class="blob-num js-line-number" data-line-number="184"></td>
-        <td id="LC184" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.2.5 Limits of greatest-width integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L185" class="blob-num js-line-number" data-line-number="185"></td>
-        <td id="LC185" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INTMAX_MIN</span>   INT64_MIN</td>
-      </tr>
-      <tr>
-        <td id="L186" class="blob-num js-line-number" data-line-number="186"></td>
-        <td id="LC186" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INTMAX_MAX</span>   INT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L187" class="blob-num js-line-number" data-line-number="187"></td>
-        <td id="LC187" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINTMAX_MAX</span>  UINT64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L188" class="blob-num js-line-number" data-line-number="188"></td>
-        <td id="LC188" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L189" class="blob-num js-line-number" data-line-number="189"></td>
-        <td id="LC189" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.3 Limits of other integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L190" class="blob-num js-line-number" data-line-number="190"></td>
-        <td id="LC190" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L191" class="blob-num js-line-number" data-line-number="191"></td>
-        <td id="LC191" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifdef</span> _WIN64 <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L192" class="blob-num js-line-number" data-line-number="192"></td>
-        <td id="LC192" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">PTRDIFF_MIN</span>  _I64_MIN</td>
-      </tr>
-      <tr>
-        <td id="L193" class="blob-num js-line-number" data-line-number="193"></td>
-        <td id="LC193" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">PTRDIFF_MAX</span>  _I64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L194" class="blob-num js-line-number" data-line-number="194"></td>
-        <td id="LC194" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">else</span>  <span class="pl-c"><span class="pl-c">//</span> _WIN64 ][</span></td>
-      </tr>
-      <tr>
-        <td id="L195" class="blob-num js-line-number" data-line-number="195"></td>
-        <td id="LC195" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">PTRDIFF_MIN</span>  _I32_MIN</td>
-      </tr>
-      <tr>
-        <td id="L196" class="blob-num js-line-number" data-line-number="196"></td>
-        <td id="LC196" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">PTRDIFF_MAX</span>  _I32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L197" class="blob-num js-line-number" data-line-number="197"></td>
-        <td id="LC197" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span>  <span class="pl-c"><span class="pl-c">//</span> _WIN64 ]</span></td>
-      </tr>
-      <tr>
-        <td id="L198" class="blob-num js-line-number" data-line-number="198"></td>
-        <td id="LC198" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L199" class="blob-num js-line-number" data-line-number="199"></td>
-        <td id="LC199" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">SIG_ATOMIC_MIN</span>  INT_MIN</td>
-      </tr>
-      <tr>
-        <td id="L200" class="blob-num js-line-number" data-line-number="200"></td>
-        <td id="LC200" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">SIG_ATOMIC_MAX</span>  INT_MAX</td>
-      </tr>
-      <tr>
-        <td id="L201" class="blob-num js-line-number" data-line-number="201"></td>
-        <td id="LC201" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L202" class="blob-num js-line-number" data-line-number="202"></td>
-        <td id="LC202" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> SIZE_MAX <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L203" class="blob-num js-line-number" data-line-number="203"></td>
-        <td id="LC203" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">ifdef</span> _WIN64 <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L204" class="blob-num js-line-number" data-line-number="204"></td>
-        <td id="LC204" class="blob-code blob-code-inner js-file-line">#     <span class="pl-k">define</span> <span class="pl-en">SIZE_MAX</span>  _UI64_MAX</td>
-      </tr>
-      <tr>
-        <td id="L205" class="blob-num js-line-number" data-line-number="205"></td>
-        <td id="LC205" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">else</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ][</span></td>
-      </tr>
-      <tr>
-        <td id="L206" class="blob-num js-line-number" data-line-number="206"></td>
-        <td id="LC206" class="blob-code blob-code-inner js-file-line">#     <span class="pl-k">define</span> <span class="pl-en">SIZE_MAX</span>  _UI32_MAX</td>
-      </tr>
-      <tr>
-        <td id="L207" class="blob-num js-line-number" data-line-number="207"></td>
-        <td id="LC207" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> _WIN64 ]</span></td>
-      </tr>
-      <tr>
-        <td id="L208" class="blob-num js-line-number" data-line-number="208"></td>
-        <td id="LC208" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> SIZE_MAX ]</span></td>
-      </tr>
-      <tr>
-        <td id="L209" class="blob-num js-line-number" data-line-number="209"></td>
-        <td id="LC209" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L210" class="blob-num js-line-number" data-line-number="210"></td>
-        <td id="LC210" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> WCHAR_MIN and WCHAR_MAX are also defined in &lt;wchar.h&gt;</span></td>
-      </tr>
-      <tr>
-        <td id="L211" class="blob-num js-line-number" data-line-number="211"></td>
-        <td id="LC211" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> WCHAR_MIN <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L212" class="blob-num js-line-number" data-line-number="212"></td>
-        <td id="LC212" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">WCHAR_MIN</span>  <span class="pl-c1">0</span></td>
-      </tr>
-      <tr>
-        <td id="L213" class="blob-num js-line-number" data-line-number="213"></td>
-        <td id="LC213" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span>  <span class="pl-c"><span class="pl-c">//</span> WCHAR_MIN ]</span></td>
-      </tr>
-      <tr>
-        <td id="L214" class="blob-num js-line-number" data-line-number="214"></td>
-        <td id="LC214" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">ifndef</span> WCHAR_MAX <span class="pl-c"><span class="pl-c">//</span> [</span></td>
-      </tr>
-      <tr>
-        <td id="L215" class="blob-num js-line-number" data-line-number="215"></td>
-        <td id="LC215" class="blob-code blob-code-inner js-file-line">#  <span class="pl-k">define</span> <span class="pl-en">WCHAR_MAX</span>  _UI16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L216" class="blob-num js-line-number" data-line-number="216"></td>
-        <td id="LC216" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span>  <span class="pl-c"><span class="pl-c">//</span> WCHAR_MAX ]</span></td>
-      </tr>
-      <tr>
-        <td id="L217" class="blob-num js-line-number" data-line-number="217"></td>
-        <td id="LC217" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L218" class="blob-num js-line-number" data-line-number="218"></td>
-        <td id="LC218" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">WINT_MIN</span>  <span class="pl-c1">0</span></td>
-      </tr>
-      <tr>
-        <td id="L219" class="blob-num js-line-number" data-line-number="219"></td>
-        <td id="LC219" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">WINT_MAX</span>  _UI16_MAX</td>
-      </tr>
-      <tr>
-        <td id="L220" class="blob-num js-line-number" data-line-number="220"></td>
-        <td id="LC220" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L221" class="blob-num js-line-number" data-line-number="221"></td>
-        <td id="LC221" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> __STDC_LIMIT_MACROS ]</span></td>
-      </tr>
-      <tr>
-        <td id="L222" class="blob-num js-line-number" data-line-number="222"></td>
-        <td id="LC222" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L223" class="blob-num js-line-number" data-line-number="223"></td>
-        <td id="LC223" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L224" class="blob-num js-line-number" data-line-number="224"></td>
-        <td id="LC224" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.4 Limits of other integer types</span></td>
-      </tr>
-      <tr>
-        <td id="L225" class="blob-num js-line-number" data-line-number="225"></td>
-        <td id="LC225" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L226" class="blob-num js-line-number" data-line-number="226"></td>
-        <td id="LC226" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">if</span> !defined(__cplusplus) || defined(__STDC_CONSTANT_MACROS) <span class="pl-c"><span class="pl-c">//</span> [   See footnote 224 at page 260</span></td>
-      </tr>
-      <tr>
-        <td id="L227" class="blob-num js-line-number" data-line-number="227"></td>
-        <td id="LC227" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L228" class="blob-num js-line-number" data-line-number="228"></td>
-        <td id="LC228" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.4.1 Macros for minimum-width integer constants</span></td>
-      </tr>
-      <tr>
-        <td id="L229" class="blob-num js-line-number" data-line-number="229"></td>
-        <td id="LC229" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L230" class="blob-num js-line-number" data-line-number="230"></td>
-        <td id="LC230" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT8_C</span>(<span class="pl-v">val</span>)  val##i8</td>
-      </tr>
-      <tr>
-        <td id="L231" class="blob-num js-line-number" data-line-number="231"></td>
-        <td id="LC231" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT16_C</span>(<span class="pl-v">val</span>) val##i16</td>
-      </tr>
-      <tr>
-        <td id="L232" class="blob-num js-line-number" data-line-number="232"></td>
-        <td id="LC232" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT32_C</span>(<span class="pl-v">val</span>) val##i32</td>
-      </tr>
-      <tr>
-        <td id="L233" class="blob-num js-line-number" data-line-number="233"></td>
-        <td id="LC233" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INT64_C</span>(<span class="pl-v">val</span>) val##i64</td>
-      </tr>
-      <tr>
-        <td id="L234" class="blob-num js-line-number" data-line-number="234"></td>
-        <td id="LC234" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L235" class="blob-num js-line-number" data-line-number="235"></td>
-        <td id="LC235" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT8_C</span>(<span class="pl-v">val</span>)  val##ui8</td>
-      </tr>
-      <tr>
-        <td id="L236" class="blob-num js-line-number" data-line-number="236"></td>
-        <td id="LC236" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT16_C</span>(<span class="pl-v">val</span>) val##ui16</td>
-      </tr>
-      <tr>
-        <td id="L237" class="blob-num js-line-number" data-line-number="237"></td>
-        <td id="LC237" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT32_C</span>(<span class="pl-v">val</span>) val##ui32</td>
-      </tr>
-      <tr>
-        <td id="L238" class="blob-num js-line-number" data-line-number="238"></td>
-        <td id="LC238" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINT64_C</span>(<span class="pl-v">val</span>) val##ui64</td>
-      </tr>
-      <tr>
-        <td id="L239" class="blob-num js-line-number" data-line-number="239"></td>
-        <td id="LC239" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L240" class="blob-num js-line-number" data-line-number="240"></td>
-        <td id="LC240" class="blob-code blob-code-inner js-file-line"><span class="pl-c"><span class="pl-c">//</span> 7.18.4.2 Macros for greatest-width integer constants</span></td>
-      </tr>
-      <tr>
-        <td id="L241" class="blob-num js-line-number" data-line-number="241"></td>
-        <td id="LC241" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">INTMAX_C</span>   INT64_C</td>
-      </tr>
-      <tr>
-        <td id="L242" class="blob-num js-line-number" data-line-number="242"></td>
-        <td id="LC242" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">define</span> <span class="pl-en">UINTMAX_C</span>  UINT64_C</td>
-      </tr>
-      <tr>
-        <td id="L243" class="blob-num js-line-number" data-line-number="243"></td>
-        <td id="LC243" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L244" class="blob-num js-line-number" data-line-number="244"></td>
-        <td id="LC244" class="blob-code blob-code-inner js-file-line">#<span class="pl-k">endif</span> <span class="pl-c"><span class="pl-c">//</span> __STDC_CONSTANT_MACROS ]</span></td>
-      </tr>
-      <tr>
-        <td id="L245" class="blob-num js-line-number" data-line-number="245"></td>
-        <td id="LC245" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L246" class="blob-num js-line-number" data-line-number="246"></td>
-        <td id="LC246" class="blob-code blob-code-inner js-file-line">
-</td>
-      </tr>
-      <tr>
-        <td id="L247" class="blob-num js-line-number" data-line-number="247"></td>
-        <td id="LC247" class="blob-code blob-code-inner js-file-line">#endif <span class="pl-c"><span class="pl-c">//</span> _MSC_STDINT_H_ ]</span></td>
-      </tr>
-</table>
-  <div class="BlobToolbar position-absolute js-file-line-actions dropdown js-menu-container js-select-menu d-none" aria-hidden="true">
-    <button class="btn-octicon ml-0 px-2 p-0 bg-white border border-gray-dark rounded-1 dropdown-toggle js-menu-target" id="js-file-line-action-button" type="button" aria-expanded="false" aria-haspopup="true" aria-label="Inline file action toolbar" aria-controls="inline-file-actions">
-      <svg aria-hidden="true" class="octicon" height="16" version="1.1" viewBox="0 0 13 4" width="14">
-        <g stroke="none" stroke-width="1" fill-rule="evenodd">
-            <g transform="translate(-1.000000, -6.000000)">
-                <path d="M2.5,9.5 C1.67157288,9.5 1,8.82842712 1,8 C1,7.17157288 1.67157288,6.5 2.5,6.5 C3.32842712,6.5 4,7.17157288 4,8 C4,8.82842712 3.32842712,9.5 2.5,9.5 Z M7.5,9.5 C6.67157288,9.5 6,8.82842712 6,8 C6,7.17157288 6.67157288,6.5 7.5,6.5 C8.32842712,6.5 9,7.17157288 9,8 C9,8.82842712 8.32842712,9.5 7.5,9.5 Z M12.5,9.5 C11.6715729,9.5 11,8.82842712 11,8 C11,7.17157288 11.6715729,6.5 12.5,6.5 C13.3284271,6.5 14,7.17157288 14,8 C14,8.82842712 13.3284271,9.5 12.5,9.5 Z"></path>
-            </g>
-        </g>
-      </svg>
-    </button>
-    <div class="dropdown-menu-content js-menu-content" id="inline-file-actions">
-      <ul class="BlobToolbar-dropdown dropdown-menu dropdown-menu-se mt-2">
-        <li><a class="js-zeroclipboard dropdown-item" style="cursor:pointer;" id="js-copy-lines" data-original-text="Copy lines">Copy lines</a></li>
-        <li><a class="js-zeroclipboard dropdown-item" id= "js-copy-permalink" style="cursor:pointer;" data-original-text="Copy permalink">Copy permalink</a></li>
-        <li><a href="/mattn/gntp-send/blame/090b1276fb4a30601113551bed88c58329646818/include/msinttypes/stdint.h" class="dropdown-item js-update-url-with-hash" id="js-view-git-blame">View git blame</a></li>
-          <li><a href="/mattn/gntp-send/issues/new" class="dropdown-item" id="js-new-issue">Open new issue</a></li>
-      </ul>
-    </div>
-  </div>
-  </div>
-  </div>
-  <button type="button" data-facebox="#jump-to-line" data-facebox-class="linejump" data-hotkey="l" class="d-none">Jump to Line</button>
-  <div id="jump-to-line" style="display:none">
-    <!-- '"` --><!-- </textarea></xmp> --></option></form><form accept-charset="UTF-8" action="" class="js-jump-to-line-form" method="get"><div style="margin:0;padding:0;display:inline"><input name="utf8" type="hidden" value="&#x2713;" /></div>
-      <input class="form-control linejump-input js-jump-to-line-field" type="text" placeholder="Jump to line&hellip;" aria-label="Jump to line" autofocus>
-      <button type="submit" class="btn">Go</button>
-</form>  </div>
-  </div>
-  <div class="modal-backdrop js-touch-events"></div>
-</div>
-    </div>
-  </div>
-  </div>
-<div class="footer container-lg px-3" role="contentinfo">
-  <div class="position-relative d-flex flex-justify-between py-6 mt-6 f6 text-gray border-top border-gray-light ">
-    <ul class="list-style-none d-flex flex-wrap ">
-      <li class="mr-3">&copy; 2017 <span title="0.12140s from unicorn-1420858540-p0bxs">GitHub</span>, Inc.</li>
-        <li class="mr-3"><a href="https://github.com/site/terms" data-ga-click="Footer, go to terms, text:terms">Terms</a></li>
-        <li class="mr-3"><a href="https://github.com/site/privacy" data-ga-click="Footer, go to privacy, text:privacy">Privacy</a></li>
-        <li class="mr-3"><a href="https://github.com/security" data-ga-click="Footer, go to security, text:security">Security</a></li>
-        <li class="mr-3"><a href="https://status.github.com/" data-ga-click="Footer, go to status, text:status">Status</a></li>
-        <li><a href="https://help.github.com" data-ga-click="Footer, go to help, text:help">Help</a></li>
-    </ul>
-    <a href="https://github.com" aria-label="Homepage" class="footer-octicon" title="GitHub">
-      <svg aria-hidden="true" class="octicon octicon-mark-github" height="24" version="1.1" viewBox="0 0 16 16" width="24"><path fill-rule="evenodd" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0 0 16 8c0-4.42-3.58-8-8-8z"/></svg>
-</a>
-    <ul class="list-style-none d-flex flex-wrap ">
-        <li class="mr-3"><a href="https://github.com/contact" data-ga-click="Footer, go to contact, text:contact">Contact GitHub</a></li>
-      <li class="mr-3"><a href="https://developer.github.com" data-ga-click="Footer, go to api, text:api">API</a></li>
-      <li class="mr-3"><a href="https://training.github.com" data-ga-click="Footer, go to training, text:training">Training</a></li>
-      <li class="mr-3"><a href="https://shop.github.com" data-ga-click="Footer, go to shop, text:shop">Shop</a></li>
-        <li class="mr-3"><a href="https://github.com/blog" data-ga-click="Footer, go to blog, text:blog">Blog</a></li>
-        <li><a href="https://github.com/about" data-ga-click="Footer, go to about, text:about">About</a></li>
-    </ul>
-  </div>
-</div>
-  <div id="ajax-error-message" class="ajax-error-message flash flash-error">
-    <svg aria-hidden="true" class="octicon octicon-alert" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M8.865 1.52c-.18-.31-.51-.5-.87-.5s-.69.19-.87.5L.275 13.5c-.18.31-.18.69 0 1 .19.31.52.5.87.5h13.7c.36 0 .69-.19.86-.5.17-.31.18-.69.01-1L8.865 1.52zM8.995 13h-2v-2h2v2zm0-3h-2V6h2v4z"/></svg>
-    <button type="button" class="flash-close js-flash-close js-ajax-error-dismiss" aria-label="Dismiss error">
-      <svg aria-hidden="true" class="octicon octicon-x" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M7.48 8l3.75 3.75-1.48 1.48L6 9.48l-3.75 3.75-1.48-1.48L4.52 8 .77 4.25l1.48-1.48L6 6.52l3.75-3.75 1.48 1.48z"/></svg>
-    </button>
-    You can't perform that action at this time.
-  </div>
-    <script crossorigin="anonymous" integrity="sha256-Sxs+Reu4luxVVaYLalcHLGmPG0uGt2qgtP4QZ/RAsfM=" src="https://assets-cdn.github.com/assets/frameworks-4b1b3e45ebb896ec5555a60b6a57072c698f1b4b86b76aa0b4fe1067f440b1f3.js"></script>
-    <script async="async" crossorigin="anonymous" integrity="sha256-rhTSU9vJG0Aq7OSJ05kyOeUQ/RwV/IBUApQ7VS8xXXM=" src="https://assets-cdn.github.com/assets/github-ae14d253dbc91b402aece489d3993239e510fd1c15fc805402943b552f315d73.js"></script>
-  <div class="js-stale-session-flash stale-session-flash flash flash-warn flash-banner d-none">
-    <svg aria-hidden="true" class="octicon octicon-alert" height="16" version="1.1" viewBox="0 0 16 16" width="16"><path fill-rule="evenodd" d="M8.865 1.52c-.18-.31-.51-.5-.87-.5s-.69.19-.87.5L.275 13.5c-.18.31-.18.69 0 1 .19.31.52.5.87.5h13.7c.36 0 .69-.19.86-.5.17-.31.18-.69.01-1L8.865 1.52zM8.995 13h-2v-2h2v2zm0-3h-2V6h2v4z"/></svg>
-    <span class="signed-in-tab-flash">You signed in with another tab or window. <a href="">Reload</a> to refresh your session.</span>
-    <span class="signed-out-tab-flash">You signed out in another tab or window. <a href="">Reload</a> to refresh your session.</span>
-  </div>
-  <div class="facebox" id="facebox" style="display:none;">
-  <div class="facebox-popup">
-    <div class="facebox-content" role="dialog" aria-labelledby="facebox-header" aria-describedby="facebox-description">
-    </div>
-    <button type="button" class="facebox-close js-facebox-close" aria-label="Close modal">
-      <svg aria-hidden="true" class="octicon octicon-x" height="16" version="1.1" viewBox="0 0 12 16" width="12"><path fill-rule="evenodd" d="M7.48 8l3.75 3.75-1.48 1.48L6 9.48l-3.75 3.75-1.48-1.48L4.52 8 .77 4.25l1.48-1.48L6 6.52l3.75-3.75 1.48 1.48z"/></svg>
-    </button>
-  </div>
-</div>
-  </body>
-</html>