やったこと

recheck

automaton チェッカーの先読み・後読み対応のブランチをPRにするなどを進めている。

https://github.com/makenowjust-labs/recheck/pull/1978

https://github.com/makenowjust-labs/recheck/pull/1980

あとは automaton チェッカーのIDA/EDA解析のところとか、fuzz チェッカーのマッチングVMのところの高速化をやったりしていた。
基本的にはハッシュの計算に時間を食われているので、

repair まで出るのはいつになるのだろうか‥‥。