If AcceptBlockHeader returns true, pindex will be set.
If AcceptBlockHeader returns true, pindex will be set.

Assert this instead of checking (and then dref'ing later anyway)
to make sure no one thinks they can change that postcondition of
AcceptBlockHeader..

lateminer/bitcoin,senadmd/coinmarketwatch,Gazer022/bitcoin,HashUnlimited/Einsteinium-Unlimited,monacoinproject/monacoin,monacoinproject/monacoin,zcoinofficial/zcoin,BitcoinHardfork/bitcoin,ShadowMyst/creativechain-core,laudaa/bitcoin,ftrader-bitcoinabc/bitcoin-abc,vmp32k/litecoin,pinheadmz/bitcoin,Kogser/bitcoin,dscotese/bitcoin,aspanta/bitcoin,tecnovert/particl-core,vmp32k/litecoin,elecoin/elecoin,argentumproject/argentum,litecoin-project/litecore-litecoin,elecoin/elecoin,BTCGPU/BTCGPU,brandonrobertz/namecoin-core,ajtowns/bitcoin,kallewoof/bitcoin,magacoin/magacoin,jmcorgan/bitcoin,achow101/bitcoin,gravio-net/graviocoin,romanornr/viacoin,awemany/BitcoinUnlimited,mm-s/bitcoin,wiggi/huntercore,shouhuas/bitcoin,plncoin/PLNcoin_Core,segwit/atbcoin-insight,okinc/bitcoin,core-bitcoin/bitcoin,zetacoin/zetacoin,joshrabinowitz/bitcoin,segsignal/bitcoin,tecnovert/particl-core,segsignal/bitcoin,dgarage/bc2,RHavar/bitcoin,Theshadow4all/ShadowCoin,reorder/viacoin,wiggi/huntercore,uphold/bitcoin,matlongsi/micropay,cdecker/bitcoin,jtimon/bitcoin,dgarage/bc2,experiencecoin/experiencecoin,fanquake/bitcoin,n1bor/bitcoin,s-matthew-english/bitcoin,haobtc/bitcoin,ShadowMyst/creativechain-core,tjps/bitcoin,isle2983/bitcoin,Diapolo/bitcoin,bitcoinsSG/bitcoin,senadmd/coinmarketwatch,goldcoin/Goldcoin-GLD,earonesty/bitcoin,shaolinfry/litecoin,JeremyRubin/bitcoin,deeponion/deeponion,Rav3nPL/bitcoin,lateminer/bitcoin,bitreserve/bitcoin,CryptArc/bitcoin,UASF/bitcoin,starwels/starwels,alecalve/bitcoin,anditto/bitcoin,maaku/bitcoin,TheBlueMatt/bitcoin,joshrabinowitz/bitcoin,Rav3nPL/PLNcoin,DigiByte-Team/digibyte,monacoinproject/monacoin,daliwangi/bitcoin,svost/bitcoin,HashUnlimited/Einsteinium-Unlimited,tjps/bitcoin,achow101/bitcoin,EntropyFactory/creativechain-core,Friedbaumer/litecoin,bdelzell/creditcoin-org-creditcoin,EntropyFactory/creativechain-core,sarielsaz/sarielsaz,FeatherCoin/Feathercoin,mb300sd/bitcoin,namecoin/namecore,cryptoprojects/ultimateonlinecash,isle2983/bitcoin,Friedbaumer/litecoin,pataquets/namecoin-core,wangxinxi/litecoin,oklink-dev/bitcoin,multicoins/marycoin,RHavar/bitcoin,vertcoin/vertcoin,GlobalBoost/GlobalBoost,guncoin/guncoin,experiencecoin/experiencecoin,goldcoin/Goldcoin-GLD,yenliangl/bitcoin,daliwangi/bitcoin,midnightmagic/bitcoin,laudaa/bitcoin,h4x3rotab/BTCGPU,jonasschnelli/bitcoin,lbryio/lbrycrd,fanquake/bitcoin,jnewbery/bitcoin,cculianu/bitcoin-abc,practicalswift/bitcoin,dscotese/bitcoin,jtimon/bitcoin,jlopp/statoshi,FeatherCoin/Feathercoin,Xekyo/bitcoin,alecalve/bitcoin,sipsorcery/bitcoin,ElementsProject/elements,yenliangl/bitcoin,monacoinproject/monacoin,Electronic-Gulden-Foundation/egulden,instagibbs/bitcoin,simonmulser/bitcoin,destenson/bitcoin--bitcoin,ixcoinofficialpage/master,gjhiggins/vcoincore,psionin/smartcoin,maaku/bitcoin,1185/starwels,gazbert/bitcoin,sdaftuar/bitcoin,174high/bitcoin,cannabiscoindev/cannabiscoin420,wangxinxi/litecoin,Friedbaumer/litecoin,nikkitan/bitcoin,trippysalmon/bitcoin,DigiByte-Team/digibyte,zetacoin/zetacoin,goldcoin/goldcoin,bitcoinplusorg/xbcwalletsource,trippysalmon/bitcoin,Mirobit/bitcoin,fujicoin/fujicoin,dcousens/bitcoin,mincoin-project/mincoin,xieta/mincoin,goldcoin/goldcoin,AkioNak/bitcoin,DigitalPandacoin/pandacoin,GroestlCoin/GroestlCoin,bitcoinplusorg/xbcwalletsource,x-kalux/bitcoin_WiG-B,svost/bitcoin,TheBlueMatt/bitcoin,senadmd/coinmarketwatch,djpnewton/bitcoin,AdrianaDinca/bitcoin,goldcoin/Goldcoin-GLD,DigiByte-Team/digibyte,dscotese/bitcoin,DigitalPandacoin/pandacoin,ftrader-bitcoinabc/bitcoin-abc,zcoinofficial/zcoin,rnicoll/dogecoin,ajtowns/bitcoin,segsignal/bitcoin,AkioNak/bitcoin,joshrabinowitz/bitcoin,multicoins/marycoin,myriadcoin/myriadcoin,ajtowns/bitcoin,mm-s/bitcoin,ryanxcharles/bitcoin,NicolasDorier/bitcoin,ppcoin/ppcoin,thrasher-/litecoin,bitcoinplusorg/xbcwalletsource,myriadcoin/myriadcoin,laudaa/bitcoin,nikkitan/bitcoin,Bushstar/UFO-Project,globaltoken/globaltoken,randy-waterhouse/bitcoin,afk11/bitcoin,vertcoin/vertcoin,dscotese/bitcoin,mruddy/bitcoin,ctwiz/stardust,elecoin/elecoin,BitcoinHardfork/bitcoin,okinc/bitcoin,BitzenyCoreDevelopers/bitzeny,zcoinofficial/zcoin,Kogser/bitcoin,DigiByte-Team/digibyte,OmniLayer/omnicore,gravio-net/graviocoin,globaltoken/globaltoken,oklink-dev/bitcoin,bitcoinplusorg/xbcwalletsource,jtimon/bitcoin,Xekyo/bitcoin,bitcoinsSG/bitcoin,prusnak/bitcoin,untrustbank/litecoin,rnicoll/bitcoin,randy-waterhouse/bitcoin,andreaskern/bitcoin,fsb4000/bitcoin,MazaCoin/maza,elecoin/elecoin,plncoin/PLNcoin_Core,jiangyonghang/bitcoin,cdecker/bitcoin,nbenoit/bitcoin,experiencecoin/experiencecoin,ixcoinofficialpage/master,jamesob/bitcoin,Rav3nPL/bitcoin,lateminer/bitcoin,rebroad/bitcoin,wellenreiter01/Feathercoin,n1bor/bitcoin,deeponion/deeponion,rebroad/bitcoin,cculianu/bitcoin-abc,fsb4000/bitcoin,domob1812/namecore,awemany/BitcoinUnlimited,pstratem/bitcoin,apoelstra/bitcoin,AkioNak/bitcoin,spiritlinxl/BTCGPU,xieta/mincoin,BTCDDev/bitcoin,andreaskern/bitcoin,Chancoin-core/CHANCOIN,ericshawlinux/bitcoin,shouhuas/bitcoin,spiritlinxl/BTCGPU,domob1812/bitcoin,gzuser01/zetacoin-bitcoin,funkshelper/woodcore,rawodb/bitcoin,Jcing95/iop-hd,bitbrazilcoin-project/bitbrazilcoin,GlobalBoost/GlobalBoost,domob1812/huntercore,stamhe/bitcoin,aspanta/bitcoin,namecoin/namecoin-core,Mirobit/bitcoin,kallewoof/bitcoin,uphold/bitcoin,sipsorcery/bitcoin,ahmedbodi/temp_vert,thrasher-/litecoin,pataquets/namecoin-core,matlongsi/micropay,zcoinofficial/zcoin,midnightmagic/bitcoin,prusnak/bitcoin,1185/starwels,sbaks0820/bitcoin,pinheadmz/bitcoin,reorder/viacoin,JeremyRubin/bitcoin,ftrader-bitcoinabc/bitcoin-abc,guncoin/guncoin,Bitcoin-ABC/bitcoin-abc,reorder/viacoin,ctwiz/stardust,uphold/bitcoin,Bushstar/UFO-Project,BitcoinHardfork/bitcoin,gravio-net/graviocoin,ryanxcharles/bitcoin,anditto/bitcoin,myriadcoin/myriadcoin,dogecoin/dogecoin,n1bor/bitcoin,namecoin/namecoin-core,funkshelper/woodcore,djpnewton/bitcoin,shaolinfry/litecoin,Flowdalic/bitcoin,domob1812/huntercore,instagibbs/bitcoin,NicolasDorier/bitcoin,ppcoin/ppcoin,tdudz/elements,Theshadow4all/ShadowCoin,Xekyo/bitcoin,bitcoinsSG/bitcoin,btc1/bitcoin,fanquake/bitcoin,MarcoFalke/bitcoin,sbaks0820/bitcoin,cannabiscoindev/cannabiscoin420,sebrandon1/bitcoin,afk11/bitcoin,Sjors/bitcoin,senadmd/coinmarketwatch,Anfauglith/iop-hd,kazcw/bitcoin,droark/bitcoin,RHavar/bitcoin,segsignal/bitcoin,psionin/smartcoin,qtumproject/qtum,MeshCollider/bitcoin,afk11/bitcoin,lbryio/lbrycrd,pinheadmz/bitcoin,dpayne9000/Rubixz-Coin,starwels/starwels,ftrader-bitcoinabc/bitcoin-abc,ftrader-bitcoinabc/bitcoin-abc,EthanHeilman/bitcoin,awemany/BitcoinUnlimited,Anfauglith/iop-hd,HashUnlimited/Einsteinium-Unlimited,MazaCoin/maza,ryanofsky/bitcoin,DigitalPandacoin/pandacoin,bitcoinec/bitcoinec,MarcoFalke/bitcoin,brandonrobertz/namecoin-core,btc1/bitcoin,jambolo/bitcoin,ericshawlinux/bitcoin,shouhuas/bitcoin,rnicoll/bitcoin,svost/bitcoin,shouhuas/bitcoin,Bitcoin-ABC/bitcoin-abc,myriadteam/myriadcoin,randy-waterhouse/bitcoin,metacoin/florincoin,jambolo/bitcoin,BitcoinPOW/BitcoinPOW,pataquets/namecoin-core,ryanofsky/bitcoin,vmp32k/litecoin,peercoin/peercoin,goldcoin/Goldcoin-GLD,yenliangl/bitcoin,sipsorcery/bitcoin,BitcoinPOW/BitcoinPOW,GroestlCoin/GroestlCoin,MarcoFalke/bitcoin,Bushstar/UFO-Project,untrustbank/litecoin,spiritlinxl/BTCGPU,ahmedbodi/temp_vert,kallewoof/elements,BitzenyCoreDevelopers/bitzeny,apoelstra/bitcoin,dogecoin/dogecoin,jnewbery/bitcoin,domob1812/namecore,Electronic-Gulden-Foundation/egulden,andreaskern/bitcoin,tdudz/elements,Bushstar/UFO-Project,Sjors/bitcoin,kevcooper/bitcoin,MarcoFalke/bitcoin,litecoin-project/litecore-litecoin,shaolinfry/litecoin,sarielsaz/sarielsaz,fujicoin/fujicoin,zetacoin/zetacoin,Bitcoin-ABC/bitcoin-abc,wangxinxi/litecoin,destenson/bitcoin--bitcoin,mb300sd/bitcoin,Bitcoin-ABC/bitcoin-abc,ftrader-bitcoinabc/bitcoin-abc,sstone/bitcoin,Rav3nPL/PLNcoin,Michagogo/bitcoin,174high/bitcoin,JeremyRubin/bitcoin,BTCGPU/BTCGPU,sdaftuar/bitcoin,awemany/BitcoinUnlimited,mb300sd/bitcoin,goldcoin/goldcoin,pstratem/bitcoin,Christewart/bitcoin,ElementsProject/elements,gmaxwell/bitcoin,pataquets/namecoin-core,OmniLayer/omnicore,psionin/smartcoin,metacoin/florincoin,rebroad/bitcoin,peercoin/peercoin,mincoin-project/mincoin,Kogser/bitcoin,tjps/bitcoin,guncoin/guncoin,particl/particl-core,litecoin-project/litecore-litecoin,randy-waterhouse/bitcoin,EthanHeilman/bitcoin,bdelzell/creditcoin-org-creditcoin,Bushstar/UFO-Project,lbrtcoin/albertcoin,particl/particl-core,wiggi/huntercore,UFOCoins/ufo,apoelstra/bitcoin,jmcorgan/bitcoin,bitcoinplusorg/xbcwalletsource,viacoin/viacoin,segwit/atbcoin-insight,achow101/bitcoin,kallewoof/elements,BitzenyCoreDevelopers/bitzeny,kevcooper/bitcoin,GroestlCoin/bitcoin,tjps/bitcoin,jimmysong/bitcoin,GlobalBoost/GlobalBoost,elecoin/elecoin,tecnovert/particl-core,AkioNak/bitcoin,pinheadmz/bitcoin,viacoin/viacoin,btc1/bitcoin,TheBlueMatt/bitcoin,XertroV/bitcoin-nulldata,mm-s/bitcoin,vertcoin/vertcoin,Gazer022/bitcoin,wellenreiter01/Feathercoin,stamhe/bitcoin,tjps/bitcoin,EthanHeilman/bitcoin,jtimon/bitcoin,daliwangi/bitcoin,dcousens/bitcoin,jamesob/bitcoin,dcousens/bitcoin,myriadteam/myriadcoin,Bitcoin-ABC/bitcoin-abc,aspanta/bitcoin,afk11/bitcoin,btc1/bitcoin,bitcoin/bitcoin,pstratem/bitcoin,metacoin/florincoin,Anfauglith/iop-hd,aspanta/bitcoin,pataquets/namecoin-core,lbrtcoin/albertcoin,psionin/smartcoin,tecnovert/particl-core,UFOCoins/ufo,chaincoin/chaincoin,ahmedbodi/vertcoin,romanornr/viacoin,ahmedbodi/vertcoin,metacoin/florincoin,cculianu/bitcoin-abc,Cocosoft/bitcoin,kazcw/bitcoin,bitcoin/bitcoin,spiritlinxl/BTCGPU,Electronic-Gulden-Foundation/egulden,ahmedbodi/vertcoin,cdecker/bitcoin,174high/bitcoin,Christewart/bitcoin,sdaftuar/bitcoin,jimmysong/bitcoin,tdudz/elements,bitcoinknots/bitcoin,cculianu/bitcoin-abc,xieta/mincoin,romanornr/viacoin,GroestlCoin/GroestlCoin,sstone/bitcoin,wiggi/huntercore,rnicoll/bitcoin,GlobalBoost/GlobalBoost,djpnewton/bitcoin,ElementsProject/elements,Sjors/bitcoin,earonesty/bitcoin,BTCGPU/BTCGPU,argentumproject/argentum,NicolasDorier/bitcoin,BTCDDev/bitcoin,destenson/bitcoin--bitcoin,litecoin-project/litecoin,GroestlCoin/GroestlCoin,sarielsaz/sarielsaz,monacoinproject/monacoin,jambolo/bitcoin,x-kalux/bitcoin_WiG-B,nbenoit/bitcoin,jimmysong/bitcoin,21E14/bitcoin,alecalve/bitcoin,okinc/bitcoin,shelvenzhou/BTCGPU,ajtowns/bitcoin,wangxinxi/litecoin,prusnak/bitcoin,jlopp/statoshi,practicalswift/bitcoin,sarielsaz/sarielsaz,Kogser/bitcoin,sstone/bitcoin,Bitcoin-ABC/bitcoin-abc,zcoinofficial/zcoin,goldcoin/goldcoin,XertroV/bitcoin-nulldata,zcoinofficial/zcoin,Rav3nPL/PLNcoin,ctwiz/stardust,StarbuckBG/BTCGPU,GroestlCoin/bitcoin,NicolasDorier/bitcoin,bitbrazilcoin-project/bitbrazilcoin,ahmedbodi/terracoin,brandonrobertz/namecoin-core,randy-waterhouse/bitcoin,laudaa/bitcoin,itmanagerro/tresting,ftrader-bitcoinabc/bitcoin-abc,BitzenyCoreDevelopers/bitzeny,ryanofsky/bitcoin,brandonrobertz/namecoin-core,MazaCoin/maza,chaincoin/chaincoin,GlobalBoost/GlobalBoost,kazcw/bitcoin,ericshawlinux/bitcoin,nlgcoin/guldencoin-official,trippysalmon/bitcoin,lbryio/lbrycrd,r8921039/bitcoin,zetacoin/zetacoin,plncoin/PLNcoin_Core,Jcing95/iop-hd,mm-s/bitcoin,jamesob/bitcoin,oklink-dev/bitcoin,cannabiscoindev/cannabiscoin420,yenliangl/bitcoin,particl/particl-core,pinheadmz/bitcoin,mitchellcash/bitcoin,untrustbank/litecoin,bitcoin/bitcoin,gzuser01/zetacoin-bitcoin,Flowdalic/bitcoin,funkshelper/woodcore,DigitalPandacoin/pandacoin,Diapolo/bitcoin,UFOCoins/ufo,NicolasDorier/bitcoin,afk11/bitcoin,appop/bitcoin,shouhuas/bitcoin,Flowdalic/bitcoin,1185/starwels,FeatherCoin/Feathercoin,okinc/bitcoin,bespike/litecoin,martindale/elements,kallewoof/bitcoin,argentumproject/argentum,lbrtcoin/albertcoin,cannabiscoindev/cannabiscoin420,jl2012/litecoin,vertcoin/vertcoin,rnicoll/bitcoin,Kogser/bitcoin,BitcoinHardfork/bitcoin,practicalswift/bitcoin,bitcoinknots/bitcoin,jl2012/litecoin,zcoinofficial/zcoin,andreaskern/bitcoin,JeremyRubin/bitcoin,myriadcoin/myriadcoin,mruddy/bitcoin,nlgcoin/guldencoin-official,XertroV/bitcoin-nulldata,s-matthew-english/bitcoin,bitbrazilcoin-project/bitbrazilcoin,argentumproject/argentum,thrasher-/litecoin,nlgcoin/guldencoin-official,droark/bitcoin,lbryio/lbrycrd,gzuser01/zetacoin-bitcoin,nomnombtc/bitcoin,rebroad/bitcoin,paveljanik/bitcoin,donaloconnor/bitcoin,btc1/bitcoin,jambolo/bitcoin,joshrabinowitz/bitcoin,bdelzell/creditcoin-org-creditcoin,jmcorgan/bitcoin,patricklodder/dogecoin,UASF/bitcoin,Exgibichi/statusquo,anditto/bitcoin,kallewoof/bitcoin,cculianu/bitcoin-abc,Mirobit/bitcoin,MeshCollider/bitcoin,Chancoin-core/CHANCOIN,aspanta/bitcoin,patricklodder/dogecoin,lbrtcoin/albertcoin,namecoin/namecoin-core,deeponion/deeponion,fanquake/bitcoin,paveljanik/bitcoin,Mirobit/bitcoin,shouhuas/bitcoin,midnightmagic/bitcoin,sbaks0820/bitcoin,okinc/bitcoin,MeshCollider/bitcoin,lbryio/lbrycrd,XertroV/bitcoin-nulldata,ahmedbodi/terracoin,dogecoin/dogecoin,ryanxcharles/bitcoin,cculianu/bitcoin-abc,gmaxwell/bitcoin,Flowdalic/bitcoin,Rav3nPL/PLNcoin,ahmedbodi/vertcoin,globaltoken/globaltoken,joshrabinowitz/bitcoin,rawodb/bitcoin,metacoin/florincoin,nbenoit/bitcoin,tdudz/elements,emc2foundation/einsteinium,apoelstra/bitcoin,dgarage/bc3,destenson/bitcoin--bitcoin,lbrtcoin/albertcoin,bitbrazilcoin-project/bitbrazilcoin,dpayne9000/Rubixz-Coin,chaincoin/chaincoin,stamhe/bitcoin,multicoins/marycoin,zcoinofficial/zcoin,haobtc/bitcoin,mitchellcash/bitcoin,qtumproject/qtum,haobtc/bitcoin,jmcorgan/bitcoin,experiencecoin/experiencecoin,shelvenzhou/BTCGPU,nbenoit/bitcoin,rawodb/bitcoin,wangxinxi/litecoin,xieta/mincoin,jonasschnelli/bitcoin,BTCDDev/bitcoin,martindale/elements,JeremyRubin/bitcoin,sbaks0820/bitcoin,HashUnlimited/Einsteinium-Unlimited,MarcoFalke/bitcoin,tecnovert/particl-core,gmaxwell/bitcoin,practicalswift/bitcoin,jamesob/bitcoin,gzuser01/zetacoin-bitcoin,n1bor/bitcoin,plncoin/PLNcoin_Core,zetacoin/zetacoin,ajtowns/bitcoin,Michagogo/bitcoin,matlongsi/micropay,dgarage/bc2,StarbuckBG/BTCGPU,EntropyFactory/creativechain-core,shelvenzhou/BTCGPU,Electronic-Gulden-Foundation/egulden,gazbert/bitcoin,mincoin-project/mincoin,appop/bitcoin,nbenoit/bitcoin,nlgcoin/guldencoin-official,AdrianaDinca/bitcoin,jamesob/bitcoin,lbryio/lbrycrd,simonmulser/bitcoin,rebroad/bitcoin,ShadowMyst/creativechain-core,patricklodder/dogecoin,isle2983/bitcoin,instagibbs/bitcoin,achow101/bitcoin,mitchellcash/bitcoin,174high/bitcoin,maaku/bitcoin,cculianu/bitcoin-abc,21E14/bitcoin,lbrtcoin/albertcoin,untrustbank/litecoin,dogecoin/dogecoin,Jcing95/iop-hd,Cocosoft/bitcoin,droark/bitcoin,Mirobit/bitcoin,ajtowns/bitcoin,ahmedbodi/terracoin,sstone/bitcoin,ftrader-bitcoinabc/bitcoin-abc,BigBlueCeiling/augmentacoin,fujicoin/fujicoin,jl2012/litecoin,Diapolo/bitcoin,Michagogo/bitcoin,MeshCollider/bitcoin,mincoin-project/mincoin,ahmedbodi/terracoin,dogecoin/dogecoin,Christewart/bitcoin,bespike/litecoin,prusnak/bitcoin,funkshelper/woodcore,earonesty/bitcoin,haobtc/bitcoin,StarbuckBG/BTCGPU,Exgibichi/statusquo,peercoin/peercoin,Bitcoin-ABC/bitcoin-abc,sipsorcery/bitcoin,Kogser/bitcoin,bitcoinknots/bitcoin,BigBlueCeiling/augmentacoin,Cocosoft/bitcoin,segsignal/bitcoin,OmniLayer/omnicore,daliwangi/bitcoin,bitbrazilcoin-project/bitbrazilcoin,goldcoin/goldcoin,gjhiggins/vcoincore,isle2983/bitcoin,nomnombtc/bitcoin,mruddy/bitcoin,OmniLayer/omnicore,matlongsi/micropay,kazcw/bitcoin,fsb4000/bitcoin,starwels/starwels,bitreserve/bitcoin,earonesty/bitcoin,UASF/bitcoin,ShadowMyst/creativechain-core,okinc/bitcoin,jiangyonghang/bitcoin,jiangyonghang/bitcoin,Bitcoin-ABC/bitcoin-abc,rnicoll/dogecoin,djpnewton/bitcoin,itmanagerro/tresting,uphold/bitcoin,myriadteam/myriadcoin,btc1/bitcoin,FeatherCoin/Feathercoin,1185/starwels,emc2foundation/einsteinium,fsb4000/bitcoin,patricklodder/dogecoin,jonasschnelli/bitcoin,jlopp/statoshi,litecoin-project/litecoin,Bushstar/UFO-Project,gazbert/bitcoin,cryptoprojects/ultimateonlinecash,pataquets/namecoin-core,Friedbaumer/litecoin,core-bitcoin/bitcoin,EthanHeilman/bitcoin,starwels/starwels,EntropyFactory/creativechain-core,dgarage/bc3,BTCDDev/bitcoin,simonmulser/bitcoin,kevcooper/bitcoin,randy-waterhouse/bitcoin,lateminer/bitcoin,brandonrobertz/namecoin-core,xieta/mincoin,x-kalux/bitcoin_WiG-B,nlgcoin/guldencoin-official,mitchellcash/bitcoin,StarbuckBG/BTCGPU,tjps/bitcoin,GroestlCoin/bitcoin,argentumproject/argentum,Cocosoft/bitcoin,jmcorgan/bitcoin,Kogser/bitcoin,qtumproject/qtum,bitcoinsSG/bitcoin,tecnovert/particl-core,elecoin/elecoin,laudaa/bitcoin,Jcing95/iop-hd,donaloconnor/bitcoin,trippysalmon/bitcoin,bitcoin/bitcoin,trippysalmon/bitcoin,goldcoin/Goldcoin-GLD,rnicoll/dogecoin,segwit/atbcoin-insight,lbrtcoin/albertcoin,fsb4000/bitcoin,Electronic-Gulden-Foundation/egulden,MazaCoin/maza,mb300sd/bitcoin,BitcoinHardfork/bitcoin,wiggi/huntercore,Michagogo/bitcoin,vmp32k/litecoin,myriadteam/myriadcoin,aspanta/bitcoin,uphold/bitcoin,mitchellcash/bitcoin,sipsorcery/bitcoin,shaolinfry/litecoin,MarcoFalke/bitcoin,Christewart/bitcoin,sstone/bitcoin,tdudz/elements,awemany/BitcoinUnlimited,jlopp/statoshi,rawodb/bitcoin,kallewoof/elements,BigBlueCeiling/augmentacoin,namecoin/namecore,goldcoin/goldcoin,nikkitan/bitcoin,chaincoin/chaincoin,paveljanik/bitcoin,oklink-dev/bitcoin,qtumproject/qtum,Flowdalic/bitcoin,namecoin/namecore,bdelzell/creditcoin-org-creditcoin,ahmedbodi/vertcoin,romanornr/viacoin,OmniLayer/omnicore,Exgibichi/statusquo,StarbuckBG/BTCGPU,x-kalux/bitcoin_WiG-B,UFOCoins/ufo,OmniLayer/omnicore,bitcoin/bitcoin,mb300sd/bitcoin,Cocosoft/bitcoin,CryptArc/bitcoin,core-bitcoin/bitcoin,qtumproject/qtum,gzuser01/zetacoin-bitcoin,thrasher-/litecoin,ericshawlinux/bitcoin,mincoin-project/mincoin,itmanagerro/tresting,h4x3rotab/BTCGPU,digibyte/digibyte,CryptArc/bitcoin,UASF/bitcoin,BitcoinPOW/BitcoinPOW,reorder/viacoin,jnewbery/bitcoin,gmaxwell/bitcoin,midnightmagic/bitcoin,dscotese/bitcoin,ShadowMyst/creativechain-core,core-bitcoin/bitcoin,sdaftuar/bitcoin,BigBlueCeiling/augmentacoin,Xekyo/bitcoin,mb300sd/bitcoin,djpnewton/bitcoin,BTCDDev/bitcoin,Mirobit/bitcoin,globaltoken/globaltoken,dpayne9000/Rubixz-Coin,dgarage/bc3,r8921039/bitcoin,lbryio/lbrycrd,cryptoprojects/ultimateonlinecash,core-bitcoin/bitcoin,simonmulser/bitcoin,jiangyonghang/bitcoin,nikkitan/bitcoin,cdecker/bitcoin,TheBlueMatt/bitcoin,Friedbaumer/litecoin,fujicoin/fujicoin,segwit/atbcoin-insight,EthanHeilman/bitcoin,domob1812/huntercore,ryanofsky/bitcoin,jlopp/statoshi,DigiByte-Team/digibyte,Diapolo/bitcoin,earonesty/bitcoin,dcousens/bitcoin,instagibbs/bitcoin,daliwangi/bitcoin,donaloconnor/bitcoin,core-bitcoin/bitcoin,viacoin/viacoin,jiangyonghang/bitcoin,ericshawlinux/bitcoin,magacoin/magacoin,zetacoin/zetacoin,Gazer022/bitcoin,Michagogo/bitcoin,magacoin/magacoin,domob1812/namecore,nomnombtc/bitcoin,djpnewton/bitcoin,Flowdalic/bitcoin,alecalve/bitcoin,cryptoprojects/ultimateonlinecash,21E14/bitcoin,viacoin/viacoin,sebrandon1/bitcoin,jtimon/bitcoin,kallewoof/bitcoin,CryptArc/bitcoin,ixcoinofficialpage/master,Theshadow4all/ShadowCoin,BTCGPU/BTCGPU,isle2983/bitcoin,ryanxcharles/bitcoin,nbenoit/bitcoin,Xekyo/bitcoin,rawodb/bitcoin,Chancoin-core/CHANCOIN,rnicoll/dogecoin,guncoin/guncoin,BitcoinHardfork/bitcoin,BTCDDev/bitcoin,gzuser01/zetacoin-bitcoin,droark/bitcoin,globaltoken/globaltoken,reorder/viacoin,RHavar/bitcoin,gravio-net/graviocoin,myriadteam/myriadcoin,namecoin/namecore,prusnak/bitcoin,bespike/litecoin,psionin/smartcoin,dcousens/bitcoin,mruddy/bitcoin,GlobalBoost/GlobalBoost,jl2012/litecoin,ahmedbodi/terracoin,ryanofsky/bitcoin,jonasschnelli/bitcoin,Diapolo/bitcoin,BitcoinPOW/BitcoinPOW,simonmulser/bitcoin,bitcoinec/bitcoinec,Bitcoin-ABC/bitcoin-abc,apoelstra/bitcoin,destenson/bitcoin--bitcoin,zcoinofficial/zcoin,shelvenzhou/BTCGPU,Rav3nPL/PLNcoin,litecoin-project/litecore-litecoin,emc2foundation/einsteinium,fanquake/bitcoin,s-matthew-english/bitcoin,dgarage/bc2,sstone/bitcoin,deeponion/deeponion,RHavar/bitcoin,kazcw/bitcoin,Kogser/bitcoin,senadmd/coinmarketwatch,Kogser/bitcoin,litecoin-project/litecoin,wellenreiter01/Feathercoin,alecalve/bitcoin,NicolasDorier/bitcoin,21E14/bitcoin,h4x3rotab/BTCGPU,ahmedbodi/terracoin,maaku/bitcoin,plncoin/PLNcoin_Core,starwels/starwels,multicoins/marycoin,s-matthew-english/bitcoin,Theshadow4all/ShadowCoin,Chancoin-core/CHANCOIN,sebrandon1/bitcoin,matlongsi/micropay,nikkitan/bitcoin,andreaskern/bitcoin,ppcoin/ppcoin,gravio-net/graviocoin,domob1812/huntercore,practicalswift/bitcoin,jtimon/bitcoin,gazbert/bitcoin,n1bor/bitcoin,untrustbank/litecoin,wiggi/huntercore,shaolinfry/litecoin,AdrianaDinca/bitcoin,Kogser/bitcoin,jamesob/bitcoin,experiencecoin/experiencecoin,patricklodder/dogecoin,cryptoprojects/ultimateonlinecash,domob1812/bitcoin,lbrtcoin/albertcoin,n1bor/bitcoin,segwit/atbcoin-insight,FeatherCoin/Feathercoin,ctwiz/stardust,namecoin/namecoin-core,alecalve/bitcoin,vertcoin/vertcoin,lateminer/bitcoin,MazaCoin/maza,wellenreiter01/Feathercoin,itmanagerro/tresting,viacoin/viacoin,donaloconnor/bitcoin,174high/bitcoin,qtumproject/qtum,bitcoin/bitcoin,h4x3rotab/BTCGPU,UASF/bitcoin,paveljanik/bitcoin,mm-s/bitcoin,digibyte/digibyte,sbaks0820/bitcoin,XertroV/bitcoin-nulldata,CryptArc/bitcoin,21E14/bitcoin,goldcoin/Goldcoin-GLD,donaloconnor/bitcoin,BitcoinPOW/BitcoinPOW,peercoin/peercoin,domob1812/namecore,svost/bitcoin,DigitalPandacoin/pandacoin,romanornr/viacoin,appop/bitcoin,shelvenzhou/BTCGPU,Exgibichi/statusquo,Anfauglith/iop-hd,gmaxwell/bitcoin,nomnombtc/bitcoin,sbaks0820/bitcoin,DigitalPandacoin/pandacoin,martindale/elements,Rav3nPL/bitcoin,MeshCollider/bitcoin,litecoin-project/litecore-litecoin,metacoin/florincoin,Kogser/bitcoin,XertroV/bitcoin-nulldata,Rav3nPL/PLNcoin,bespike/litecoin,viacoin/viacoin,pinheadmz/bitcoin,UFOCoins/ufo,Jcing95/iop-hd,h4x3rotab/BTCGPU,Electronic-Gulden-Foundation/egulden,jlopp/statoshi,r8921039/bitcoin,digibyte/digibyte,jnewbery/bitcoin,ElementsProject/elements,ahmedbodi/temp_vert,Chancoin-core/CHANCOIN,rnicoll/bitcoin,lbrtcoin/albertcoin,MeshCollider/bitcoin,bitcoinsSG/bitcoin,ftrader-bitcoinabc/bitcoin-abc,funkshelper/woodcore,dogecoin/dogecoin,sarielsaz/sarielsaz,DigiByte-Team/digibyte,rawodb/bitcoin,simonmulser/bitcoin,droark/bitcoin,sebrandon1/bitcoin,chaincoin/chaincoin,shaolinfry/litecoin,deeponion/deeponion,gjhiggins/vcoincore,bitcoinknots/bitcoin,domob1812/namecore,bitcoinec/bitcoinec,vertcoin/vertcoin,AdrianaDinca/bitcoin,RHavar/bitcoin,dgarage/bc3,donaloconnor/bitcoin,argentumproject/argentum,Rav3nPL/bitcoin,Exgibichi/statusquo,stamhe/bitcoin,stamhe/bitcoin,litecoin-project/litecoin,vmp32k/litecoin,dpayne9000/Rubixz-Coin,itmanagerro/tresting,jl2012/litecoin,GroestlCoin/bitcoin,dgarage/bc3,pstratem/bitcoin,ixcoinofficialpage/master,psionin/smartcoin,multicoins/marycoin,BigBlueCeiling/augmentacoin,anditto/bitcoin,kazcw/bitcoin,svost/bitcoin,wangxinxi/litecoin,jimmysong/bitcoin,oklink-dev/bitcoin,Jcing95/iop-hd,Bitcoin-ABC/bitcoin-abc,Diapolo/bitcoin,prusnak/bitcoin,emc2foundation/einsteinium,magacoin/magacoin,1185/starwels,ahmedbodi/temp_vert,UASF/bitcoin,lateminer/bitcoin,Sjors/bitcoin,domob1812/bitcoin,Friedbaumer/litecoin,fsb4000/bitcoin,bitcoinec/bitcoinec,joshrabinowitz/bitcoin,nikkitan/bitcoin,spiritlinxl/BTCGPU,deeponion/deeponion,mitchellcash/bitcoin,AdrianaDinca/bitcoin,ppcoin/ppcoin,digibyte/digibyte,bitreserve/bitcoin,lbrtcoin/albertcoin,midnightmagic/bitcoin,cannabiscoindev/cannabiscoin420,bitcoinplusorg/xbcwalletsource,namecoin/namecore,afk11/bitcoin,apoelstra/bitcoin,haobtc/bitcoin,emc2foundation/einsteinium,peercoin/peercoin,BitzenyCoreDevelopers/bitzeny,s-matthew-english/bitcoin,mincoin-project/mincoin,achow101/bitcoin,HashUnlimited/Einsteinium-Unlimited,haobtc/bitcoin,kevcooper/bitcoin,ericshawlinux/bitcoin,jmcorgan/bitcoin,Bitcoin-ABC/bitcoin-abc,bitbrazilcoin-project/bitbrazilcoin,Bitcoin-ABC/bitcoin-abc,yenliangl/bitcoin,UFOCoins/ufo,bdelzell/creditcoin-org-creditcoin,myriadteam/myriadcoin,daliwangi/bitcoin,ixcoinofficialpage/master,BitzenyCoreDevelopers/bitzeny,x-kalux/bitcoin_WiG-B,ryanofsky/bitcoin,BTCGPU/BTCGPU,wellenreiter01/Feathercoin,r8921039/bitcoin,itmanagerro/tresting,globaltoken/globaltoken,anditto/bitcoin,dgarage/bc2,vmp32k/litecoin,domob1812/namecore,particl/particl-core,sebrandon1/bitcoin,bespike/litecoin,Exgibichi/statusquo,domob1812/bitcoin,Anfauglith/iop-hd,anditto/bitcoin,EntropyFactory/creativechain-core,jimmysong/bitcoin,fujicoin/fujicoin,bitcoinknots/bitcoin,jambolo/bitcoin,rnicoll/dogecoin,cannabiscoindev/cannabiscoin420,dpayne9000/Rubixz-Coin,jiangyonghang/bitcoin,guncoin/guncoin,spiritlinxl/BTCGPU,particl/particl-core,Kogser/bitcoin,gjhiggins/vcoincore,kallewoof/elements,achow101/bitcoin,JeremyRubin/bitcoin,rnicoll/bitcoin,rebroad/bitcoin,zcoinofficial/zcoin,bitreserve/bitcoin,GlobalBoost/GlobalBoost,untrustbank/litecoin,bitreserve/bitcoin,laudaa/bitcoin,AdrianaDinca/bitcoin,AkioNak/bitcoin,kallewoof/bitcoin,tdudz/elements,cdecker/bitcoin,thrasher-/litecoin,senadmd/coinmarketwatch,Theshadow4all/ShadowCoin,lbrtcoin/albertcoin,shelvenzhou/BTCGPU,x-kalux/bitcoin_WiG-B,gmaxwell/bitcoin,appop/bitcoin,ixcoinofficialpage/master,s-matthew-english/bitcoin,cculianu/bitcoin-abc,bespike/litecoin,litecoin-project/litecoin,gazbert/bitcoin,magacoin/magacoin,isle2983/bitcoin,martindale/elements,jnewbery/bitcoin,wellenreiter01/Feathercoin,Xekyo/bitcoin,r8921039/bitcoin,gazbert/bitcoin,nomnombtc/bitcoin,domob1812/bitcoin,bitreserve/bitcoin,cdecker/bitcoin,21E14/bitcoin,peercoin/peercoin,Rav3nPL/bitcoin,droark/bitcoin,digibyte/digibyte,romanornr/viacoin,trippysalmon/bitcoin,instagibbs/bitcoin,h4x3rotab/BTCGPU,Sjors/bitcoin,oklink-dev/bitcoin,mm-s/bitcoin,Anfauglith/iop-hd,maaku/bitcoin,monacoinproject/monacoin,plncoin/PLNcoin_Core,bdelzell/creditcoin-org-creditcoin,lbrtcoin/albertcoin,paveljanik/bitcoin,multicoins/marycoin,destenson/bitcoin--bitcoin,domob1812/huntercore,bitcoinec/bitcoinec,appop/bitcoin,EthanHeilman/bitcoin,sdaftuar/bitcoin,jimmysong/bitcoin,earonesty/bitcoin,BitcoinPOW/BitcoinPOW,Gazer022/bitcoin,martindale/elements,Gazer022/bitcoin,domob1812/huntercore,StarbuckBG/BTCGPU,dscotese/bitcoin,segsignal/bitcoin,MazaCoin/maza,pstratem/bitcoin,r8921039/bitcoin,ahmedbodi/temp_vert,kevcooper/bitcoin,kallewoof/elements,EntropyFactory/creativechain-core,dgarage/bc3,domob1812/bitcoin,instagibbs/bitcoin,jonasschnelli/bitcoin,namecoin/namecore,namecoin/namecoin-core,BTCGPU/BTCGPU,dgarage/bc2,namecoin/namecoin-core,FeatherCoin/Feathercoin,Michagogo/bitcoin,andreaskern/bitcoin,awemany/BitcoinUnlimited,maaku/bitcoin,Cocosoft/bitcoin,Chancoin-core/CHANCOIN,1185/starwels,GroestlCoin/bitcoin,bitcoinsSG/bitcoin,jl2012/litecoin,dpayne9000/Rubixz-Coin,TheBlueMatt/bitcoin,dcousens/bitcoin,stamhe/bitcoin,174high/bitcoin,BigBlueCeiling/augmentacoin,thrasher-/litecoin,myriadcoin/myriadcoin,martindale/elements,segwit/atbcoin-insight,Christewart/bitcoin,ahmedbodi/vertcoin,nlgcoin/guldencoin-official,HashUnlimited/Einsteinium-Unlimited,ahmedbodi/temp_vert,Rav3nPL/bitcoin,sipsorcery/bitcoin,sdaftuar/bitcoin,appop/bitcoin,magacoin/magacoin,fanquake/bitcoin,TheBlueMatt/bitcoin,GroestlCoin/GroestlCoin,yenliangl/bitcoin,mruddy/bitcoin,guncoin/guncoin,GroestlCoin/bitcoin,xieta/mincoin,Theshadow4all/ShadowCoin,AkioNak/bitcoin,digibyte/digibyte,brandonrobertz/namecoin-core,argentumproject/argentum,ctwiz/stardust,CryptArc/bitcoin,mruddy/bitcoin,gjhiggins/vcoincore,cryptoprojects/ultimateonlinecash,sebrandon1/bitcoin,ShadowMyst/creativechain-core,svost/bitcoin,bitcoinec/bitcoinec,ElementsProject/elements,uphold/bitcoin,myriadcoin/myriadcoin,particl/particl-core,emc2foundation/einsteinium,ryanxcharles/bitcoin,GroestlCoin/GroestlCoin,pstratem/bitcoin,reorder/viacoin,experiencecoin/experiencecoin,gravio-net/graviocoin,matlongsi/micropay,kevcooper/bitcoin,midnightmagic/bitcoin,nomnombtc/bitcoin,sarielsaz/sarielsaz,Christewart/bitcoin,gjhiggins/vcoincore,starwels/starwels,ryanxcharles/bitcoin,ftrader-bitcoinabc/bitcoin-abc,paveljanik/bitcoin,ctwiz/stardust,ElementsProject/elements,chaincoin/chaincoin,kallewoof/elements,Bitcoin-ABC/bitcoin-abc,litecoin-project/litecore-litecoin,jambolo/bitcoin,qtumproject/qtum,litecoin-project/litecoin,practicalswift/bitcoin,Gazer022/bitcoin,fujicoin/fujicoin