Major performance improvement during batch block (de)selection - Githubissues

nomeata / incredible

The Incredible Proof Machine

MIT License

358 stars 36 forks source link

Major performance improvement during batch block (de)selection #122

Closed yuxuanchiadm closed 4 years ago

yuxuanchiadm commented 4 years ago

Delay custom block processing until batch block (de)selection is completed