Cleanup and update CPU contributors

closes https://github.com/official-stockfish/Stockfish/pull/3917

No functional change

diff --git a/Top CPU Contributors.txt b/Top CPU Contributors.txt
index 718d7cca177032fd76eba1327b07d2616c845ea6..4bc96cde7aab6693cff744156d09211597e4e5b5 100644 (file)
--- a/Top CPU Contributors.txt
+++ b/Top CPU Contributors.txt
@@ -1,90 +1,91 @@
-Contributors to Fishtest with >10,000 CPU hours, as of 2022-01-08.
+Contributors to Fishtest with >10,000 CPU hours, as of 2022-02-05.
 Thank you!
 
 Username                                CPU Hours     Games played
 ------------------------------------------------------------------
-noobpwnftw                               30323785       2111752181
-mlang                                     2597136        178003354
-dew                                       1598255         95747056
-technologov                               1395130         59347018
-grandphish2                               1028906         63396841
+noobpwnftw                               30730952       2158431735
+mlang                                     2729669        187335452
+technologov                               1696847         74478658
+dew                                       1635640         97483012
+grandphish2                               1062754         64955639
 tvijlbrief                                 795993         51894442
-TueRens                                    737922         46359276
-okrout                                     719183         57150314
+okrout                                     773704         63465204
+TueRens                                    766198         47770388
 mibere                                     703840         46867607
-JojoM                                      689134         42001146
-linrock                                    594355         16779359
-pemo                                       575248         28386103
-gvreuls                                    509219         33205908
-cw                                         500695         33575803
-fastgm                                     479238         28830588
+JojoM                                      703005         42689868
+pemo                                       634102         29868807
+linrock                                    626939         17408017
+gvreuls                                    517442         33605006
+cw                                         503905         33850487
+fastgm                                     482847         29004732
 crunchy                                    427035         27344275
-CSU_Dynasty                                410969         27877556
-ctoks                                      393901         26299629
-oz                                         354661         26331020
+CSU_Dynasty                                415864         28116776
+ctoks                                      403102         26737127
+oz                                         357710         26490208
+bcross                                     331095         23165889
 Fisherman                                  327231         21829379
-bcross                                     325119         22871639
-velislav                                   320581         20663382
-leszek                                     291605         18475167
-Dantist                                    239411         15236750
-mgrabiak                                   229336         15004308
+velislav                                   321708         20729264
+leszek                                     303654         19063973
+Dantist                                    251015         15843226
+mgrabiak                                   231973         15162494
 glinscott                                  217799         13780820
-robal                                      211837         13563250
+robal                                      213960         13665726
 nordlandia                                 211692         13484886
-drabel                                     200377         13730626
+drabel                                     200914         13755384
 bking_US                                   198894         11876016
+mhoram                                     180229         11610075
 Thanar                                     179852         12365359
-vdv                                        175535          9904264
-mhoram                                     173134         11257113
+vdv                                        175544          9904472
 spams                                      157128         10319326
 marrco                                     150300          9402229
 sqrt2                                      147963          9724586
-vdbergh                                    137425          8954767
+vdbergh                                    137429          8955089
 CoffeeOne                                  137100          5024116
 malala                                     136182          8002293
 xoto                                       133759          9159372
-davar                                      122113          7961971
+rpngn                                      131285          8657757
+davar                                      122661          7996937
 dsmith                                     122059          7570238
 amicic                                     119659          7937885
-rpngn                                      118952          8100045
 Data                                       113305          8220352
 BrunoBanani                                112960          7436849
 CypressChess                               108321          7759588
 MaZePallas                                 102823          6633619
 sterni1971                                 100532          5880772
 sunu                                       100167          7040199
+DesolatedDodo                               99038          6414626
 ElbertoOne                                  99028          7023771
 skiminki                                    98123          6478402
-DesolatedDodo                               93686          6139198
 brabos                                      92118          6186135
-cuistot                                     90357          5350988
+cuistot                                     90358          5351004
 psk                                         89957          5984901
 racerschmacer                               85712          6119648
 Vizvezdenec                                 83761          5344740
+sschnee                                     83003          4840890
 0x3C33                                      82614          5271253
 BRAVONE                                     81239          5054681
-sschnee                                     78091          4678078
 nssy                                        76497          5259388
 teddybaer                                   75125          5407666
 Pking_cda                                   73776          5293873
+zeryl                                       73335          4774257
 jromang                                     72192          5057715
 solarlight                                  70517          5028306
 dv8silencer                                 70287          3883992
 Bobo1239                                    68515          4652287
-zeryl                                       68203          4516139
 manap                                       66273          4121774
 tinker                                      64333          4268790
-yurikvelo                                   61692          4262042
+yurikvelo                                   63371          4335060
 qurashee                                    61208          3429862
 robnjr                                      57262          4053117
+Wolfgang                                    57014          3561352
 Freja                                       56938          3733019
 ttruscott                                   56010          3680085
 rkl                                         55132          4164467
-Wolfgang                                    54087          3415872
 renouve                                     53811          3501516
 finfish                                     51360          3370515
 eva42                                       51272          3599691
-eastorwest                                  51055          3451203
+Calis007                                    51182          3131552
+eastorwest                                  51058          3451555
 rap                                         49985          3219146
 pb00067                                     49727          3298270
 Spprtr                                      48260          3141959
@@ -92,11 +93,11 @@ bigpen0r                                    47667          3336927
 ronaldjerum                                 47654          3240695
 MaxKlaxxMiner                               47584          2972142
 biffhero                                    46564          3111352
+megaman7de                                  45992          2952006
 Fifis                                       45843          3088497
 VoyagerOne                                  45476          3452465
 speedycpu                                   43842          3003273
 jbwiebe                                     43305          2805433
-megaman7de                                  43042          2823256
 Antihistamine                               41788          2761312
 mhunt                                       41735          2691355
 homyur                                      39893          2850481
@@ -109,18 +110,17 @@ jmdana                                      36157          2210661
 strelock                                    34716          2074055
 EthanOConnor                                33370          2090311
 slakovv                                     32915          2021889
-Calis007                                    32024          2163604
+armo9494                                    32129          2551682
+tolkki963                                   32114          1932256
 manapbk                                     30987          1810399
 DMBK                                        30675          2383552
 Prcuvu                                      30377          2170122
 anst                                        30301          2190091
-armo9494                                    30198          2438202
 jkiiski                                     30136          1904470
-tolkki963                                   29918          1822290
+gopeto                                      29886          1979118
 hyperbolic.tom                              29840          2017394
 chuckstablers                               29659          2093438
 Pyafue                                      29650          1902349
-gopeto                                      28881          1896862
 OuaisBla                                    27636          1578800
 chriswk                                     26902          1868317
 achambord                                   26582          1767323
@@ -132,11 +132,12 @@ Sharaf_DG                                   24765          1786697
 ncfish1                                     24411          1520927
 rodneyc                                     24275          1410450
 agg177                                      23890          1395014
+belzedar94                                  23707          1593860
 JanErik                                     23408          1703875
 Isidor                                      23388          1680691
 Norabor                                     23339          1602636
+Ente                                        23093          1642458
 cisco2015                                   22897          1762669
-Ente                                        22810          1628234
 Zirie                                       22542          1472937
 team-oh                                     22272          1636708
 MazeOfGalious                               21978          1629593
@@ -148,12 +149,12 @@ nesoneg                                     21494          1463031
 sphinx                                      21211          1384728
 jjoshua2                                    21001          1423089
 horst.prack                                 20878          1465656
+user213718                                  20783          1379584
 0xB00B1ES                                   20590          1208666
 j3corre                                     20405           941444
 Adrian.Schmidt123                           20316          1281436
 wei                                         19973          1745989
-belzedar94                                  19818          1434252
-user213718                                  19608          1334650
+Roady                                       19848          1335928
 rstoesser                                   19569          1293588
 eudhan                                      19274          1283717
 vulcan                                      18871          1729392
@@ -163,24 +164,24 @@ ville                                       17883          1384026
 chris                                       17698          1487385
 purplefishies                               17595          1092533
 dju                                         17353           978595
+kdave                                       17183          1242754
 DragonLord                                  17014          1162790
+thirdlife                                   16996           447356
+spcc                                        16932          1130940
+fishtester                                  16644          1123000
+Ulysses                                     16490          1184400
 IgorLeMasson                                16064          1147232
-Roady                                       15677          1121476
 ako027ako                                   15671          1173203
-kdave                                       15539          1160356
 Nikolay.IT                                  15154          1068349
 Andrew Grant                                15114           895539
 OssumOpossum                                14857          1007129
-spcc                                        14838          1034050
 Karby                                       14808           867120
+AndreasKrug                                 14608          1152093
 enedene                                     14476           905279
-fishtester                                  14411          1016252
 jsys14                                      14340           844792
 bpfliegel                                   14298           884523
-AndreasKrug                                 14096          1126301
 mpx86                                       14019           759568
 jpulman                                     13982           870599
-Ulysses                                     13977          1073410
 crocogoat                                   13803          1117422
 joster                                      13794           950160
 Nesa92                                      13786          1114691
@@ -188,12 +189,13 @@ mbeier                                      13650          1044928
 Hjax                                        13535           915487
 Dark_wizzie                                 13422          1007152
 Rudolphous                                  13244           883140
+MarcusTullius                               13221           843169
 Machariel                                   13010           863104
 mabichito                                   12903           749391
 thijsk                                      12886           722107
 AdrianSA                                    12860           804972
+infinigon                                   12807           937332
 Flopzee                                     12698           894821
-infinigon                                   12638           933684
 fatmurphy                                   12547           853210
 scuzzi                                      12511           845761
 SapphireBrand                               12416           969604
@@ -202,19 +204,21 @@ Farseer                                     12249           694108
 pgontarz                                    12151           848794
 stocky                                      11954           699440
 mschmidt                                    11941           803401
+dbernier                                    11609           818636
 Maxim                                       11543           836024
+pirt                                        11516           894513
 infinity                                    11470           727027
-pirt                                        11434           889369
 aga                                         11409           695071
 torbjo                                      11395           729145
 Thomas A. Anderson                          11372           732094
 savage84                                    11358           670860
-FormazChar                                  11304           847663
-dbernier                                    11274           806566
+markkulix                                   11331           739098
+FormazChar                                  11308           847735
 d64                                         11263           789184
 MooTheCow                                   11237           720174
 snicolet                                    11106           869170
 ali-al-zhrani                               11098           768494
+whelanh                                     11067           235676
 basepi                                      10637           744851
 Cubox                                       10621           826448
 michaelrpg                                  10509           739239
@@ -223,3 +227,4 @@ dzjp                                        10343           732529
 Garruk                                      10332           703905
 ols                                         10259           570669
 lbraesch                                    10252           647825
+Jackfish                                    10098           682338

diff --git a/src/types.h b/src/types.h
index a3a873fa4e7d07509ccf1f5278e92baa50b14496..cf42bc9f8ffb97c86555db55c67e6c9861d2621e 100644 (file)
--- a/src/types.h
+++ b/src/types.h
@@ -173,11 +173,6 @@ enum Bound {
   BOUND_EXACT = BOUND_UPPER | BOUND_LOWER
 };
 
-enum ExplosionState {
-  EXPLOSION_NONE,
-  MUST_CALM_DOWN
-};
-
 enum Value : int {
   VALUE_ZERO      = 0,
   VALUE_DRAW      = 0,