brainstorm3
brainstorm3 copied to clipboard
improve progress bar performance
This PR implements some ideas from #803 to improve the performance of the progress bar.
After this update, the benchmark proposed in #803 :
- Main runs in 2s instead of 50s:
- Main3 runs in 5s instead of 70s: