Tue, 23 Apr 2019 11:07:28 -0700 Martin von Zweigbergk evolve: add progress support for --continue
Tue, 23 Apr 2019 10:56:42 -0700 Martin von Zweigbergk evolve: reduce scope of progress-related variables
Tue, 23 Apr 2019 10:49:47 -0700 Martin von Zweigbergk evolve: move progress-clearing out of _cleanup()
Tue, 23 Apr 2019 10:52:33 -0700 Martin von Zweigbergk evolve: stop passing no-op "progresscb" into continueevolve()
Tue, 23 Apr 2019 09:45:45 -0700 Martin von Zweigbergk evolve: _solveunstable() update progress only once
Tue, 23 Apr 2019 09:35:34 -0700 Martin von Zweigbergk evolve: don't update progress just before clearing it
(0) -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip