Dorpsgek Eve's Temptation
Assets
- Mostly internal changes, such as code reformatting
- Very slow and painful progress on formal verification (why I'm formally verifying a chess program, I don't know)
- Dorpsgek now defers possibly-bad captures in main search, and skips them in QS. (+40 elo)
- Optimised the repetition ply stack by moving it out of struct Board. (+20 elo)
- Fixed stupid TT bug that caused Dorpsgek not to search the best move of the last iteration first. (+30 elo)
- Fixed obscure bug where a position that was simultaneously a 50-move draw and a checkmate was falsely recognised as a draw.