]>
2022-03-12 | Giacomo Lorenzetti | Small cleanups |
commit | commitdiff | tree |
2022-03-01 | Giacomo Lorenzetti | Sort captures |
commit | commitdiff | tree |
2021-07-26 | Giacomo Lorenzetti | Simplification in LMR |
commit | commitdiff | tree |
2021-07-23 | Giacomo Lorenzetti | Apply good/bad history reduction also when inCheck |
commit | commitdiff | tree |